debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Add support for assumption variables.	wuestholz	2014-04-21
*	Changed the prover interface to report traces for time outs and out of memory.	wuestholz	2013-05-30
*	removed call forall and * args to calls	Unknown	2013-02-23
*	Boogie: Fixed a crash due to old expressions in lambda expressions that were ...	wuestholz	2011-12-02
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27
*	Added "free call" statements that don't check the precondition in the caller.	wuestholz	2011-09-14
*	Add new feature: {:selective_checking} on procedures. See testcase for a desc...	MichalMoskal	2010-12-17
*	Change Synonym type printing to what it was, use a workaround in TypeToString...	MichalMoskal	2010-08-18
*	Boogie:	rustanleino	2010-02-20
*	Fix up the polymorphic case for lambda; it probably still isn't quite correct.	MichalMoskal	2010-02-19
*	Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...	MichalMoskal	2010-02-19
*	Implement if-then-else expression.	MichalMoskal	2010-02-18
*	Initial set of files.	mikebarnett	2009-07-15