summaryrefslogtreecommitdiff
path: root/abstract/num_domain.ml
Commit message (Expand)AuthorAgeFilesLines
* Clean up & comment a bit.Alex Auvolat2014-07-151-0/+5
* Reached interesting point in BDD implementation.Alex Auvolat2014-06-301-0/+1
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-241-8/+7
* Isolate numerical part of domain. Next: isolate numerical part of equations.Alex Auvolat2014-06-191-0/+41