Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added Equals method on Type | Rustan Leino | 2013-02-20 |
* | Proper support for inlining codatatype equalities | Rustan Leino | 2013-01-18 |
* | Include BVD in build (to copy it into the Dafny\Binaries directory) | Unknown | 2012-10-30 |
* | Pass Boogie's new SoundLoopUnrolling parameter | Rustan Leino | 2012-10-18 |
* | Fixed some build/migration issues | Rustan Leino | 2012-10-04 |
* | Put all sources under \Source directory | Rustan Leino | 2012-10-04 |