debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	clean up in z3api	qadeer	2011-06-22
\|
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
\|
*	changed the procedure Check so that the conflict clause is blocked only when ↵	qadeer	2010-11-27
\| \| \| \|	more than one counterexample is needed.
*	BeginCheck now adds context.Axioms as well as the conjecture to the context.	qadeer	2010-08-29
\| \| \| \|	Also started using the new quantifier api.
*	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 ↵	qadeer	2010-08-20
	Microsoft.Z3.dll and to C#. It does not work yet.