debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Added "inductive lemma" methods	leino	2015-05-07
*	Added inductive predicates	leino	2015-05-06
*	Eliminate redundant checks of newtype and opaque function well-formedness fro...	chrishaw	2015-04-02
*	Allow trigger annotations in more statements and expressions	chrishaw	2015-03-11
*	Added 'protected' keyword (syntax)	leino	2015-03-07
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
*	Fixed issue #59.	wuestholz	2015-03-03
*	Add imap display/update expressions	chrishaw	2015-02-27
*	Add imap type, which is like map but may have have infinite size	chrishaw	2015-02-26
*	Minor change to grammar to avoid missing token	wuestholz	2015-01-24
*	Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, s...	leino	2015-01-23
*	Added command-line switch /allowGlobals to simplify transition from language ...	leino	2015-01-07
*	Fixed resolution of method calls with explicit type parameters.	leino	2015-01-02
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	Fixed two crashes in resolver	leino	2014-12-10
*	Merge	leino	2014-12-09
\|\
* \|	Allow user-specified type parameters	leino	2014-12-09
\| *	added multiple trait inheritance.	Reza Ahmadi	2014-12-03
* \|	Fixed parser lookahead bug that had caused an infinite loop.	leino	2014-12-02
* \|	Snapshot, to be continued	leino	2014-12-02
\|/
*	Use arbitrary lookahead to determine if the next expression is a lambda expre...	leino	2014-11-13
*	Took a pass through the whole grammar to clean up allowSemi/allowLambda param...	leino	2014-11-11
*	Cleaned up a number of LL(1) conflicts in the grammar (I wish Coco/R supporte...	leino	2014-11-10
*	Resolved several more LL(1) warnings in the grammar	Rustan Leino	2014-11-06
*	Merge	leino	2014-11-06
\|\
* \|	Started fixing a number of LL(1) warnings	leino	2014-11-06
\| *	Now the parser parses "Type" rather than "IToken" for a trait	Reza Ahmadi	2014-11-05
\|/
*	Added initial support for dirty while statements.	chmaria	2014-11-01
*	Even with noCheating enabled, don't check included files or methods marked wi...	Bryan Parno	2014-10-27
*	Allow non-ghost axioms in order to model trusted external calls,	Bryan Parno	2014-10-27
*	Marked "free" as soon-to-be-deprecated	leino	2014-10-25
*	Made semi-colons are specification clauses optional. In a future version, th...	leino	2014-10-25
*	Allow underscores in numeric literals (and in field/destructor names that are...	leino	2014-10-23
*	Comparisons and well-founded order of char	leino	2014-10-21
*	Add char literals.	leino	2014-10-20
*	Added types "char" and "string" (the latter being a synonym for "seq<char>").	leino	2014-10-20
*	Fixed parsing crash on malformed chaining with == and !!	leino	2014-10-09
*	Fixed crash after parse error	Rustan Leino	2014-09-11
*	Disallow parentheses-less declarations of predicates and co-predicates, along...	leino	2014-08-27
*	Refactored ArrowType's to be resolved with other types. ArrowTypeDecl's are n...	leino	2014-08-27
*	Refactoring: renamed DerivedTypeDecl to NewtypeDecl	leino	2014-08-26
*	Changed syntax of newtype	leino	2014-08-26
*	Changed syntax of derived types to "newtype"	leino	2014-08-21
*	Merge	leino	2014-08-20
\|\
* \|	Start of derived types (aka "new types")	leino	2014-08-20
\| *	Merge	Rustan Leino	2014-08-19
\| \|\ \| \|/ \|/\|
\| *	Change behavior of 'decreases *', which can be applied to loops and methods. ...	Rustan Leino	2014-08-19
* \|	Handle underscores in lambda bound variable lists properly	Dan Rosén	2014-08-19
\|/
*	Merge	Dan Rosén	2014-08-11
\|\
* \|	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11