debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	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
*	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
*	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
*	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
*	Bug fixes and logging for z3api	akashlal	2010-08-27
*	added some more apis to Z3api	qadeer	2010-08-27
*	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 Micros...	qadeer	2010-08-20