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
*	Dafny: some test cases for "calc" (very cool!)	Unknown	2012-09-17
*	Dafny: added MonotonicHeapstate refinement example	Unknown	2012-08-09
*	Dafny: reinstated autocontracts	Jason Koenig	2012-07-02
*	Dafny: fixed up test suite (temporarily removed autocontract tests)	Jason Koenig	2012-06-28
*	Dafny: cleaned up test scripts a little	Unknown	2012-06-14
*	Dafny: added another version of the majority finding algorithm to the test suite	Unknown	2012-06-12
*	Dafny: beefed up allocation axioms for boxes stored in fields	Unknown	2012-06-12
*	Dafny: added some test programs	Rustan Leino	2012-06-08
*	Dafny: added StoreAndRetrieve refinement example	Unknown	2012-03-15
*	Dafny: implemented thresholds for the new interval domain (/infer:j)	Rustan Leino	2011-12-12
*	Dafny tests: Disabled SnapshotableTrees.dfy for now while performance issues ...	Rustan Leino	2011-12-07
*	Added some Dafny and Boogie test cases, including Turing's factorial program,...	Rustan Leino	2011-11-03
*	Dafny: Commented out SnapshotableTrees.Node.FunctionalInsert while performanc...	Rustan Leino	2011-10-26
*	Dafny: added COST Verification Competition challenge programs to test suite	Rustan Leino	2011-10-07
*	Dafny: Fixed the 'Answer' file for test 'dafny2'.	wuestholz	2011-09-30
*	Dafny: Added TreeBarrier as a test case	peter mueller peter.mueller@inf.ethz.ch	2011-09-29
*	Dafny: added Snapshotable Trees example	Rustan Leino	2011-09-11