Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Updated several project files. | 2013-05-21 | ||
* | Suppress compiler warnings about unreferenced labels (I hope all .NET platfor... | 2013-03-26 | ||
* | Added Equals method on Type | 2013-02-20 | ||
* | Proper support for inlining codatatype equalities | 2013-01-18 | ||
* | Include BVD in build (to copy it into the Dafny\Binaries directory) | 2012-10-30 | ||
* | Pass Boogie's new SoundLoopUnrolling parameter | 2012-10-18 | ||
* | Fixed some build/migration issues | 2012-10-04 | ||
* | Put all sources under \Source directory | 2012-10-04 |