debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	Enabled VC Generation lit tests.	Dan Liew	2014-05-07
\|
*	Changed all lambda-expression rewriting to be done as a pre-processing step ↵	Rustan Leino	2014-02-28
\| \| \| \| \| \|	before real verification. Fixed treatment of lambda-expression attributes.
*	Fix a bug in cloning of nested lambda expressions in AI engine	MichalMoskal	2011-02-11
\|
*	Fix up the polymorphic case for lambda; it probably still isn't quite correct.	MichalMoskal	2010-02-19
\|
*	Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda ↵	MichalMoskal	2010-02-19
	expressions; they might not yet fully work for polymorphic maps.