debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	fixed problems with datatypes	qadeer	2011-12-29
\| \| \| \| \|	removed stale contracts in stratified inlining added test to datatypes
*	deleted some commented code	qadeer	2011-12-28
\|
*	refactored AssertionInjector so that it works directly on bpl files as well	qadeer	2011-12-26
\|
*	Fixed bug when getting last source context in a method body.	Mike Barnett	2011-12-06
\|
*	Better message when an error happens.	Mike Barnett	2011-08-15
\| \| \| \| \|	AssertionInjector: Check for invalid source locations (FeeFee) so they don't confuse the injection.
*	Added references to the AssertionInjector project so it can build again.	Mike Barnett	2011-08-11
\|
*	(BCT) BREAKING CHANGE	t-espave	2011-08-11
\| \| \| \|	BCT now links to CCI in CodeBox, get the CodeBox tree into C:\CCICodeBox
*	Added option "getMeHere" so that calls to GetMeHere.Assert(e) become "assert e"	Mike Barnett	2011-08-06
\| \| \| \| \| \| \|	(which really could be done just by defining it that way in an assembly either via a contract or else by inlining it). But more importantly the option causes all assertions to be translated as assumptions. Still to do: postconditions should be translated as "free ensures".
*	Fix in the assertion injector for putting the output on top of the input	Mike Barnett	2011-08-01
\| \| \| \| \| \|	assembly. Fix in the Sink so that the consolidated index of a type parameter is computed correctly.
*	New project to support "Get Me Here": an assertion injector that puts into a	Mike Barnett	2011-07-27
	binary a call to "Contract.Assert(false)".