debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
\|/
*	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
*	Fixed crash in parser	Rustan Leino	2014-02-13
*	Preliminary support for reals in Dafny specs. No compiler suport yet.	Bryan Parno	2014-02-10
*	Produce hover text for many of the refinement omissions (i.e., "..." and the ...	Rustan Leino	2014-01-31
*	Allow left-hand sides of a let expression to be patterns (like in the case of...	Rustan Leino	2014-01-08
*	Added ghost let expressions.	Rustan Leino	2014-01-05
*	Make ModuleDefinition inherit from TopLevelDecl instead of just Declaration	Bryan Parno	2014-01-03
*	Merge	Rustan Leino	2013-12-30
\|\
* \|	Added proper parsing for StmtExpr's in all contexts.	Rustan Leino	2013-12-30
\| *	Changed the iterator class hover text back to the iterator name (which is con...	Rustan Leino	2013-12-20
\|/
*	Added an .EndTok for every statement. (Note, in some places, especially in V...	Rustan Leino	2013-12-19
*	Fixed pretty printing of calc statements to use the new(-since-long) format.	Rustan Leino	2013-12-17
*	Add support for the :axiom attribute for ghost methods.	Bryan Parno	2013-12-13
*	Add support for the "include" keyword, which accepts a (possibly relative) path	Bryan Parno	2013-12-10
*	Added support for attributes on variable declarations.	wuestholz	2013-11-18
*	Allow calls to side-effect-free ghost methods from expressions	Rustan Leino	2013-08-06