debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Boogie: Changed Expr.Not to keep swap arguments rather change direction of op...	Rustan Leino	2011-12-12
*	fixed bug in the inlineDepth option for houdini	qadeer	2011-11-23
*	changed the semantics of requires and ensures for inlined procedures	qadeer	2011-11-17
*	added the option /inlineDepth:n. This option defaults to -1. If the user prov...	qadeer	2011-11-13
*	Boogie: Get rid of {:inline} attributes on axioms	Michal Moskal	2011-10-27
*	Remove a testcase for bvInt (feature to be killed soon)	MichalMoskal	2011-02-18
*	Dafny:	rustanleino	2010-09-14
*	Boogie:	rustanleino	2010-02-20
*	Implemented block coalescing invoked right after type checking.	qadeer	2010-02-16
*	Fixed the implementation of inlining to deal with inlining depth properly.	qadeer	2010-01-30
*	Allow ":" in addition to "returns" in function definitions. Make the pretty-p...	MichalMoskal	2009-12-17
*	Fixed bug in inlining (procedure definitions had been traversed by Standard...	rustanleino	2009-11-19
*	Redesigned the encoding of Dafny generics, including the built-in types set a...	rustanleino	2009-11-06
*	Fixed bugs in inlining, and added a test case.	rustanleino	2009-10-14
*	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