debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Try to fix the "out-of-the-box" build of Boogie under Visual Studio. It turns	Dan Liew	2015-01-29
*	Minor changes to the "Checked" build configuration	wuestholz	2015-01-09
*	Updated to Staged Houdini	Ally Donaldson	2015-01-08
*	Introduce unit tests which use NUnit. NUnit is now a dependency	Dan Liew	2014-11-17
*	Merge	qadeer	2014-07-15
*	fixed some tests in og	qadeer	2014-07-11
*	added the QED build configuration	qadeer	2013-12-02
*	factored the concurrency checking code into a separate project	qadeer	2013-11-22
*	Split up the model viewer into a library and an application and added some fu...	wuestholz	2013-07-14
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
*	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
\|/
*	moved GPUVerify into its own solution	qadeer	2011-11-08
*	Fixed test failures in the "Checked" configuration.	wuestholz	2011-09-19
*	Added GPUVerify project	Unknown	2011-09-02
*	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03
*	release build should not have z3api being built	Unknown	2011-07-28
*	Added a new solution configuration, Checked, that builds the Checked configur...	mikebarnett	2011-03-07
*	Copy SMTLib "prover" as a basis for TPTP "prover".	MichalMoskal	2011-01-18
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12
*	Starting work on Boogie Model Viewer.	MichalMoskal	2010-10-12
*	Update to VS2010.	MichalMoskal	2010-10-07
*	created a new build target called z3apidebug.	qadeer	2010-08-29
*	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: Basetypes port 3/3: Committing changed references	tabarbe	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
*	Boogie: Committing changed references	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: Committing changed references	tabarbe	2010-08-13
*	Also build Boogie and Dafny projects in 32-bit configurations.	rustanleino	2010-07-30
*	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: Committing ported version of Z3.	tabarbe	2010-07-20
*	Boogie: I have successfully ported the AbsInt project. It passes all regress...	tabarbe	2010-07-16
*	Boogie/Isabelle: Committing Isabelle port	tabarbe	2010-07-14
*	<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...	tabarbe	2010-07-14
*	Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...	akashlal	2010-07-07
*	Added prover plugin for Isabelle/HOL.	sboehme	2009-12-14
*	Initial set of files.	mikebarnett	2009-07-15