index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
Simple.dfy
Commit message (
Expand
)
Author
Age
*
Parsing and pretty printing of the new "existential guards" of the two kinds ...
leino
2015-10-03
*
Added 'protected' keyword (syntax)
leino
2015-03-07
*
Stop pretty-print from emitting deprecated semi-colons.
qunyanm
2015-03-05
*
Set up the same test infrastructure as in Boogie.
wuestholz
2014-05-29
*
Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...
Rustan Leino
2013-08-02
*
Dafny: permanently changed the syntax of "datatype" declarations to what prev...
Rustan Leino
2011-05-27
*
Dafny: retired the "call" keyword
Rustan Leino
2011-05-26
*
Dafny:
Rustan Leino
2011-05-21
*
Dafny: Added stratosphere tests for datatypes--that is, it is now checked th...
rustanleino
2010-03-11
*
Dafny: Added if-then-else expressions (replacing and extending the previous b...
rustanleino
2010-02-04
*
Start (some parsing and resolution) of adding algebraic datatypes to Dafny.
rustanleino
2009-11-08
*
Added a sequence update expression in Dafny.
rustanleino
2009-11-06
*
Initial set of files.
mikebarnett
2009-07-15