debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	In method and iterator specifications, inline top-level predicates (except	leino	2015-10-24
*	Implement {:nowarn}, clarify some messages, and add a few tests	Clément Pit--Claudel	2015-08-28
*	Add a small test from the IronClad notebook	Clément Pit--Claudel	2015-08-27
*	Further relax the loop detection conditions	Clément Pit--Claudel	2015-08-27
*	Small fix: there is no loop in (forall x :: Q(x) && Q(0))	Clément Pit--Claudel	2015-08-27
*	Improve the redundancy detection algorithm used while constructing sets of terms	Clément Pit--Claudel	2015-08-26
*	s/loops with/may loop with/	Clément Pit--Claudel	2015-08-23
*	Make quantifier splitting a two step process	Clément Pit--Claudel	2015-08-23
*	Improve error reporting for split quantifiers	Clément Pit--Claudel	2015-08-23
*	Allow MultiSelectExpr as quantifier heads	Clément Pit--Claudel	2015-08-23
*	Look at the full quantifier to find loops, not just the term.	Clément Pit--Claudel	2015-08-22
*	Make `old` a special case for trigger generation.	Clément Pit--Claudel	2015-08-21
*	Rephrase the message about triggers being rejected because they are too strong	Clément Pit--Claudel	2015-08-21
*	Adjust WF checks to use unsplit quantifiers.	Clément Pit--Claudel	2015-08-21
*	Add tests for display expressions used as triggers	Clément Pit--Claudel	2015-08-21
*	Add /printTooltips to trigger tests	Clément Pit--Claudel	2015-08-21
*	Fix a typo	Clément Pit--Claudel	2015-08-20
*	Implement the SelectTrigger method, removing redundant triggers.	Clément Pit--Claudel	2015-08-20
*	Add unit tests for trigger-related error messages	Clément Pit--Claudel	2015-08-20
*	Simplify error reporting in the trigger generator to get cleaner messages	Clément Pit--Claudel	2015-08-20
*	Add a test to show how trigger splitting balances the downsides of loop detec...	Clément Pit--Claudel	2015-08-20
*	Add tests for quantifier splitting and trigger generation	Clément Pit--Claudel	2015-08-19