| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Suppress many warnings in the test suite. |  Clément Pit--Claudel | 2015-08-28 |
| | | | | | | We already have separate tests for those, and we want the output to be the same with and without /autoTriggers. | ||
| * | Renamed "ghost method" to "lemma" whenever appropriate (which is most of the ↵ |  Rustan Leino | 2015-07-28 |
| | | | | | | | time) in the test suite. Removed some assertions that have been rendered unnecessary because of the computations that Dafny instructs the SMT solver to do. | ||
| * | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |
| | | |||
| * | Dafny: updated test files (will soon update Answer files as well) |  Rustan Leino | 2011-08-22 |
| | | |||
| * | Dafny: retired the "call" keyword | Rustan Leino | 2011-05-26 |
| | | |||
| * | Dafny: | Rustan Leino | 2011-05-11 |
| * added missing error checking for ghost-vs-physical contexts (e.g., use of the "old" keyword) * check that arrays are not null when accessed * added dafny1/FindZero.dfy test case | |||
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |