debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fixed bug where the remove-empty-blocks optimization had not updated the ↵	rustanleino	2009-08-13
\| \| \| \|	start block. Now it does. After the remove-empty-blocks optimization, the only possibly empty block is the start block. That is, the optimization does not change the name of the start block.
*	Changes needed in order to build Boogie using a freshly built Spec# compiler ↵	mikebarnett	2009-08-10
\| \| \| \|	and not just the LKG.
*	The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based ↵	mikebarnett	2009-08-09
\| \| \| \|	bytecode translator.
*	Removed Output files. These are created on a local machine when the tests ↵	rustanleino	2009-08-07
\| \| \| \|	are run.
*	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
\|
*	Made Makefile DOS friendly.	rustanleino	2009-08-06
\|
*	Fixed bug that used != instead of == in one translation of fresh.	rustanleino	2009-08-06
\|
*	Parse channels and condition variables.	rustanleino	2009-08-05
\|
*	Made trigger more liberal for int_2_U U_2_int axiom.	rustanleino	2009-07-30
\|
*	Deleting another stray file.	mikebarnett	2009-07-15
\|
*	Deleting the individual user options files.	mikebarnett	2009-07-15
\|
*	Initial set of files.	mikebarnett	2009-07-15