debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Sieve of Eratosthenes, written in Chalice.	rustanleino	2009-10-15
\|
*	- fixed a positioning bug in Parser.scala	jansmans	2009-10-07
\| \| \| \|	- CopyLessMessagePassing-with-ack2.chalice verifies (i.e. separate channel for acknowledgements)
*	- extended to example to use acknowledgements (but uses sending debit)	jansmans	2009-10-07
\|
*	- verified a program inpsired by "Copyless Message Passing" in Chalice	jansmans	2009-10-07
\| \| \| \|	(todo: we should really support sending debit over channel to allow sending with acknowledgements)
*	* 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
*	Initial set of files.	mikebarnett	2009-07-15