summaryrefslogtreecommitdiff
path: root/Test/dafny0/TypeParameters.dfy
Commit message (Expand)AuthorAge
* When inlining the body of a predicate (in a proof obligation--via TrSplitExpr),Gravatar Rustan Leino2013-04-24
* fixed type resolution bug (http://boogie.codeplex.com/discussions/403801)Gravatar Rustan Leino2012-11-20
* Dafny: Since it's no longer true that all types support equality at run-time ...Gravatar Unknown2012-06-21
* Fixed failing regression tests.Gravatar Jason Koenig2011-07-14
* Dafny: allow constructors only inside classes, removed semi-colons at end of ...Gravatar Rustan Leino2011-07-11
* Dafny: retired the "call" keywordGravatar Rustan Leino2011-05-26
* Dafny: Improved scheme for splitting expressions. Also, report each split i...Gravatar rustanleino2011-02-19
* Dafny:Gravatar rustanleino2011-02-17
* Dafny: Another bug fix in SplitExpr, having to do with generic results of fu...Gravatar rustanleino2010-06-09
* Dafny:Gravatar rustanleino2010-06-05
* Dafny:Gravatar rustanleino2010-03-11
* Added resolution and translation of algebraic datatypes and (in function bodi...Gravatar rustanleino2009-11-20
* Redesigned the encoding of Dafny generics, including the built-in types set a...Gravatar rustanleino2009-11-06
* The Dafny call statement now automatically declares left-hand sides as local ...Gravatar rustanleino2009-11-05
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-08 14:33:20 +0000