debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Preliminary refactoring of ghost-statement computations to after type checking	leino	2015-09-20
*	Refactored most of UnifyTypes calls into a ConstrainTypes method, preparing f...	leino	2015-08-31
*	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
\| *	Changed equality tests involving traits from using strings to using reference...	Rustan Leino	2015-08-20
\|/
*	Fixed bug in type unification	Rustan Leino	2015-08-20
*	Merge	Rustan Leino	2015-08-20
\|\
* \|	Refactored and improved bounds discovery	Rustan Leino	2015-08-19
\| *	Merge.	Clément Pit--Claudel	2015-08-19
\| \|\ \| \|/ \|/\|
\| *	Refactor calls to 'new CallCmd' and clear a few FIXMEs	Clément Pit--Claudel	2015-08-18
* \|	Update the way bounds are discovered to try to choose "better" bounds.	Bryan Parno	2015-08-17
\| *	Start committing split quantifiers	Clément Pit--Claudel	2015-08-14
\| *	Run the trigger rewriter after the quantifier splitter	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
* \|	Moved discovery of induction variables into a Rewriter.	leino	2015-08-11
\|/
*	Bug fix: check that assign-such-that constraint is of type boolean	Rustan Leino	2015-07-31
*	Fixed crash in resolution where, after reporting an error, the cases #type an...	Rustan Leino	2015-07-29
*	Clean up error reporting.	Clément Pit--Claudel	2015-07-27
*	Fix: Visual studio did not show warnings.	Clément Pit--Claudel	2015-07-23
*	clarified error message that occurs when the "opened" keyword is left off of ...	Michael Lowell Roberts	2015-07-20
*	Merge my autoTriggers work into the master branch	Clément Pit--Claudel	2015-07-17
\|\
* \|	Fix column numbers in warning and info messages	Clément Pit--Claudel	2015-07-16
\| *	Merge	Rustan Leino	2015-07-16
\| \|\
\| \| *	Fixed bugs in the parsing of explicit type arguments.	Rustan Leino	2015-07-16
\| * \|	[IronDafny] fix for ambiguous identifier error.	Michael Lowell Roberts	2015-07-15
* \| \|	Fix broken interaction between triggers and inlining of function calls	Clément Pit--Claudel	2015-07-14
* \| \|	Add /printTooltips and /autoTriggers to the CLI	Clément Pit--Claudel	2015-07-13
* \| \|	Make attributes enumerable.	Clément Pit--Claudel	2015-07-13
\| * \|	[IronDafny] implemented workaround for "import opened" bug(s).	Michael Lowell Roberts	2015-07-13
\| \|/
\| *	Report warnings only once. (This is the last step in fixing Issue #86.)	Rustan Leino	2015-07-06
* \|	Small refactoring of Printer.cs	Clément Pit--Claudel	2015-07-06
\| *	Merge	Rustan Leino	2015-07-02
\| \|\
\| * \|	Added command-line option /warnShadowing, which emits warnings if variables s...	Rustan Leino	2015-07-02
\| * \|	Type parameters in method/function signatures are no longer auto-declared. A...	Rustan Leino	2015-07-02
\| \| *	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
\| *	Fix identifiers in nested match patterns not showing in the IDE bug. Remember	qunyanm	2015-06-29
\|/
*	Fix issue #85. Only try to interpret an identifier as a datatype constructor	qunyanm	2015-06-22
*	Fix various bugs in nested match patterns listed in issue #83	qunyanm	2015-06-19
*	Fix some issues when compiling generic types and generic function method calls	Bryan Parno	2015-06-08
*	Add an infinite set collection type.	qunyanm	2015-05-29
*	Merge	Rustan Leino	2015-05-29
\|\
* \|	Changes to ComputeFreeVariables--bug fix as well as beautification	Rustan Leino	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
\|/
*	Fix issue #72. Add the constructor questionmark to a function's axiom if the	qunyanm	2015-04-24