debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Fix issue 125. Add the missing case 2 and 3 with refinement and opened imports.	qunyanm	2016-02-05
*	Implement module export so we can export a subset of items defined in the	qunyanm	2016-01-29
*	Fix issue 103. Emit the quantifiers for ForallStmt before AutoTrigger so that	qunyanm	2015-11-25
*	Fix issue 94. Allow tuple-based assignment in statement contexts.	qunyanm	2015-11-14
*	Introduced new datatype update syntax: D.(f := E)	leino	2015-10-23
*	Parsing and pretty printing of the new "existential guards" of the two kinds ...	leino	2015-10-03
*	Hover text includes #[_k-1] suffix for terms rewritten in prefix predicates/l...	Rustan Leino	2015-10-02
*	Merge	leino	2015-09-28
\|\
* \|	Changed computation of ghosts until pass 2 of resolution.	leino	2015-09-28
\| *	merged IronDafny updates. two unit tests related to traits do not pass if ENA...	Michael Lowell Roberts	2015-09-21
\|/
*	Merge.	Clément Pit--Claudel	2015-08-19
\|\
\| *	Changed hover-text location for recursive ind/co-lemma calls	Rustan Leino	2015-08-17
* \|	Review preceding commit with Rustan	Clément Pit--Claudel	2015-08-17
* \|	Start committing split quantifiers	Clément Pit--Claudel	2015-08-14
* \|	Refactor the error reporting code	Clément Pit--Claudel	2015-08-18
\| *	Bug fixes and improvements in pretty printing	leino	2015-08-11
\| *	Disallow user-defined attributes that begin with an underscore	leino	2015-08-11
\|/
*	Merge my autoTriggers work into the master branch	Clément Pit--Claudel	2015-07-17
\|\
\| *	[IronDafny] implemented workaround for "import opened" bug(s).	Michael Lowell Roberts	2015-07-13
* \|	Small refactoring of Printer.cs	Clément Pit--Claudel	2015-07-06
\| *	multiple changes...	Michael Lowell Roberts	2015-07-02
\| *	Add the ability to specify how much "fuel" a function should have,	Bryan Parno	2015-07-01
\|/
*	Fix various bugs in nested match patterns listed in issue #83	qunyanm	2015-06-19
*	Add an infinite set collection type.	qunyanm	2015-05-29
*	Allow MatchExpr and MatchStmt to have nested patterns. Such as	qunyanm	2015-05-14
*	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
\|\