debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	various updates	qadeer	2013-12-09
*	changed the output path for the QED build configuration to the Binaries folder	qadeer	2013-12-08
*	added the QED build configuration	qadeer	2013-12-02
*	CVC4 Parser	pantazis	2013-06-12
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Output to Boogie\Binaries even in the Release version	Unknown	2013-01-25
*	bunch of refactorings	Unknown	2012-10-03
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Removed abandoned Isabelle prover backend	boehmes	2012-09-27
*	testing a fix in SI	qadeer	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
* \|	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
\|/
*	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
*	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
*	The TPTP backend works for some very limited examples	MichalMoskal	2011-01-18
*	Removed superfluous app.config	stobies	2010-12-06
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Get rid of some CCI dependencies in Driver	MichalMoskal	2010-10-07
*	Update to VS2010.	MichalMoskal	2010-10-07
*	Added a fix to extract loops code so that it returns a more comprehensive map...	qadeer	2010-09-03
*	fixed bug in extract loops by ensuring that loop extraction is done in nestin...	qadeer	2010-09-01
*	added a new api to Z3apiProcessTheoremProver for asserting axioms	qadeer	2010-08-29
*	created a new build target called z3apidebug.	qadeer	2010-08-29
*	Boogie: Accidentally created a service references folder in Boogie's folder t...	tabarbe	2010-08-27
*	Boogie: Removed some errors with code contracts (commenting out doubly-inheri...	tabarbe	2010-08-27
*	Boogie: Changed the cce classes into one separate project, which every other ...	tabarbe	2010-08-27
*	Boogie: Changed a messed-up refference to Z3api back to its previous state.	tabarbe	2010-08-27
*	added some more apis to Z3api	qadeer	2010-08-27
*	Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...	tabarbe	2010-08-27
*	Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...	tabarbe	2010-08-26
*	further fixes to Z3api project trying to make it work; still a long way off.	qadeer	2010-08-23
*	Boogie: Committing changed references	tabarbe	2010-08-20
*	Boogie: Committing changed references	tabarbe	2010-08-13
*	fixed path to the binaries directory; there was an extra .."	qadeer	2010-08-03
*	Boogie: Changed BoogieDriver.cs to use a copy of cce.cs, rather than an inter...	tabarbe	2010-07-30
*	Made consistent the way all of the C# projects sign themselves and include th...	mikebarnett	2010-07-30
*	Changed reference to AbsInt from a dll reference to a project reference.	mikebarnett	2010-07-28
*	Boogie: VCGeneration port part 3/3: Updating sources to reference new project...	tabarbe	2010-07-28
*	Boogie: Committing my port of simplify, along with the slightly changed refer...	tabarbe	2010-07-23
*	Boogie: Committing my port of the SMTLib project	tabarbe	2010-07-22
*	Boogie: Repaired a reentrancy error in Z3/Simplify.	tabarbe	2010-07-22
*	Boogie: The reference to Z3 was dropped during the commit. Here it is back.	tabarbe	2010-07-20