debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	VS2010 mode for Dafny and Boogie: updated, for example to properly deal with...	rustanleino	2010-09-01
*	Boogie build succeeded	codeplexbot	2010-08-31
*	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: Adding an autobuild and regression cmd file for Boogie and Dafny - Cl...	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
*	Addint ignore file for GIT	stobies	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
*	simplified the push-pop business	qadeer	2010-08-27
*	minor error	qadeer	2010-08-27
*	Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...	tabarbe	2010-08-27
*	Boogie: Graph port 2/3: Committing new source file, deleting old one	tabarbe	2010-08-27
*	Boogie: Graph port 1/3: Committing new sources	tabarbe	2010-08-27
*	Boogie: Renaming the Graph files in preparation for the commit of my port.	tabarbe	2010-08-27
*	Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...	tabarbe	2010-08-26
*	Boogie: AIFramework port part 2/3: Committing needed source file, deleting un...	tabarbe	2010-08-26
*	Boogie: AIFramework port part 1/3: Committing new sources.	tabarbe	2010-08-26
*	Boogie: Renaming the AIFramework sources in preparation for committal of my p...	tabarbe	2010-08-26
*	Minor additions to z3api	akashlal	2010-08-26
*	bug fixes in z3api	qadeer	2010-08-26
*	Boogie build failed	codeplexbot	2010-08-25
*	fixed z3api so that it works on small examples now.	qadeer	2010-08-24
*	Boogie build failed	codeplexbot	2010-08-24
*	Chalice: working out mask transfers between concrete and abstract heaps -- ne...	kyessenov	2010-08-24
*	Chalice:	kyessenov	2010-08-24
*	Chalice: exhale spec statement post condition in refinement block translation...	kyessenov	2010-08-23
*	Chalice: copy concrete values for every permission in coupling invariants of ...	kyessenov	2010-08-23
*	Report a bug in Z3 instead of evil input "?"	kyessenov	2010-08-23
*	Added a short description of new flags added to Boogie.	akashlal	2010-08-23
*	Disabled an expensive contract check. Instead, only check things that are act...	akashlal	2010-08-23
*	Chalice:	kyessenov	2010-08-23