debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	bug fix in live variable analysis	qadeer	2011-06-14
\|
*	fixed a bug in block coalescer. previously, an unreachable block could have ↵	qadeer	2011-05-04
\| \| \| \|	as a target a block that was coalesced. this caused a contract to fail downstream (under checked build). in the new behavior, the new blocks after coalescing only contain reachable blocks.
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to ↵	mikebarnett	2011-03-10
\| \| \| \| \| \|	dictionaries are non-null, which is enforced by the implementation of Dictionary. Added class constraints to all of the generic NonNull and NonNullElements methods so only non-value types will be checked.
*	A couple of bug fixes	akashlal	2010-12-16
\|
*	fixed a couple of issues:	qadeer	2010-12-16
\| \| \| \| \|	1. eliminated special case for alloc 2. added iteration over out parameters in VisitCallCmd
*	Changed the behavior of /doModSetAnalysis so that	qadeer	2010-12-15
\| \| \| \| \|	(1) Boogie errors due to modifies clause mismatch are suppressed (2) modset analysis is performed and modifies clauses of procedures with implementations are updated
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
\|
*	Get rid of some CCI dependencies in Driver	MichalMoskal	2010-10-07
\|
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ↵	tabarbe	2010-08-27
\| \| \| \|	fewer error messages when compiling with runtime checking on.
*	Boogie: Committing changed source files	tabarbe	2010-08-20
\|
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20