summaryrefslogtreecommitdiff
path: root/tests/source/half.scade
Commit message (Expand)AuthorAgeFilesLines
* Fix a few things, this doesn't work well.Alex Auvolat2014-07-101-1/+1
* Actually, it works.Alex Auvolat2014-06-191-1/+1
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-181-0/+29