summaryrefslogtreecommitdiff
path: root/abstract
Commit message (Expand)AuthorAgeFilesLines
* Add support for octagons.Alex Auvolat2014-07-222-7/+147
* Clean up & comment a bit.Alex Auvolat2014-07-1515-128/+242
* 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-116-63/+159
* Add heuristic...Alex Auvolat2014-07-103-41/+116
* DP locations defined by abstract values and not by formula.Alex Auvolat2014-07-102-92/+107
* Fix a few things, this doesn't work well.Alex Auvolat2014-07-103-57/+81
* Now it's starting to work...Alex Auvolat2014-07-092-42/+213
* Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!Alex Auvolat2014-07-095-47/+433
* Minor optimisation in ordering strategy.Alex Auvolat2014-07-091-2/+2
* Add simplification pass && better heuristic for BDDs based on ternaries.Alex Auvolat2014-07-094-14/+96
* Correct some bugs on clocks.Alex Auvolat2014-07-083-30/+52
* Add ternaries, simplifications. BIG BUG FOUND (init/reset translation)Alex Auvolat2014-07-084-61/+142
* Cleanup.Alex Auvolat2014-07-084-241/+292
* Revert that. We have two different domain kinds for enums, that's all.Alex Auvolat2014-07-081-65/+67
* Adapt abs_interp to use ENUM_DOMAIN2 (this is a test...)Alex Auvolat2014-07-082-71/+109
* Implement stand-alone EDDsAlex Auvolat2014-07-083-232/+371
* Adapt non-EDD disjunction interpret to use two set of disjunction vars.Alex Auvolat2014-07-041-20/+15
* Adapt domain with non-EDD disjunctions ; it doesn't work very well !Alex Auvolat2014-07-042-99/+111
* New example ; minor fixes.Alex Auvolat2014-07-042-5/+12
* First implementation of resetting transitions.Alex Auvolat2014-07-042-27/+80
* Use LAST instead of NEXT (only EDD implementation works at the moment)Alex Auvolat2014-07-044-154/+164
* Simplifications && preparation for restart.Alex Auvolat2014-07-041-8/+14
* Changes to parser ; EDD optimisations ; test cases.Alex Auvolat2014-07-031-71/+80
* New algorithm for variable ordering based on FORCE.Alex Auvolat2014-07-031-8/+85
* Add message when a step goes on BOT, ie. contradiction in assumes.Alex Auvolat2014-07-022-25/+38
* Fix non-termination issue in EDDsAlex Auvolat2014-07-022-75/+90
* More verbosity ; adapt rfollow so that it can be provedAlex Auvolat2014-07-023-3/+15
* Small changes in Graphwiz export : same vars at same level.Alex Auvolat2014-07-011-0/+11
* Adapt for real type with Apron ; not very efficient ATM.Alex Auvolat2014-07-016-74/+104
* Not much : find acceptably good ordering for variables.Alex Auvolat2014-07-011-55/+28
* Finish up EDDsAlex Auvolat2014-07-011-43/+98
* Implement chaotic iterations on EDDs. Global widening is missing.Alex Auvolat2014-06-301-109/+329
* Reached interesting point in BDD implementation.Alex Auvolat2014-06-304-109/+119
* More work on EDDs.Alex Auvolat2014-06-272-155/+318
* Minor corrections.Alex Auvolat2014-06-262-0/+10
* Many things, sorry for the mess.Alex Auvolat2014-06-263-179/+579
* Implement a few things. Tomorrow: optimizations.Alex Auvolat2014-06-252-51/+138
* Begin implementation of EDD ; SCA implemented.Alex Auvolat2014-06-252-4/+504
* Differentiate pre witin different scopes.Alex Auvolat2014-06-251-0/+2
* Add command line option : verbose chaotic iterations.Alex Auvolat2014-06-251-12/+17
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-248-531/+590
* Not much. Still does not work very well.Alex Auvolat2014-06-206-59/+56
* Everything proved !!Alex Auvolat2014-06-193-41/+88
* Actually, it works.Alex Auvolat2014-06-192-8/+21
* Very buggy disjunction domain !Alex Auvolat2014-06-195-49/+363
* Did most of the boring stuff. Now, work on the abstract domain.Alex Auvolat2014-06-195-106/+187
* Isolate numerical part of domain. Next: isolate numerical part of equations.Alex Auvolat2014-06-197-51/+124
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-192-92/+51