debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	fixed bugs related to identifying newtypes as types of integers and reals.	Michael Lowell Roberts	2015-09-23
*	merged IronDafny updates. two unit tests related to traits do not pass if ENA...	Michael Lowell Roberts	2015-09-21
*	Improve the redundancy detection algorithm used while constructing sets of terms	Clément Pit--Claudel	2015-08-26
*	Make quantifier splitting a two step process	Clément Pit--Claudel	2015-08-23
*	Grant "wishlist/useless-casts-in-decreases-clauses.dfy"	Clément Pit--Claudel	2015-08-22
*	Merge	Clément Pit--Claudel	2015-08-21
\|\
* \|	Cleanup a number of FIXMEs that I had left in the code	Clément Pit--Claudel	2015-08-20
\| *	Merge	Rustan Leino	2015-08-20
\| \|\ \| \|/ \|/\|
\| *	Fixed compilation that involve enumeration over native-type newtype values.	Rustan Leino	2015-08-20
* \|	Merge.	Clément Pit--Claudel	2015-08-20
\|\\|
\| *	Merge	Rustan Leino	2015-08-20
\| \|\
* \| \|	Factor out some AST visiting code	Clément Pit--Claudel	2015-08-19
\| \|/ \|/\|
\| *	Refactored and improved bounds discovery	Rustan Leino	2015-08-19
* \|	Merge.	Clément Pit--Claudel	2015-08-19
\|\\|
* \|	Check Reads and Decreases clauses for expressions that could prevent inlining	Clément Pit--Claudel	2015-08-18
\| *	Update the way bounds are discovered to try to choose "better" bounds.	Bryan Parno	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
* \|	Add a few utility methods to the visitors	Clément Pit--Claudel	2015-08-12
\| *	Removed the unused type ThisSurrogate	leino	2015-08-11
\| *	Added routine OneAttributeToString to pretty printer	leino	2015-08-10
\|/
*	Add calc's attributes to its SubExpressions.	Clément Pit--Claudel	2015-07-20
*	Merge my autoTriggers work into the master branch	Clément Pit--Claudel	2015-07-17
\|\
* \|	Make attributes enumerable.	Clément Pit--Claudel	2015-07-13
\| *	[IronDafny] implemented workaround for "import opened" bug(s).	Michael Lowell Roberts	2015-07-13
\| *	Fixed crashes in overrides checking of function decreases clauses, and improv...	Rustan Leino	2015-07-07
* \|	Small refactoring of Printer.cs	Clément Pit--Claudel	2015-07-06
\| *	multiple changes...	Michael Lowell Roberts	2015-07-02
\| *	Made code contracts compliant	leino	2015-07-01
\| *	Add the ability to specify how much "fuel" a function should have,	Bryan Parno	2015-07-01
\|/
*	Add an infinite set collection type.	qunyanm	2015-05-29
*	Allow MatchExpr and MatchStmt to have nested patterns. Such as	qunyanm	2015-05-14
*	Don't include arrow types among ordered types.	leino	2015-05-11
*	Added "inductive lemma" methods	leino	2015-05-07
*	Added inductive predicates	leino	2015-05-06
*	Merge	leino	2015-04-28
\|\
* \|	Fixed bug in tuples	leino	2015-04-24
\| *	Fix issue #71. When substitute the forall's variables for those of the	qunyanm	2015-04-16
\|/
*	Support calls to static trait methods/functions via the class	leino	2015-04-07
*	Revised look-up and compilation of inherited trait members (static functions/...	leino	2015-04-07
*	Fixed compilation of static members in traits	leino	2015-04-05
*	Fixed some bugs in override axioms (but still missing support for classes wit...	leino	2015-04-05
*	Fix issue #62. Check for modifies clause and constructors in the enclosing	qunyanm	2015-03-31
*	Merge	leino	2015-03-13
\|\
* \|	Allow let-such-that expression to be compiled, provided that they provably ha...	leino	2015-03-13
\| *	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