index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
TypeParameters.dfy
Commit message (
Expand
)
Author
Age
*
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
*
Disallow automatic completion of type arguments to the LHS of datatype declar...
leino
2014-10-28
*
Allow array-type parameters to be filled in automatically.
leino
2014-07-02
*
Set up the same test infrastructure as in Boogie.
wuestholz
2014-05-29
*
Auto-set type arguments of built-in collection types, just like for user-defi...
Rustan Leino
2014-03-21
*
When inlining the body of a predicate (in a proof obligation--via TrSplitExpr),
Rustan Leino
2013-04-24
*
fixed type resolution bug (http://boogie.codeplex.com/discussions/403801)
Rustan Leino
2012-11-20
*
Dafny: Since it's no longer true that all types support equality at run-time ...
Unknown
2012-06-21
*
Fixed failing regression tests.
Jason Koenig
2011-07-14
*
Dafny: allow constructors only inside classes, removed semi-colons at end of ...
Rustan Leino
2011-07-11
*
Dafny: retired the "call" keyword
Rustan Leino
2011-05-26
*
Dafny: Improved scheme for splitting expressions. Also, report each split i...
rustanleino
2011-02-19
*
Dafny:
rustanleino
2011-02-17
*
Dafny: Another bug fix in SplitExpr, having to do with generic results of fu...
rustanleino
2010-06-09
*
Dafny:
rustanleino
2010-06-05
*
Dafny:
rustanleino
2010-03-11
*
Added resolution and translation of algebraic datatypes and (in function bodi...
rustanleino
2009-11-20
*
Redesigned the encoding of Dafny generics, including the built-in types set a...
rustanleino
2009-11-06
*
The Dafny call statement now automatically declares left-hand sides as local ...
rustanleino
2009-11-05
*
Initial set of files.
mikebarnett
2009-07-15