Commit message (Expand) | Author | Age | |
---|---|---|---|
* | allow a refinement to introduce "return" statements, at the price of re-verif... | 2012-10-22 | |
* | combine {:autocontracts} and refinement | 2012-10-21 | |
* | New feature: | 2012-10-11 | |
* | Put all sources under \Source directory | 2012-10-04 |