debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie: Added new abstract interpretation harness, which uses native Boogie ↵	Rustan Leino	2011-12-05
\| \| \| \| \| \| \| \|	Expr's, not the more abstract AIExpr's. Boogie: Added Trivial Domain (/infer:t), which just detects assume/assert false. Boogie: Added new Interval Domain (/infer:j), which is stronger than the /infer:i intervals (because the also include preconditions, booleans, and more constraints) and may also be more efficient than previous intervals Boogie: Mark all inferred conditions with attribute {:inferred}
*	Expose ToByteArray()	MichalMoskal	2011-02-18
\|
*	Get rid of F# dependencies - use System.Numerics and a custom Rational ↵	MichalMoskal	2010-12-02
\| \| \| \|	structure instead
*	Boogie:	rustanleino	2010-10-12
\| \| \| \| \| \|	* enhanced the printing of captured states * addressed some warnings issued by VS 2010 * some code formatting
*	Boogie: Basetypes port 1/3: Committing new sources	tabarbe	2010-08-27
\|
*	Boogie: Renaming the Basetypes sources in preparation for my port commit.	tabarbe	2010-08-27