summaryrefslogtreecommitdiff
path: root/interpret/interpret.ml
Commit message (Expand)AuthorAgeFilesLines
* Clean up & comment a bit.Alex Auvolat2014-07-151-0/+7
* Add ABRO example ; correct interpret bug.Alex Auvolat2014-07-031-8/+30
* Adapt for real type with Apron ; not very efficient ATM.Alex Auvolat2014-07-011-2/+15
* Did most of the boring stuff. Now, work on the abstract domain.Alex Auvolat2014-06-191-0/+1
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-191-11/+13
* Some abstract interpretation does something now.Alex Auvolat2014-06-171-7/+7
* Add bindings to apron. Next : work on abstract interpret.Alex Auvolat2014-06-171-8/+42
* Write transformation of program into logical formula.Alex Auvolat2014-06-171-0/+2
* Add AST for logical formula.Alex Auvolat2014-06-171-0/+455
* Begin of new interpret with more imperative concepts. Scope activation 'n stuff.Alex Auvolat2014-06-131-290/+0
* Move a lot of things.Alex Auvolat2014-06-131-31/+12
* Parse activate blocks.Alex Auvolat2014-06-131-70/+101
* Nothing.Alex Auvolat2014-06-121-4/+4
* Implement instances (that was easy!)Alex Auvolat2014-06-121-10/+15
* Working prototype for an interpret ! But very messy.Alex Auvolat2014-06-121-0/+273