summaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Plug into Apron Box domain for intervals.Alex Auvolat2014-07-241-1/+1
* Add support for octagons.Alex Auvolat2014-07-221-1/+1
* Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!Alex Auvolat2014-07-091-0/+1
* Add simplification pass && better heuristic for BDDs based on ternaries.Alex Auvolat2014-07-091-0/+1
* Implement stand-alone EDDsAlex Auvolat2014-07-081-0/+1
* Add ABRO example ; correct interpret bug.Alex Auvolat2014-07-031-1/+2
* Implement chaotic iterations on EDDs. Global widening is missing.Alex Auvolat2014-06-301-1/+1
* Begin implementation of EDD ; SCA implemented.Alex Auvolat2014-06-251-0/+1
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-241-1/+1
* Isolate numerical part of domain. Next: isolate numerical part of equations.Alex Auvolat2014-06-191-5/+10
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-191-2/+3
* Add intervals domain ; some interesting analysis works.Alex Auvolat2014-06-181-0/+2
* Add bindings to apron. Next : work on abstract interpret.Alex Auvolat2014-06-171-2/+4
* Write transformation of program into logical formula.Alex Auvolat2014-06-171-2/+3
* Add AST for logical formula.Alex Auvolat2014-06-171-4/+6
* Begin of new interpret with more imperative concepts. Scope activation 'n stuff.Alex Auvolat2014-06-131-2/+4
* Move a lot of things.Alex Auvolat2014-06-131-1/+2
* Working prototype for an interpret ! But very messy.Alex Auvolat2014-06-121-2/+4
* Initial commit: parser for tiny subset of SCADE language...Alex Auvolat2014-06-111-0/+21