| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Bumped version to 1.9.4.20428 |  leino | 2015-04-29 |
| * | Add z3.exe and z3-license.txt to dafny binary and extension distribution. | qunyanm | 2015-04-06 |
| * | Changed version to 1.9.1.11021 | leino | 2014-10-21 |
| * | Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred... | wuestholz | 2013-12-09 |
| * | Fixed build failures due to changes in Boogie. | wuestholz | 2013-11-23 |
| * | Fixed typo in build script | Rustan Leino | 2013-08-06 |
| * | Updated 'PrepareDafnyZip.bat'. | wuestholz | 2013-08-05 |
| * | Bumped version to 1.6.1, to be released as a binary and on rise4fun. |  Rustan Leino | 2013-03-10 |
| * | Include BVD in build (to copy it into the Dafny\Binaries directory) |  Unknown | 2012-10-30 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |