Commit message (Expand) | 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 s... | Rustan Leino | 2013-04-22 |
* | 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 |