debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Bug fix in stratified inlining (triggered by {:inline} functions)	akashlal	2013-10-21
*	fixed the problem with codexprs	qadeer	2013-09-07
*	When a codeexpr is used at the top-level in an assume statement, we use the a...	qadeer	2013-09-04
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...	Ally Donaldson	2013-07-22
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	various cleanup regarding /doNotUseLabels	qadeer	2012-02-28
*	bug fixes related to using ControlFlowFunction instead of labels	qadeer	2012-02-23
*	using model instead of labels	Unknown	2012-02-23
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09
*	Added lazy summary computation to stratified inlining (not finished yet)	akashlal	2011-11-20
*	LetVC can get null label2absy from lazy inlining. So, I weakened the precond...	qadeer	2011-05-03
*	modified letvc generation so that the use of control flow function and labels...	qadeer	2011-04-15
*	added reachability information to the VC and used that to support arbitrary a...	Unknown	2011-04-14
*	Boogie:	rustanleino	2010-09-23
*	Boogie: Added boolean code expressions (sans well-formedness checks on the in...	rustanleino	2010-08-10
*	Boogie: VCGeneration port part 1/3: Replacing old source files with ported ve...	tabarbe	2010-07-28
*	Boogie\VCGeneration: Renaming sources in preparation for my addition of the p...	tabarbe	2010-07-28