summaryrefslogtreecommitdiff
path: root/abstract/abs_interp_dynpart.ml
Commit message (Expand)AuthorAgeFilesLines
* Implement selection of disjunction variables for EDDs.Alex Auvolat2014-07-301-1/+1
* Experiment on dynamic partitionning (guarantee initial partition).Alex Auvolat2014-07-241-42/+35
* Clean up & comment a bit.Alex Auvolat2014-07-151-0/+9
* Try (and fail) to make heuristic any good.Alex Auvolat2014-07-151-4/+18
* DOES NOT WORK AT ALLAlex Auvolat2014-07-111-135/+142
* Acceptable heuristic.Alex Auvolat2014-07-111-52/+124
* Add heuristic...Alex Auvolat2014-07-101-33/+106
* DP locations defined by abstract values and not by formula.Alex Auvolat2014-07-101-72/+107
* Fix a few things, this doesn't work well.Alex Auvolat2014-07-101-47/+63
* Now it's starting to work...Alex Auvolat2014-07-091-42/+195
* Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!Alex Auvolat2014-07-091-0/+375