summaryrefslogtreecommitdiff
path: root/abstract/nonrelational.ml
Commit message (Expand)AuthorAgeFilesLines
* Add support for octagons.Alex Auvolat2014-07-221-3/+8
* Clean up & comment a bit.Alex Auvolat2014-07-151-7/+4
* Adapt for real type with Apron ; not very efficient ATM.Alex Auvolat2014-07-011-19/+19
* Reached interesting point in BDD implementation.Alex Auvolat2014-06-301-0/+3
* Implement a few things. Tomorrow: optimizations.Alex Auvolat2014-06-251-15/+19
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-241-14/+19
* Not much. Still does not work very well.Alex Auvolat2014-06-201-5/+1
* Very buggy disjunction domain !Alex Auvolat2014-06-191-1/+1
* Isolate numerical part of domain. Next: isolate numerical part of equations.Alex Auvolat2014-06-191-16/+5
* 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