debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	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
\|/
*	fixes to z3api	qadeer	2011-06-24
*	clean up in z3api	qadeer	2011-06-22
*	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
*	Added version.cs as link to those projects that were missing it	stobies	2010-12-06
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Update to VS2010.	MichalMoskal	2010-10-07
*	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
*	Boogie: Changed the cce classes into one separate project, which every other ...	tabarbe	2010-08-27
*	Boogie: Basetypes port 3/3: Committing changed references	tabarbe	2010-08-27
*	Added a (temporary) CCE file so that Z3Api can build.	mikebarnett	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: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp...	tabarbe	2010-08-20
*	Added the port of Z3api. It is simply a port to the latest version of Micros...	qadeer	2010-08-20