summaryrefslogtreecommitdiff
path: root/abstract/enum_domain.ml
Commit message (Expand)AuthorAgeFilesLines
* 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