debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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