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
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	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
* \|	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
* \|	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
\|/
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	2011-11-15
*	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
*	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
*	Better support for timeout	akashlal	2011-02-12
*	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 ha...	MichalMoskal	2010-12-10
*	z3api: Bug fix with timeout. Use CheckAssumptions.	akashlal	2010-12-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
*	z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)	akashlal	2010-11-29
*	Added CheckAssumptions api interface	akashlal	2010-11-28
*	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
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Some changes to the prover interface to make way for z3-api.	akashlal	2010-11-24
*	Update to VS2010.	MichalMoskal	2010-10-07
*	bunch of fixes related to Boogie error model generation from the Z3 error mod...	qadeer	2010-09-03
*	added a new api to Z3apiProcessTheoremProver for asserting axioms	qadeer	2010-08-29
*	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
*	fixed bug with function name look up	qadeer	2010-08-27
*	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
*	Bug fixes and logging for z3api	akashlal	2010-08-27
*	added some more apis to Z3api	qadeer	2010-08-27
*	Added a (temporary) CCE file so that Z3Api can build.	mikebarnett	2010-08-27
*	simplified the push-pop business	qadeer	2010-08-27
*	Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...	tabarbe	2010-08-26
*	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
*	Boogie: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp...	tabarbe	2010-08-20