debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Updated Answer files, in synch with my recent edits 31961.	rustanleino	2009-08-16
\|
*	* Implemented channels	rustanleino	2009-08-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- channel declarations - send and receive statements - bounds clause for new, to accommodate channels - Added ProdConsChannel.chalice test case - Resolve and Translate (but no Compile yet) - Added Credits to global state in encoding (this caused changes to lots of source lines) * Simplified meaning of maxlock==E * Various parser improvements * Added alternative syntax for eval statements * Some renamings in error messages (e.g., install -> reorder) * Added preliminary parsing for condition variables and their wait and signal operations * Added new keywords to Chalice emacs mode
*	Incorporated Counterexample Visualizer (CEV) information in the generated ↵	rustanleino	2009-08-15
\| \| \| \|	Boogie.
*	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