summaryrefslogtreecommitdiff
path: root/abstract/intervals_domain.ml
Commit message (Collapse)AuthorAgeFilesLines
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-241-3/+5
|
* RetabAlex Auvolat2014-06-181-41/+46
|
* Pretty printing.Alex Auvolat2014-06-181-12/+8
|
* Add intervals domain ; some interesting analysis works.Alex Auvolat2014-06-181-0/+158