summaryrefslogtreecommitdiff
path: root/abstract/abs_interp.ml
Commit message (Expand)AuthorAgeFilesLines
* Begin implementation of EDD ; SCA implemented.Alex Auvolat2014-06-251-4/+4
* Add command line option : verbose chaotic iterations.Alex Auvolat2014-06-251-12/+17
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-241-78/+390
* Not much. Still does not work very well.Alex Auvolat2014-06-201-2/+2
* Everything proved !!Alex Auvolat2014-06-191-9/+10
* Actually, it works.Alex Auvolat2014-06-191-5/+3
* Very buggy disjunction domain !Alex Auvolat2014-06-191-23/+14
* Did most of the boring stuff. Now, work on the abstract domain.Alex Auvolat2014-06-191-4/+3
* Isolate numerical part of domain. Next: isolate numerical part of equations.Alex Auvolat2014-06-191-3/+3
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-191-66/+19
* Presentation changes.Alex Auvolat2014-06-181-15/+26
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-181-18/+48
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-181-13/+14
* Abstract interpretation gives good results on the limiter example.Alex Auvolat2014-06-181-8/+9
* Pretty printing.Alex Auvolat2014-06-181-17/+49
* Add intervals domain ; some interesting analysis works.Alex Auvolat2014-06-181-9/+17
* Some abstract interpretation does something now.Alex Auvolat2014-06-171-2/+127
* Add bindings to apron. Next : work on abstract interpret.Alex Auvolat2014-06-171-0/+14
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-21 22:18:19 +0000