debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	BoogieDriver: correctly display time taken by prover if >60 seconds	Peter Collingbourne	2012-07-30
*	Boogie: formated elapsed time	Jason Koenig	2012-06-28
*	integrating predication	qadeer	2012-06-19
*	testing a fix in SI	qadeer	2012-06-07
*	Merging again	Ken McMillan	2012-06-07
\|\
\| *	Trying to merge with recent changes, failing.	Ken McMillan	2012-06-05
\| \|\
\| \| *	Some changes to support expanded use of z3api.	Ken McMillan	2012-06-05
* \| \|	Boogie: add /printCFG command line option, which prints each implementation's...	Peter Collingbourne	2012-06-06
\|/ /
* \|	Removed program argument from VerifyImplementation. It is redundant since th...	qadeer	2012-05-29
* \|	more refactoring in stratified inlining	qadeer	2012-05-24
* \|	starting the implementation of the new stratified inlining API	qadeer	2012-05-21
* \|	removed lazy inlining	qadeer	2012-04-28
* \|	unsat core for houdini	qadeer	2012-04-27
* \|	houdini cleanup continued	qadeer	2012-03-10
* \|	small fix for a bug I introduced during the refactoring of InferAndVerify	qadeer	2012-03-02
* \|	various refactorings related to houdini	qadeer	2012-03-02
* \|	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
* \|	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