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
\|
*	various fixes to port to latest version of Microsoft.Z3.dll	qadeer	2011-06-22
\|
*	Better support for timeout	akashlal	2011-02-12
\|
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
\|
*	z3api: Bug fix with timeout. Use CheckAssumptions.	akashlal	2010-12-07
\|
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
\|
*	z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)	akashlal	2010-11-29
\|
*	Added CheckAssumptions api interface	akashlal	2010-11-28
\|
*	changed the procedure Check so that the conflict clause is blocked only when ↵	qadeer	2010-11-27
\| \| \| \|	more than one counterexample is needed.
*	Some changes to the prover interface to make way for z3-api.	akashlal	2010-11-24
\|
*	bunch of fixes related to Boogie error model generation from the Z3 error ↵	qadeer	2010-09-03
\| \| \| \|	model generation
*	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 and logging for z3api	akashlal	2010-08-27
\|
*	added some more apis to Z3api	qadeer	2010-08-27
\| \| \| \|	also added a reference from BoogieDriver to z3api
*	simplified the push-pop business	qadeer	2010-08-27
\|
*	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.