| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Set up the same test infrastructure as in Boogie. |  wuestholz | 2014-05-29 |
| | | |||
| * | Added an assert to help the theorem prover out in the RingBuffer.Enqueue method. | Rustan Leino | 2013-07-29 |
| | | |||
| * | Made Test/vstte2012/RingBuffer.dfy and Test/dafny1/ExtensibleArray.dfy more ↵ | Rustan Leino | 2013-04-22 |
| | | | | | | | | similar to RingBufferAuto.dfy and ExtensibleArrayAuto.dfy, respectively, so that the effect of {:autocontracts} is more easily seen. | ||
| * | Renamed a variable in some test cases |  Rustan Leino | 2013-02-02 |
| | | |||
| * | Added Dafny solutions to the VSTTE 2012 program verification competition | Rustan Leino | 2011-11-15 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |