debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Fix issue 75. Adjust the fuel for existentials to use more fuel in an assume	qunyanm	2016-03-31
*	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
*	Implement 'extern' declaration modifier.	Richard L. Ford	2016-01-27
*	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
*	Fix issue 101. Instead of swapping operands for Exp opcode in BinaryExpr,	qunyanm	2015-11-10
*	Fix issue 104. Use ResolvedExpression to compute subexpressions for	qunyanm	2015-11-04
*	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