debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"	Dan Rosén	2014-06-24
*	Fixed crash in resolver	Rustan Leino	2014-06-19
*	Removed old test infrastructure files except for	Dan Liew	2014-05-28
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
*	Converted test0/Arrays1.bpl test to OutputCheck style test.	Dan Liew	2014-05-12
*	Remove old python testing scripts	Dan Liew	2014-05-11
*	Enabled most of the name resolution lit tests. They don't all pass	Dan Liew	2014-05-05
*	disabled quantifier merging, except when no triggers are provided (as discuss...	Unknown	2014-03-03
*	cleaned up the OG code	qadeer	2013-08-07
*	added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...	Pantazis Deligiannis	2013-07-07
*	removed call forall and * args to calls	Unknown	2013-02-23
*	Allow attributes on procedure formals, function formals, and bound variables	Unknown	2013-01-07
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Boogie: new syntax for integer division and modulus: use div and mod instead ...	boehmes	2012-09-27
*	Boogie: Simplified (and liberalized) parsing of string literals as attribute ...	Unknown	2012-03-12
*	Boogie: added features to help with modular verification. In particular, defi...	Rustan Leino	2011-05-13
*	Changed label checking for goto targets in StmtList so that they can be any l...	qadeer	2011-04-21
*	Boogie:	rustanleino	2010-10-26
*	Updated the frame files to work with the latest Coco/R. This entails not ha...	mikebarnett	2010-06-22
*	Allow ":" in addition to "returns" in function definitions. Make the pretty-p...	MichalMoskal	2009-12-17
*	Removed Output files. These are created on a local machine when the tests ar...	rustanleino	2009-08-07
*	Initial set of files.	mikebarnett	2009-07-15