index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
version.cs
Commit message (
Expand
)
Author
Age
*
Changed version to 1.9.3.20406 and updated copyright year to include 2015.
leino
2015-04-06
*
Bumped the version number to 1.9.3.20107
leino
2015-01-07
*
Updated version to 1.9.2.11107 (which is going out on rise4fun)
Rustan Leino
2014-11-07
*
Changed version to 1.9.1.11022
leino
2014-10-21
*
Changed version to 1.9.1.11021
leino
2014-10-21
*
Updated version to 1.9.0.11016. This version is going on rise4fun.com.
leino
2014-10-16
*
Version 1.8.2.10419, binary release and (except for the "include" update in t...
Rustan Leino
2014-04-19
*
Bumped version to 1.8.1.10324. To go onto rise4fun and as a binary drop.
Rustan Leino
2014-03-24
*
Version 1.8.0.10115 release candidate
Rustan Leino
2014-01-15
*
Bumped version to 1.7.0, to be released as a binary and on rise4fun.
wuestholz
2013-08-06
*
Bumped version to 1.6.3.00320, to appear on rise4fun
Rustan Leino
2013-03-20
*
Updated version to 1.6.2.00318
Rustan Leino
2013-03-18
*
Bumped version to 1.6.1, to be released as a binary and on rise4fun.
Rustan Leino
2013-03-10
*
Fixed bug in translation of method termination checks, and also fixed a (prev...
Rustan Leino
2013-01-23
*
Bumped version number to 1.6.0.00121
Rustan Leino
2013-01-22
*
Updates of various .sln and .*proj files
Rustan Leino
2012-10-04