debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires	qunyanm	2016-03-28
\| \| \| \| \|	it. Don't use pretty warning signs since we can't diff them correctly in the test output from the test run.
*	Change the induction heuristic for lemmas to also look in precondition for ↵	leino	2015-08-12
\| \| \| \| \| \|	clues about which parameters to include. As a result, improved many test cases (see, e.g., dafny4/NipkowKlein-chapter7.dfy!) and beautified some others.
*	Merge my autoTriggers work into the master branch	Clément Pit--Claudel	2015-07-17
\|\ \| \| \| \| \| \| \| \|	This contains trigger related things under the autoTriggers flag (disabled by default), and some bug-fixes and cleanups that are already enabled.
* \|	Enable autoTriggers in LitTriggers and SeqFromArray	Clément Pit--Claudel	2015-07-17
\| \|
\| *	Fixed bug in BplImp!	leino	2015-07-01
\|/ \| \| \|	Improvements in encoding of reads of function values.
*	Added /vcs... cop-out to test case to make it go through	leino	2015-06-12
\|
*	Temporarily disabled one of the methods in NumberRepresentations.dfy -- this ↵	leino	2014-11-05
\| \| \| \|	needs to be addressed in some way that will produce stable verification results
*	Changed test case to not use '/doNotUseParallelism' anymore.	wuestholz	2014-07-31
\|
*	An attempt at making dafny4/NumberRepresentations.dfy run faster and more ↵	Rustan Leino	2014-07-15
\| \| \| \|	predictably
*	Include an explicit trigger to make NumberRepresentations.dfy behave more ↵	Rustan Leino	2014-07-09
\| \| \| \|	consistently. (There is a future opportunity to heuristically figure out such triggers.)
*	Merge	Dan Rosén	2014-07-07
\|\
\| *	Add support doing computations over sequences	leino	2014-06-16
\|/
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	AST refactoring:	Rustan Leino	2014-03-17
\| \| \| \| \|	Changed VarDecl to no longer inherit from Statement. Removed ConcreteSyntaxStatement and changed VarDeclStmt's superclass be Statement.
*	New test file: dafny4/NumberRepresentations.dfy	Rustan Leino	2014-02-13