summaryrefslogtreecommitdiff
path: root/abstract/varenv.ml
Commit message (Expand)AuthorAgeFilesLines
* Clean up & comment a bit.Alex Auvolat2014-07-151-1/+32
* Acceptable heuristic.Alex Auvolat2014-07-111-0/+6
* Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!Alex Auvolat2014-07-091-1/+7
* Minor optimisation in ordering strategy.Alex Auvolat2014-07-091-2/+2
* Add simplification pass && better heuristic for BDDs based on ternaries.Alex Auvolat2014-07-091-0/+21
* Cleanup.Alex Auvolat2014-07-081-0/+252