summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Did most of the boring stuff. Now, work on the abstract domain.Alex Auvolat2014-06-1911-109/+209
|
* Isolate numerical part of domain. Next: isolate numerical part of equations.Alex Auvolat2014-06-199-58/+140
|
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-199-126/+270
|
* Presentation changes.Alex Auvolat2014-06-181-15/+26
|
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-1811-44/+180
|
* RetabAlex Auvolat2014-06-182-44/+50
|
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-1813-89/+201
|
* Abstract interpretation gives good results on the limiter example.Alex Auvolat2014-06-188-61/+58
|
* Pretty printing.Alex Auvolat2014-06-189-67/+148
|
* Add intervals domain ; some interesting analysis works.Alex Auvolat2014-06-188-18/+438
|
* Some abstract interpretation does something now.Alex Auvolat2014-06-1711-30/+205
|
* Add bindings to apron. Next : work on abstract interpret.Alex Auvolat2014-06-179-59/+242
|
* Write transformation of program into logical formula.Alex Auvolat2014-06-1710-31/+418
|
* Add AST for logical formula.Alex Auvolat2014-06-177-49/+123
|
* Implement automata and activate blocks in interpret.Alex Auvolat2014-06-164-126/+232
|
* Add fail updown test (using pre instead of last).Alex Auvolat2014-06-133-1/+55
|
* Begin of new interpret with more imperative concepts. Scope activation 'n stuff.Alex Auvolat2014-06-1311-152/+566
|
* Move a lot of things.Alex Auvolat2014-06-1344-153/+521
|
* Parse activate blocks.Alex Auvolat2014-06-137-96/+203
|
* Nothing.Alex Auvolat2014-06-122-5/+5
|
* Implement instances (that was easy!)Alex Auvolat2014-06-121-10/+15
|
* Adopt same output format as test.cAlex Auvolat2014-06-122-16/+39
|
* Working prototype for an interpret ! But very messy.Alex Auvolat2014-06-1219-74/+533
|
* Add some testsAlex Auvolat2014-06-1216-1/+248
|
* Parse type groups.Alex Auvolat2014-06-114-10/+28
|
* Make code cleanerAlex Auvolat2014-06-118-1913/+283
|
* Initial commit: parser for tiny subset of SCADE language...Alex Auvolat2014-06-1114-0/+3492