debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	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
* \|	eliminated class ErrorModel	qadeer	2012-04-28
\|/
*	further refactoring	qadeer	2011-06-24
*	fixes to z3api	qadeer	2011-06-24
*	clean up in z3api	qadeer	2011-06-22
*	various fixes to port to latest version of Microsoft.Z3.dll	qadeer	2011-06-22
*	Fixed a tricky bug in z3api	akashlal	2011-03-18
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	added a fix for a bug in the Evaluate function.	qadeer	2010-11-27
*	changed the procedure Check so that the conflict clause is blocked only when ...	qadeer	2010-11-27
*	bunch of fixes related to Boogie error model generation from the Z3 error mod...	qadeer	2010-09-03
*	BeginCheck now adds context.Axioms as well as the conjecture to the context.	qadeer	2010-08-29
*	bug fixes in z3api	qadeer	2010-08-26
*	fixed z3api so that it works on small examples now.	qadeer	2010-08-24
*	further fixes to Z3api project trying to make it work; still a long way off.	qadeer	2010-08-23
*	Added the port of Z3api. It is simply a port to the latest version of Micros...	qadeer	2010-08-20