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
*	Revised look-up and compilation of inherited trait members (static functions/...	leino	2015-04-07
*	Fixed some bugs in override axioms (but still missing support for classes wit...	leino	2015-04-05
*	Allow trigger annotations in more statements and expressions	chrishaw	2015-03-11
*	Added 'protected' keyword (syntax)	leino	2015-03-07
*	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
*	When ambiguous references all resolve to the same declaration, don't complain	leino	2015-01-09
*	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
\| *	removing one unnessessary check in the cloner	Reza Ahmadi	2014-12-02
\| *	- fixed a bug in merging fields that come from a parent trait	Reza Ahmadi	2014-12-02
\|/
*	Now the parser parses "Type" rather than "IToken" for a trait	Reza Ahmadi	2014-11-05
*	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
*	Disallow parentheses-less declarations of predicates and co-predicates, along...	leino	2014-08-27
*	Merge, and refactored bit in Cloner into class ClonerButDropMethodBodies.	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
\| *	Merge	Dan Rosén	2014-08-22
\| \|\ \| \|/ \|/\|
\| *	Remove the cloner inside the Resolver	Dan Rosén	2014-08-21
* \|	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	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
\| *	Merge	leino	2014-08-02
\| \|\
\| * \|	Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in th...	leino	2014-08-02
\|/ /
\| *	- fixed a bug in inheriting members from a trait	Reza Ahmadi	2014-07-20
\| *	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
\| *	Merge	Dan Rosén	2014-07-07
\| \|\
\| * \|	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\| \| *	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 "modify Frame { Body }" statement.	Rustan Leino	2014-04-04