debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Removed old test infrastructure files except for	Dan Liew	2014-05-28
\| \| \| \| \| \| \| \| \|	./AbsHoudini/ ./doomed/ ./z3api/ ./test17/ because their conversion to lit incomplete.
*	Add lit.local.cfg that instructs not to run any tests in this	Dan Liew	2014-05-05
\| \| \| \| \| \| \|	directory or its subdirectories. The test in this directory is pointless because we will run it later on anyway! When we migrate to lit this test directory should be removed
*	Disengaged Dafny tests	Rustan Leino	2012-11-20
\|
*	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
\|
*	Reflect effect of Celebrity.dfy change in previous check-in	rustanleino	2011-03-27
\|
*	Updated answer to this regression to reflect the fact that it is now verified.	tabarbe	2010-08-12
\|
*	Boogie: This reg test was not running verification.	tabarbe	2010-08-12
\|
*	Boogie: That file should not have been in the depot, but rather be created ↵	tabarbe	2010-08-09
\| \| \| \|	locally
*	Boogie: Added a new simple regression test, "sanity", which runs a single ↵	tabarbe	2010-07-29
	test for Boogie and a single test for Dafny, just to check for grievous runtime errors in the code. (In my porting, I work with code that, in some cases, is not tested until the 3rd or 4th regression test. These 2 test files should make use of that more obscure code and alert me to my errors quickly, rather than making me wait through a full regression cycle.)