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
*	Make sure that PrintTopLevelDecls receives program FullName, not just Name, s...	chrishaw	2015-04-07
*	Fixed some bugs in override axioms (but still missing support for classes wit...	leino	2015-04-05
*	Added 'protected' keyword (syntax)	leino	2015-03-07
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
*	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
*	Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, s...	leino	2015-01-23
*	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
*	Merge	leino	2014-12-09
\|\
* \|	Allow user-specified type parameters	leino	2014-12-09
* \|	Finished up refactoring of the new name segment parsing, AST, and resolution.	leino	2014-12-07
\| *	added multiple trait inheritance.	Reza Ahmadi	2014-12-03
* \|	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