aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/abstract_interpretation.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Added support for saturation arithmetic.Eduardo Julian2022-11-251-2/+3
* FIXED analysis extensions got reset and new ones would be unavailable.Eduardo Julian2021-10-221-0/+5