Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Grant "wishlist/useless-casts-in-decreases-clauses.dfy" | Clément Pit--Claudel | 2015-08-22 |
| | |||
* | Add a 'tutorial' folder to the distribution, with an initial example. | Clément Pit--Claudel | 2015-08-22 |
It would be nice to gather neat Dafny examples there; each new feature could have its own small file that demoes it, and we could also have examples that showcase stuff that we think is impressive. I'm adding this as a test folder, because it's important to check that these cool examples don't break, but the focus probably shouldn't be on exhaustively testing the features being demoed. |