debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Fix issue 122. Only generate autoTriggers for QuantifierExpr that are not	qunyanm	2016-01-25
\| \| \| \|	empty.
*	Removed Contract.Requires from method overrides (preconditions of overrides ↵	Rustan Leino	2016-01-06
\| \| \| \| \| \| \| \|	are inherited from the overridden method and Code Contracts will copy those preconditions to make sure the right run-time checking happens; when Code Contracts finds preconditions on overrides, it emits warnings).
*	Fix issue 103. Emit the quantifiers for ForallStmt before AutoTrigger so that	qunyanm	2015-11-25
\| \| \| \|	the auto-triggers can be computed for ForallStmt.
*	Trivial code cleanup	Clément Pit--Claudel	2015-08-23
\|
*	Make `old` a special case for trigger generation.	Clément Pit--Claudel	2015-08-21
\| \| \| \| \| \|	Old is particular, because in old(g(f(x))), the triggers are old(g(x)) and old(f(x)). This has a number of implications; see the new tests files for more information.
*	Generate triggers for nested quantifiers as well	Clément Pit--Claudel	2015-08-19
\| \| \| \| \| \|	The new 'quantifiers' list keeps track of the quantifiers that have already been seen, so that they are not added both as a member of a collection and as a single quantifier.
*	Small cleanups, fixes, and refactorings	Clément Pit--Claudel	2015-08-18
	In particular, start detecting loops between terms that don't look like each other at the Dafny level, such as {a[x]} and {x in a} (when a is a multiset)