debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires	qunyanm	2016-03-28
*	Change the induction heuristic for lemmas to also look in precondition for cl...	leino	2015-08-12
*	Merge my autoTriggers work into the master branch	Clément Pit--Claudel	2015-07-17
\|\
* \|	Enable autoTriggers in LitTriggers and SeqFromArray	Clément Pit--Claudel	2015-07-17
\| *	Fixed bug in BplImp!	leino	2015-07-01
\|/
*	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
*	Changed test case to not use '/doNotUseParallelism' anymore.	wuestholz	2014-07-31
*	An attempt at making dafny4/NumberRepresentations.dfy run faster and more pre...	Rustan Leino	2014-07-15
*	Include an explicit trigger to make NumberRepresentations.dfy behave more con...	Rustan Leino	2014-07-09
*	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
*	New test file: dafny4/NumberRepresentations.dfy	Rustan Leino	2014-02-13