debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...	wuestholz	2011-07-15
*	async call return value is either int or bv32	qadeer	2011-07-09
*	ExtractLoops calls the same code for eliminating unreachable blocks that norm...	qadeer	2011-07-05
*	Merge	Michal Moskal	2011-07-05
\|\
\| *	Boogie: New cli option -z3exe:"path-to-z3.exe" allowing specifying path to th...	Unknown	2011-07-05
\| *	Added the /noCheating option. (treats assume as assert and drops free.)	Jason Koenig	2011-07-01
* \|	Allow : instead of = in options	Michal Moskal	2011-06-30
\| *	Added option to force Dafny compilation, even if verification fails.	Jason Koenig	2011-06-30
\|/
*	Avoid restarting the theorem prover for stratified inlining because it	Unknown	2011-06-25
*	early clearing of live variables and incarnation maps	qadeer	2011-06-24
*	implementation of iterative LetVC	qadeer	2011-06-23
*	bug fix in live variable analysis	qadeer	2011-06-14
*	Boogie: white-space formating	Rustan Leino	2011-06-05
*	close the file stream opened by the parser	Unknown	2011-05-19
*	convert assert to requires	qadeer	2011-05-16
*	Boogie: added features to help with modular verification. In particular, defi...	Rustan Leino	2011-05-13
*	fixed a bug in block coalescer. previously, an unreachable block could have a...	qadeer	2011-05-04
*	fixed a bug in ComputeAllLabels	qadeer	2011-04-27
*	Changed label checking for goto targets in StmtList so that they can be any l...	qadeer	2011-04-21
*	boogie.exe: allow to reset the command line options so we can re-use the boog...	stobies	2011-04-01
*	Minor fixes	schaef	2011-03-27
*	Dafny: compile quantifiers	rustanleino	2011-03-26
*	Made CallCmd.callee public for easy manipulation of un-resolved programs	akashlal	2011-03-21
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
*	new algorithm for dead code detection (vc:doomed)	schaef	2011-03-15
*	Add labels to extracted procedures for loops	akashlal	2011-03-14
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
*	Replaced all dictionaries that mapped to bool (i.e., were being used to imple...	mikebarnett	2011-03-10
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	Added a new solution configuration, Checked, that builds the Checked configur...	mikebarnett	2011-03-07
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Add IEnumerable.Concat1 method.	MichalMoskal	2011-02-23
*	Fix help for /mv	MichalMoskal	2011-02-18
*	Boogie: Fixed problem with binding power of .[.] versus type coercions in pre...	rustanleino	2011-02-17
*	Provide /p: as the short form of /proverOpt:.	MichalMoskal	2011-02-17
*	Add IEnumerable.Iter	MichalMoskal	2011-02-17
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	2011-02-17
*	Add some extension methods to IEnumberable<T>	MichalMoskal	2011-02-15
*	Fix a bug in cloning of nested lambda expressions in AI engine	MichalMoskal	2011-02-11
*	Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...	MichalMoskal	2011-02-11
*	Get rid of some warnings.	MichalMoskal	2011-02-11
*	Changed the API for Declaration.AddAttribute so it takes a params argument so...	mikebarnett	2011-02-09
*	Added a new method StratifiedVC for refinement.	akashlal	2011-02-08
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	Boogie: Eliminated a couple of warnings by removing unused variable declarati...	wuestholz	2011-01-21
*	Add description of {:selective_checking} to the /attrHelp. Fix the testcase.	MichalMoskal	2011-01-13
*	fixed a small bug in inline code	qadeer	2010-12-20
*	A couple of bug fixes	akashlal	2010-12-16
*	fixed a couple of issues:	qadeer	2010-12-16