debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	Modified translation so that z3 runs with type checking for simple binary ope...	Checkmate50	2015-10-14
*	Began adding the float type to VC expression	Dietrich	2015-04-27
*	Fix nasty bug introduced by commit 61a94f409975.	Dan Liew	2014-07-15
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Boogie: internal clean-up, removed BvHandling type, everything now behaves as...	Rustan Leino	2011-10-27
*	Name the constant used in @MV_state function applications - otherwise we get ...	Michal Moskal	2011-09-26
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ...	tabarbe	2010-08-27
*	Boogie: Removed an incorrect Ensures clause on a void method.	tabarbe	2010-08-27
*	Chase type synonyms in arguments/results of map types when generating name (w...	MichalMoskal	2010-08-18
*	Change Synonym type printing to what it was, use a workaround in TypeToString...	MichalMoskal	2010-08-18
*	Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m us...	MichalMoskal	2010-08-18
*	Boogie: Committing new source code for VCExpr	tabarbe	2010-08-13
*	Boogie: Renaming VCExpr sources in preparation for port commit	tabarbe	2010-08-13