debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Swapped previous file (Datatypes.bpl) for the correct test file (Datatypes.dfy).	rustanleino	2009-11-14
*	Start (some parsing and resolution) of adding algebraic datatypes to Dafny.	rustanleino	2009-11-08
*	Added a sequence update expression in Dafny.	rustanleino	2009-11-06
*	Redesigned the encoding of Dafny generics, including the built-in types set a...	rustanleino	2009-11-06
*	The Dafny call statement now automatically declares left-hand sides as local ...	rustanleino	2009-11-05
*	Introduced operator !in in Dafny. An expression "x !in S" is equivalent to "...	rustanleino	2009-11-05
*	Added loop invariants to make VSI-Benchmarks/b8.dfy verify. (Still to do: un...	rustanleino	2009-11-04
*	vc:doomed does not use the console anymore to report results	schaef	2009-11-02
*	Initial version of VSI Benchmarks 1 - 8	RMonahan	2009-10-30
*	Fixed bugs in inlining, and added a test case.	rustanleino	2009-10-14
*	Fixed some bugs in the generation of bitvector input for Z3.	rustanleino	2009-09-29
*	Updated Answer files, in synch with my recent edits 31961.	rustanleino	2009-08-16
*	Removed Output files. These are created on a local machine when the tests ar...	rustanleino	2009-08-07
*	Fixed problem where nullary function with definition had caused a crash.	rustanleino	2009-08-07
*	Removed a temporary file that is created by the test script.	rustanleino	2009-08-06
*	Initial set of files.	mikebarnett	2009-07-15