debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Introduced new datatype update syntax: D.(f := E)	leino	2015-10-23
*	Improve Dafny's ability to find fueled functions by checking the function its...	Bryan Parno	2015-10-19
*	Implemented resolution, verification, and (poorly performing) compilation of ...	leino	2015-10-05
*	Parsing and pretty printing of the new "existential guards" of the two kinds ...	leino	2015-10-03
*	Merge	leino	2015-09-28
\|\
* \|	Changed computation of ghosts until pass 2 of resolution.	leino	2015-09-28
\| *	fixed bugs related to identifying newtypes as types of integers and reals.	Michael Lowell Roberts	2015-09-23
* \|	Removed unused code (old code from previous ghost-statement handling)	leino	2015-09-21
\| *	merged IronDafny updates. two unit tests related to traits do not pass if ENA...	Michael Lowell Roberts	2015-09-21
* \|	Preliminary refactoring of ghost-statement computations to after type checking	leino	2015-09-20
\|/
*	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