debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	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
*	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
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	2011-02-17
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	Add functions generated in lambda-expansion of function body to top-level pro...	MichalMoskal	2010-12-17
*	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
*	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 way of recovering counterexample paths after loop extraction. Stable,...	akashlal	2010-09-01
*	Boogie: Removed a completed task comment	tabarbe	2010-08-19
*	Added the option /extractLoops to extract loops as procedure calls. If eithe...	qadeer	2010-08-11
*	Boogie: Changed BoogieDriver.cs to use a copy of cce.cs, rather than an inter...	tabarbe	2010-07-30
*	<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...	tabarbe	2010-07-14
*	Renaming the old boogiedriver sources in preparation for syncing my ported ch...	tabarbe	2010-07-13
*	These 2 files are remnants of attempting the earlier planned method of renami...	tabarbe	2010-07-01
*	I am working to port Boogie from Spec# to C#. As part of this process, I nee...	tabarbe	2010-06-30