debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
\| *	added trait feature:	Reza Ahmadi	2014-07-18
\|/
*	Renamed "arbitrary type" to "opaque type"	Rustan Leino	2014-07-15
*	Support for type synonyms in refinements	Rustan Leino	2014-07-14
*	Added type synonyms. (No support yet for these in refinements.)	Rustan Leino	2014-07-11
*	Merge	Rustan Leino	2014-07-08
\|\
* \|	Implemented compilation of the int<->real conversions, and changed the resolu...	Rustan Leino	2014-07-08
\| *	Allow array-type parameters to be filled in automatically.	leino	2014-07-02
\|/
*	Added tuples and tuple types. Syntax is the expected one, namely parentheses ...	Rustan Leino	2014-06-27
*	Make syntax of "match" expressions and "match" statements the same -- curly b...	Rustan Leino	2014-06-24
*	Added support for 'dirty' forall statements.	chmaria	2014-06-03
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Members included from different files are now internally marked with an Inclu...	Rustan Leino	2014-04-19
*	Merge	Rustan Leino	2014-04-04
\|\
* \|	Fixed refinement of modify statements	Rustan Leino	2014-04-04
\| *	Partial support for slicing a sequence using lengths, rather than indices.	Bryan Parno	2014-04-04
\|/
*	Support the transition from "modify Frame;" to "modify Frame { Body }" by ref...	Rustan Leino	2014-04-04
*	Added "modify Frame { Body }" statement.	Rustan Leino	2014-04-04
*	Added "modify" statement.	Rustan Leino	2014-04-03
*	Auto-set type arguments of built-in collection types, just like for user-defi...	Rustan Leino	2014-03-21
*	Fixed resolution bug where "var x := x" was allowed.	Rustan Leino	2014-03-17
*	Refactoring: renamed VarDecl to LocalVariable, and renamed VarDeclStmt.Lhss t...	Rustan Leino	2014-03-17
*	Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...	Rustan Leino	2014-02-23
*	Allow unary minus on reals	Rustan Leino	2014-02-13