summaryrefslogtreecommitdiff
path: root/abstract
Commit message (Expand)AuthorAgeFilesLines
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-248-531/+590
* Not much. Still does not work very well.Alex Auvolat2014-06-206-59/+56
* Everything proved !!Alex Auvolat2014-06-193-41/+88
* Actually, it works.Alex Auvolat2014-06-192-8/+21
* Very buggy disjunction domain !Alex Auvolat2014-06-195-49/+363
* Did most of the boring stuff. Now, work on the abstract domain.Alex Auvolat2014-06-195-106/+187
* Isolate numerical part of domain. Next: isolate numerical part of equations.Alex Auvolat2014-06-197-51/+124
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-192-92/+51
* Presentation changes.Alex Auvolat2014-06-181-15/+26
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-184-37/+120
* RetabAlex Auvolat2014-06-182-44/+50
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-185-60/+105
* Abstract interpretation gives good results on the limiter example.Alex Auvolat2014-06-184-34/+31
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-21 21:57:41 +0000