debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Update the test .expect files since the line number info is fixed with boogie	qunyanm	2015-12-02
\| \| \| \|	merge #24
*	Hover text includes #[_k-1] suffix for terms rewritten in prefix ↵	Rustan Leino	2015-10-02
\| \| \| \| \| \| \|	predicates/lemmas (this fixes an item from the wishlist). Include in hover text the extreme predicates for which an extreme lemmas has been rewritten (but don't include ==# in this list--or should it perhaps be included?). Under a (temporary) switch /rewriteFocalPredicates, each use of a focal predicate P in a prefix lemma is rewritten into P#[_k-1].
*	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
\| \| \| \| \|	We already have separate tests for those, and we want the output to be the same with and without /autoTriggers.
*	Clarify a comment	Clément Pit--Claudel	2015-08-28
\|
*	Add one more wish: it would be nice to be able to prove exists b: bool :: b	Clément Pit--Claudel	2015-08-22
\| \| \| \| \|	This is an issue because splitting `exists b: bool :: b \|\| !b` produces two quantifiers that we don't know how to prove.
*	Grant "wishlist/useless-casts-in-decreases-clauses.dfy"	Clément Pit--Claudel	2015-08-22
\|
*	Add more wishes to the wishlist	Clément Pit--Claudel	2015-08-22
\|
*	Add a few things to the wishlist	Clément Pit--Claudel	2015-08-21
\|
*	Add a wishlist folder to the test suite, with things that we do not support ↵	Clément Pit--Claudel	2015-08-19
	(yet!) The curent examples include semi-bugs regarding calc statements and strings, and stuff about sequences