debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Updated Answer files, in synch with my recent edits 31961.	rustanleino	2009-08-16
*	* Implemented channels	rustanleino	2009-08-16
*	Incorporated Counterexample Visualizer (CEV) information in the generated Boo...	rustanleino	2009-08-15
*	Fixed bug where the remove-empty-blocks optimization had not updated the star...	rustanleino	2009-08-13
*	Changes needed in order to build Boogie using a freshly built Spec# compiler ...	mikebarnett	2009-08-10
*	The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...	mikebarnett	2009-08-09
*	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
*	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