debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	further updates to bit vector analysis	qadeer	2011-08-09
*	various changes to boogie for bitvector analysis and bctprovider	qadeer	2011-08-08
*	cleaned up houdini options	qadeer	2011-08-04
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...	wuestholz	2011-07-15
*	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
*	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
*	implementation of iterative LetVC	qadeer	2011-06-23
*	Boogie: added features to help with modular verification. In particular, defi...	Rustan Leino	2011-05-13
*	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
*	new algorithm for dead code detection (vc:doomed)	schaef	2011-03-15
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Fix help for /mv	MichalMoskal	2011-02-18
*	Provide /p: as the short form of /proverOpt:.	MichalMoskal	2011-02-17
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	2011-02-17
*	Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...	MichalMoskal	2011-02-11
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	Add description of {:selective_checking} to the /attrHelp. Fix the testcase.	MichalMoskal	2011-01-13
*	z3api: Bug fix with timeout. Use CheckAssumptions.	akashlal	2010-12-07
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Make the -mv option use the new Model class.	MichalMoskal	2010-10-12
*	Boogie:	rustanleino	2010-09-23
*	Some simplifications to coverage reporting for StratifiedInlining.	akashlal	2010-09-19
*	Dafny: added a command-line option to change the prelude file	sboehme	2010-08-30
*	Added a short description of new flags added to Boogie.	akashlal	2010-08-23
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20