summaryrefslogtreecommitdiff
path: root/tests/source
Commit message (Expand)AuthorAgeFilesLines
* Not much. Still does not work very well.Alex Auvolat2014-06-202-1/+77
* Actually, it works.Alex Auvolat2014-06-191-1/+1
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-184-1/+33
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-183-1/+36
* Abstract interpretation gives good results on the limiter example.Alex Auvolat2014-06-182-2/+2
* Pretty printing.Alex Auvolat2014-06-181-1/+1
* Implement automata and activate blocks in interpret.Alex Auvolat2014-06-161-7/+5
* Add fail updown test (using pre instead of last).Alex Auvolat2014-06-131-0/+23
* Move a lot of things.Alex Auvolat2014-06-1314-0/+234