debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Removed the old test infrastructure.	wuestholz	2014-07-01
\|
*	Add support for the /verifySeparately flag in Boogie and change most tests ↵	wuestholz	2013-12-18
\| \| \| \|	to use it.
*	Fixed some goof-ups in the test script edits	Rustan Leino	2012-10-04
\| \| \| \|	Changed the test output to make it easier to spot (in the console output) that everything passed with success or if there were any failures
*	Added Test/dafny3 and another test file for iterators (hey, you can even run ↵	Rustan Leino	2012-10-04
\| \| \| \| \| \|	Iter.dfy!) Fixed migration issues
*	Dafny: cleaned up test scripts a little	Unknown	2012-06-14
\|
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ↵	Rustan Leino	2011-11-22
\| \| \| \|	.cs file with the new /spillTargetCode switch
*	Dafny: re-ran parser generator to include semicolon-less body-less ↵	Rustan Leino	2011-07-26
\| \| \| \|	functions/methods, and updated some test files accordingly (compare with changesets 1429 and 1366)
*	Fixed regression test failures due to removal of bodiless methods and functions.	Jason Koenig	2011-07-15
\|
*	Dafny: fixed compilation bugs, added @-signs in front of identifiers to ↵	Rustan Leino	2011-05-11
\| \| \| \|	avoid clashes with C# keywords, added switch in runtest scripts to turn on compilation
*	Dafny:	rustanleino	2010-05-06
\| \| \| \| \| \| \| \|	* First crack at a compiler (/compile:1 writes out.cs, if Dafny program verifies) * Added "print" statement (to make running compiled programs more interesting) * Changed name of default class from $default to _default Boogie: * Included "lambda" as a keyword in emacs and latex style files
*	Introduced operator !in in Dafny. An expression "x !in S" is equivalent to ↵	rustanleino	2009-11-05
\| \| \| \| \| \| \|	"!(x in S)". Changed Dafny test files to use the new operator. Included the file b8.dfy into the VSI-Benchmarks test harness.
*	Initial version of VSI Benchmarks 1 - 8	RMonahan	2009-10-30