debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	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
*	fixed z3api so that it works on small examples now.	qadeer	2010-08-24
*	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
*	further fixes to Z3api project trying to make it work; still a long way off.	qadeer	2010-08-23
*	Fixed external references to other projects in the solution.	mikebarnett	2010-08-23
*	Boogie: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp...	tabarbe	2010-08-20
*	Boogie: Committing changed references	tabarbe	2010-08-20
*	Boogie: Adding required source file, deleting no-longer-necessarry one	tabarbe	2010-08-20
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20
*	Added the port of Z3api. It is simply a port to the latest version of Micros...	qadeer	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Added user option for bounding inlining depth	akashlal	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed a few contracts errors	tabarbe	2010-08-19
*	Boogie: Removed and completed a task comment	tabarbe	2010-08-19
*	Boogie: Removed and completed a task comment	tabarbe	2010-08-19
*	Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...	tabarbe	2010-08-19
*	Boogie: Removed a completed task comment	tabarbe	2010-08-19
*	Boogie: Removed a completed task comment	tabarbe	2010-08-19
*	Boogie: Removed an old task comment	tabarbe	2010-08-19
*	Added recursion-bound-guided search for stratified inlining	akashlal	2010-08-19