summaryrefslogtreecommitdiff
path: root/abstract/enum_domain.ml
Commit message (Expand)AuthorAgeFilesLines
* Refactor some stuff (this code sould be re-read.)Alex Auvolat2014-07-301-0/+7
* Clean up & comment a bit.Alex Auvolat2014-07-151-0/+12
* Fix a few things, this doesn't work well.Alex Auvolat2014-07-101-10/+16
* Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!Alex Auvolat2014-07-091-1/+28
* Implement stand-alone EDDsAlex Auvolat2014-07-081-230/+0
* Minor corrections.Alex Auvolat2014-06-261-0/+9
* Many things, sorry for the mess.Alex Auvolat2014-06-261-0/+343
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-241-0/+144