summaryrefslogtreecommitdiff
path: root/abstract/varenv.ml
Commit message (Collapse)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