debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	bug fixes related to using ControlFlowFunction instead of labels	qadeer	2012-02-23
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	Dafny: changed translation to be sensitive to refinement inheritance; this fe...	Rustan Leino	2012-01-09
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09
*	Merge	Rustan Leino	2011-12-05
\|\
* \|	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
\| *	added more instrumentation to Houdini	qadeer	2011-12-05
\| *	added a mechanism for supplying the list of input bpl files inside a .txt file	qadeer	2011-12-01
\|/
*	added some more statistics to houdini	qadeer	2011-11-24
*	fixed bug in the inlineDepth option for houdini	qadeer	2011-11-23
*	commented calls to GC.Collect()	qadeer	2011-11-18
*	/contractInfer always prints the computed assignment now	qadeer	2011-11-16
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	2011-11-15
*	added the option /inlineDepth:n. This option defaults to -1. If the user prov...	qadeer	2011-11-13
*	moved the addition of selectors and testers to program.Resolve	qadeer	2011-11-11
*	copied all attributes of the constructor (except for :constructor) to the sel...	qadeer	2011-11-09
*	added membership tests	qadeer	2011-10-05
*	implementing datatypes	qadeer	2011-10-05
*	updated Houdini so it works with SMTLib	qadeer	2011-09-27
*	further updates to bit vector analysis	qadeer	2011-08-09
*	various changes to boogie for bitvector analysis and bctprovider	qadeer	2011-08-08
*	further changes for making houdini work	qadeer	2011-08-04
*	cleaned up houdini options	qadeer	2011-08-04
*	Boogie: New cli option -z3exe:"path-to-z3.exe" allowing specifying path to th...	Unknown	2011-07-05
*	Avoid restarting the theorem prover for stratified inlining because it	Unknown	2011-06-25
*	Boogie: added features to help with modular verification. In particular, defi...	Rustan Leino	2011-05-13
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
*	Added a new solution configuration, Checked, that builds the Checked configur...	mikebarnett	2011-03-07
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	2011-02-17
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	The TPTP backend works for some very limited examples	MichalMoskal	2011-01-18
*	Add functions generated in lambda-expansion of function body to top-level pro...	MichalMoskal	2010-12-17
*	Removed superfluous app.config	stobies	2010-12-06
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	two automatically generated app.config that I didn't add earlier.	qadeer	2010-11-27
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Refactoring: pulled out all code for stratified inlining to a new file.	akashlal	2010-11-23
*	Make the -mv option use the new Model class.	MichalMoskal	2010-10-12
*	Get rid of some CCI dependencies in Driver	MichalMoskal	2010-10-07
*	Update to VS2010.	MichalMoskal	2010-10-07
*	Boogie:	rustanleino	2010-09-23
*	Fixed an off-by-one error. Added "ReachedBound" as a valid boogie outcome.	akashlal	2010-09-18
*	Dafny:	rustanleino	2010-09-14
*	Fix for extractLoops	akashlal	2010-09-04
*	Added a fix to extract loops code so that it returns a more comprehensive map...	qadeer	2010-09-03
*	fixed bug in extract loops by ensuring that loop extraction is done in nestin...	qadeer	2010-09-01
*	Added a way of recovering counterexample paths after loop extraction. Stable,...	akashlal	2010-09-01
*	added a new api to Z3apiProcessTheoremProver for asserting axioms	qadeer	2010-08-29
*	created a new build target called z3apidebug.	qadeer	2010-08-29