index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
Compilation.dfy
Commit message (
Expand
)
Author
Age
*
Mark old "import A as B" syntax as deprecated. The new syntax is "import A : B"
qunyanm
2016-02-02
*
Fixed compilation of equality between reference types
leino
2015-11-11
*
Implemented resolution, verification, and (poorly performing) compilation of ...
leino
2015-10-05
*
Stop pretty-print from emitting deprecated semi-colons.
qunyanm
2015-03-05
*
Language change: All functions and methods declared lexically outside any cla...
leino
2014-12-12
*
Allow underscores in numeric literals (and in field/destructor names that are...
leino
2014-10-23
*
Set up the same test infrastructure as in Boogie.
wuestholz
2014-05-29
*
Added ghost let expressions.
Rustan Leino
2014-01-05
*
Add support for the :axiom attribute for ghost methods.
Bryan Parno
2013-12-13
*
Allow field names to be sequences of digits (this is nice, for example, to de...
Rustan Leino
2013-07-24
*
Fixed compilation bug where C# keywords were not being escaped
Rustan Leino
2013-06-25
*
renamed "abstract module" to "module facade"
Rustan Leino
2012-10-22
*
Dafny: updated test suite to new syntax
Jason Koenig
2012-07-30
*
Dafny: compilation of abstract modules, including local definitions (as in mo...
Jason Koenig
2012-07-17
*
Dafny: added support for co-recursive calls
Rustan Leino
2012-05-01
*
Dafny: fixed resolution bug for inductive datatypes (previous check did not h...
Unknown
2012-04-25