summaryrefslogtreecommitdiff
path: root/tests/source/limitera.scade
Commit message (Collapse)AuthorAgeFilesLines
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-181-0/+1
|
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-181-1/+1
|
* Move a lot of things.Alex Auvolat2014-06-131-0/+26