debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Snapshot, to be continued	leino	2014-12-02
*	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
*	Add support for counting spec/impl/proof lines by supressing, e.g., ghost sta...	Bryan Parno	2014-10-27
*	Add char literals.	leino	2014-10-20
*	Added types "char" and "string" (the latter being a synonym for "seq<char>").	leino	2014-10-20
*	Print system module (in a comment) with /rprint.	leino	2014-09-09
*	Disallow parentheses-less declarations of predicates and co-predicates, along...	leino	2014-08-27
*	Refactoring: renamed DerivedTypeDecl to NewtypeDecl	leino	2014-08-26
*	Changed syntax of newtype	leino	2014-08-26
*	Type check and pretty print newtype constraints	leino	2014-08-22
*	Start of derived types (aka "new types")	leino	2014-08-20
*	Refactor: Change ApplyExpr's Receiver to Function	Dan Rosén	2014-08-14
*	Merge	leino	2014-08-13
\|\
* \|	Check for proper use of equality-supporting types also in local variables and...	leino	2014-08-13
\| *	Merge	Dan Rosén	2014-08-11
\| \|\ \| \|/ \|/\|
\| *	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
* \|	Resolved further merge issues	leino	2014-08-05
* \|	added trait feature:	Reza Ahmadi	2014-07-18
\|/
*	Renamed "arbitrary type" to "opaque type"	Rustan Leino	2014-07-15
*	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
\| *	Merge	Dan Rosén	2014-07-07
\| \|\ \| \|/ \|/\|
\| *	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
* \|	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
\|/
*	Merge	Rustan Leino	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
\| *	Basic support for datatype-update syntatic sugar	Bryan Parno	2014-04-03
\|/
*	Refactoring: renamed VarDecl to LocalVariable, and renamed VarDeclStmt.Lhss t...	Rustan Leino	2014-03-17
*	AST refactoring:	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
*	Preliminary support for reals in Dafny specs. No compiler suport yet.	Bryan Parno	2014-02-10
*	Removed some blank lines at the end of hover texts.	Rustan Leino	2014-02-06
*	Produce hover text for many of the refinement omissions (i.e., "..." and the ...	Rustan Leino	2014-01-31
*	Merge	Rustan Leino	2014-01-08
\|\
* \|	Allow left-hand sides of a let expression to be patterns (like in the case of...	Rustan Leino	2014-01-08
\| *	Add autoReq support for matches.	Bryan Parno	2014-01-08
\| *	Added support for automatic generation of function requirements via the :auto...	Bryan Parno	2014-01-08
\|/
*	Print and translate "match" expressions in general positions, not just at the...	Rustan Leino	2014-01-03
*	Added proper parsing for StmtExpr's in all contexts.	Rustan Leino	2013-12-30
*	Compute default decreases clauses in Resolver instead of in the Translator.	Rustan Leino	2013-12-19
*	Fixed pretty printing of calc statements to use the new(-since-long) format.	Rustan Leino	2013-12-17
*	Merge	Rustan Leino	2013-11-18
\|\
\| *	Added support for attributes on variable declarations.	wuestholz	2013-11-18