debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
*	Disengaged Dafny tests	Rustan Leino	2012-11-20
*	Added Abstract Houdini: an implementation of Houdini based on abstract domains.	Unknown	2012-11-05
*	include Test/datatypes	Unknown	2012-10-22
*	removed lazy inlining	qadeer	2012-04-28
*	Boogie: temporarily disabled the "datatypes" test cases, until a null derefer...	Unknown	2012-03-12
*	updated Boogie strings so that they can refer to \" (and more)	qadeer	2012-03-12
*	Disable datatypes test until Z3 is updated.	Mike Barnett	2012-01-05
*	added a test for generalized array theory	qadeer	2011-12-30
*	added the datatypes test	qadeer	2011-12-29
*	Added Dafny solutions to the VSTTE 2012 program verification competition	Rustan Leino	2011-11-15
*	Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)	Unknown	2011-10-19
*	added houdini to regression	qadeer	2011-10-17
*	Dafny: added Snapshotable Trees example	Rustan Leino	2011-09-11
*	Add tests for -z3multipleErrors from Shuvendu.	MichalMoskal	2011-02-23
*	Boogie:	rustanleino	2010-09-24
*	Added tests for extractloops	akashlal	2010-09-04
*	Dafny: Added Dafny solutions to the VSComp 2010 problems	rustanleino	2010-09-01
*	Boogie: Added boolean code expressions (sans well-formedness checks on the in...	rustanleino	2010-08-10
*	Boogie: Added a new simple regression test, "sanity", which runs a single tes...	tabarbe	2010-07-29
*	Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...	akashlal	2010-07-07
*	Boogie:	rustanleino	2010-06-08
*	added lazyinline to the regressions	qadeer	2010-05-28
*	Dafny:	rustanleino	2010-05-21
*	(no commit message)	qadeer	2010-02-12
*	Start (some parsing and resolution) of adding algebraic datatypes to Dafny.	rustanleino	2009-11-08
*	Initial set of files.	mikebarnett	2009-07-15