debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Chalice:	rustanleino	2010-06-25
\| \| \| \| \|	* renamed keyword "maxlock" to "waitlevel" * added -vs switch, for I/O suitable for VS integration
*	Implicitly declare as local variables undeclared variables occurring as ↵	rustanleino	2009-10-16
\| \| \| \|	LHS's of CALL and RECEIVE statements (as was already done for FORK statements).
*	Initial set of files.	mikebarnett	2009-07-15