debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Merge	Rustan Leino	2015-08-20
\|\
* \|	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
\| *	Refactor calls to 'new CallCmd' and clear a few FIXMEs	Clément Pit--Claudel	2015-08-18
\| *	Review preceding commit with Rustan	Clément Pit--Claudel	2015-08-17
\| *	Start committing split quantifiers	Clément Pit--Claudel	2015-08-14
\| *	Implement self-loop detection	Clément Pit--Claudel	2015-08-14
\| *	Draft out a more advanced version of trigger generation	Clément Pit--Claudel	2015-08-19
\| *	Refactor the error reporting code	Clément Pit--Claudel	2015-08-18
* \|	Removed the unused type ThisSurrogate	leino	2015-08-11
* \|	Moved discovery of induction variables into a Rewriter.	leino	2015-08-11
\|/
*	Merge	Clément Pit--Claudel	2015-07-28
\|\
* \|	Clarify the inlining warning.	Clément Pit--Claudel	2015-07-27
* \|	Clean up error reporting.	Clément Pit--Claudel	2015-07-27
\| *	Translate triggers with the same ExpressionTranslator as the body	Rustan Leino	2015-07-24
\|/
*	Fix: Read clauses should be checked before lit lifting	Clément Pit--Claudel	2015-07-23
*	Improved rank axioms for containers	Rustan Leino	2015-07-21
*	Code reviewed some of the triggers added by changeset 1dacb6d3cc3c	Rustan Leino	2015-07-21
*	Merge my autoTriggers work into the master branch	Clément Pit--Claudel	2015-07-17
\|\
* \|	Clean up new trigger declarations in Translator.cs	Clément Pit--Claudel	2015-07-17
* \|	Strip literals from triggers	Clément Pit--Claudel	2015-07-16
* \|	Fix broken interaction between triggers and inlining of function calls	Clément Pit--Claudel	2015-07-14
* \|	Start adding missing triggers to the translator	Clément Pit--Claudel	2015-07-13
* \|	Make attributes enumerable.	Clément Pit--Claudel	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
\| *	Merge	leino	2015-07-01
\| \|\
\| * \|	Fixed bug in BplImp!	leino	2015-07-01
\| \| *	Add the ability to specify how much "fuel" a function should have,	Bryan Parno	2015-07-01
\| \|/ \|/\|
\| *	Fixed bugs in encoding of preconditions of function values, Issue #84.	leino	2015-06-30
\|/
*	Tried to reduce frame-axiom instantiations by saying the earlier heap must be...	leino	2015-06-25
*	Changed logical order of requires and reads clauses on functions. Reads clauses	Rustan Leino	2015-06-15
*	Do postponsed reads checking also for the body of functions -- see Test/dafny...	Rustan Leino	2015-06-15
*	Postpone reads checks of function preconditions until after the entire precon...	leino	2015-06-15
*	Little edits in new CheckWellformedAndAssume code	leino	2015-06-12
*	Combined some common routines into CheckWellformedAndAssume, which also allow...	leino	2015-06-12
*	Generate #requires function for OpaqueFunction.	qunyanm	2015-06-04
*	Merge	leino	2015-05-29
\|\
\| *	Add an infinite set collection type.	qunyanm	2015-05-29
* \|	Merge	leino	2015-05-29
\|\\|
* \|	Bug fix in type-antecedent for traits in allocation axioms	leino	2015-05-29
\| *	Merge	Rustan Leino	2015-05-29
\| \|\
\| * \|	Changes to ComputeFreeVariables--bug fix as well as beautification	Rustan Leino	2015-05-29
\| \| *	Fix build break. Part of the change was not checked in last check-in somehow.	qunyanm	2015-05-19
\| \| *	Fix issue #81. Pass a call's TypeArgumentSubstitution to CheckCallTermination.	qunyanm	2015-05-18
\| \|/ \|/\|
* \|	Added "inductive lemma" methods	leino	2015-05-07
* \|	Added inductive predicates	leino	2015-05-06
* \|	Improved generation of .reads axioms (correcting an incorrect answer and corr...	leino	2015-05-01