summaryrefslogtreecommitdiff
path: root/abstract/transform.ml
Commit message (Expand)AuthorAgeFilesLines
* Many things, sorry for the mess.Alex Auvolat2014-06-261-94/+135
* Differentiate pre witin different scopes.Alex Auvolat2014-06-251-0/+2
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-241-7/+7
* Not much. Still does not work very well.Alex Auvolat2014-06-201-23/+21
* Everything proved !!Alex Auvolat2014-06-191-32/+76
* Very buggy disjunction domain !Alex Auvolat2014-06-191-13/+50
* Did most of the boring stuff. Now, work on the abstract domain.Alex Auvolat2014-06-191-61/+101
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-191-26/+32
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-181-10/+59
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-181-44/+62
* Abstract interpretation gives good results on the limiter example.Alex Auvolat2014-06-181-3/+3
* Some abstract interpretation does something now.Alex Auvolat2014-06-171-8/+49
* Add bindings to apron. Next : work on abstract interpret.Alex Auvolat2014-06-171-3/+1
* Write transformation of program into logical formula.Alex Auvolat2014-06-171-0/+203
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-24 15:14:43 +0000