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.
*	eliminated class ErrorModel	qadeer	2012-04-28
\|
*	bug fix	qadeer	2012-02-29
\|
*	small changes to z3api to make it compile after the z3 project was ripped out	qadeer	2012-02-29
\| \| \| \|	added CheckOutcomeCore to the class that extends ProverInterface; should be checked
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored ↵	Rustan Leino	2011-11-15
\| \| \| \|	CommandLineOptions to separate the options that belong to these 3 tools.
*	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
\|
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
\|
*	Use a made-up name when Context.Lookup() cannot find a name	MichalMoskal	2010-12-10
\|
*	Don't crash in Context.Lookup when the namer has never seen the name. This ↵	MichalMoskal	2010-12-10
\| \| \| \|	happens when the name is never used in the VC (e.g. it gets peep-hole optimized).
*	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
\|
*	Added CheckAssumptions api interface	akashlal	2010-11-28
\|
*	Some changes to the prover interface to make way for z3-api.	akashlal	2010-11-24
\|
*	added a new api to Z3apiProcessTheoremProver for asserting axioms	qadeer	2010-08-29
\|
*	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
\|
*	Minor additions to z3api	akashlal	2010-08-26
\|
*	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.