summaryrefslogtreecommitdiff
path: root/abstract
Commit message (Expand)AuthorAgeFilesLines
* Pretty printing.Alex Auvolat2014-06-188-66/+147
* Add intervals domain ; some interesting analysis works.Alex Auvolat2014-06-186-17/+434
* Some abstract interpretation does something now.Alex Auvolat2014-06-174-10/+189
* Add bindings to apron. Next : work on abstract interpret.Alex Auvolat2014-06-174-3/+183
* Write transformation of program into logical formula.Alex Auvolat2014-06-173-25/+389
* Add AST for logical formula.Alex Auvolat2014-06-172-0/+80