debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	LetVC can get null label2absy from lazy inlining. So, I weakened the ↵	qadeer	2011-05-03
\| \| \| \|	precondition otherwise the checked build was failing
*	modified letvc generation so that the use of control flow function and ↵	qadeer	2011-04-15
\| \| \| \|	labels is decoupled. Former is controled by controlFlowVariable and the latter by label2Absy.
*	added reachability information to the VC and used that to support arbitrary ↵	Unknown	2011-04-14
\| \| \| \|	asserts in lazy inlining
*	Boogie:	rustanleino	2010-09-23
\| \| \| \| \| \|	* Added /mv flag as the start of a Boogie replacement for /cev * Allow attributes on assume statements * /mv looks for the assume-statement attribute :captureState with a string-literal argument
*	Boogie: Added boolean code expressions (sans well-formedness checks on the ↵	rustanleino	2010-08-10
\| \| \| \|	input).
*	Boogie: VCGeneration port part 1/3: Replacing old source files with ported ↵	tabarbe	2010-07-28
\| \| \| \|	version
*	Boogie\VCGeneration: Renaming sources in preparation for my addition of the ↵	tabarbe	2010-07-28
	ported C# version