summaryrefslogtreecommitdiff
path: root/abstract/nonrelational.ml
Commit message (Expand)AuthorAgeFilesLines
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-181-3/+4
* Abstract interpretation gives good results on the limiter example.Alex Auvolat2014-06-181-22/+18
* Pretty printing.Alex Auvolat2014-06-181-13/+35
* Add intervals domain ; some interesting analysis works.Alex Auvolat2014-06-181-0/+217