debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Get rid of some CCI dependencies in Driver	MichalMoskal	2010-10-07
*	Update to VS2010.	MichalMoskal	2010-10-07
*	Minor fix to recursion depth in stratified inlining algorithm.	akashlal	2010-10-02
*	Boogie:	rustanleino	2010-09-24
*	Boogie:	rustanleino	2010-09-23
*	Dafny: Compilation of multi-dimensional arrays	rustanleino	2010-09-21
*	Some simplifications to coverage reporting for StratifiedInlining.	akashlal	2010-09-19
*	Fixed an off-by-one error. Added "ReachedBound" as a valid boogie outcome.	akashlal	2010-09-18
*	Dafny:	rustanleino	2010-09-17
*	Added more stat printing	akashlal	2010-09-16
*	Dafny:	rustanleino	2010-09-14
*	added an optimization to extract loops so that only loop targets are treated ...	qadeer	2010-09-10
*	Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...	akashlal	2010-09-05
*	Delete unreachable Blocks of an Impl before calling ExtractLoops().	akashlal	2010-09-05
*	Fixed a performance issue with StratifiedInlining	akashlal	2010-09-05
*	Fix for extractLoops	akashlal	2010-09-04
*	Henrique's addition to the the ErrorHandler API to retrieve models	qadeer	2010-09-03
*	more fixes to ExtractLoops	qadeer	2010-09-03
*	Added a fix to extract loops code so that it returns a more comprehensive map...	qadeer	2010-09-03
*	Changed the interface of Parse so that it can consume a program from a Stream	akashlal	2010-09-03
*	bunch of fixes related to Boogie error model generation from the Z3 error mod...	qadeer	2010-09-03
*	Bug fix for StratifiedInlining. Use extra Booleans to model procedure calls, ...	akashlal	2010-09-02
*	fixed bug in extract loops by ensuring that loop extraction is done in nestin...	qadeer	2010-09-01
*	Minor fix to my previous commit	akashlal	2010-09-01
*	Added a way of recovering counterexample paths after loop extraction. Stable,...	akashlal	2010-09-01
*	Version-stamp CCE assembly	stobies	2010-09-01
*	Added a new class LoopProcedure to represent the procedures representing extr...	qadeer	2010-09-01
*	Dafny: added a command-line option to change the prelude file	sboehme	2010-08-30
*	added a new api to Z3apiProcessTheoremProver for asserting axioms	qadeer	2010-08-29
*	created a new build target called z3apidebug.	qadeer	2010-08-29
*	BeginCheck now adds context.Axioms as well as the conjecture to the context.	qadeer	2010-08-29
*	Added a constructor to a contract class otherwise the compiler complained abo...	mikebarnett	2010-08-28
*	Boogie: Accidentally created a service references folder in Boogie's folder t...	tabarbe	2010-08-27
*	Boogie: Simplify: Added a contracts class that I forgot in the initial porting.	tabarbe	2010-08-27
*	Dafny: fallback to ShallowType (elements of IndexField arrays seem to have Ty...	sboehme	2010-08-27
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ...	tabarbe	2010-08-27
*	Boogie: Removed some errors with code contracts (commenting out doubly-inheri...	tabarbe	2010-08-27
*	Dafny: added inlined functions making reads and updates of the heap explicit	sboehme	2010-08-27
*	Boogie: Removed an incorrect Ensures clause on a void method.	tabarbe	2010-08-27
*	fixed bug with function name look up	qadeer	2010-08-27
*	Boogie: Changed the cce classes into one separate project, which every other ...	tabarbe	2010-08-27
*	Boogie: Added Z3api to the build configuration.	tabarbe	2010-08-27
*	Boogie: Changed a messed-up refference to Z3api back to its previous state.	tabarbe	2010-08-27
*	Boogie: Basetypes port 3/3: Committing changed references	tabarbe	2010-08-27
*	Boogie: Basetypes port 2/3: Committing new source file, deleting old one	tabarbe	2010-08-27
*	Boogie: Basetypes port 1/3: Committing new sources	tabarbe	2010-08-27
*	Boogie: Renaming the Basetypes sources in preparation for my port commit.	tabarbe	2010-08-27
*	Bug fixes and logging for z3api	akashlal	2010-08-27
*	added some more apis to Z3api	qadeer	2010-08-27
*	Added a (temporary) CCE file so that Z3Api can build.	mikebarnett	2010-08-27