debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fixed struct copy constructor implementation.	Mike Barnett	2012-01-10
*	Changed name mangling (again) to avoid name clashes.	Mike Barnett	2011-08-04
*	Fix in the assertion injector for putting the output on top of the input	Mike Barnett	2011-08-01
*	Added bitwise operations.	Mike Barnett	2011-05-31
*	Lots of small bug fixes: conversions, overloaded operations on real numbers.	Mike Barnett	2011-05-31
*	The decompilation is not guaranteed to get rid of all push statements and pop	Mike Barnett	2011-04-29
*	Model newly constructed structs as a constant DefaultStruct that has axioms that	Unknown	2011-04-27
*	Trying to get structs supported.	Unknown	2011-04-27
*	Fixed many bugs.	mikebarnett	2011-03-01
*	Fix the generation of procedure names so that array types are encoded properly.	mikebarnett	2011-01-26
*	Added a better options parsing by using functionality from MemberHelper.	mikebarnett	2011-01-21
*	1. Converted assume to assert for the source info	qadeer	2010-12-21
*	Translate boolean types into Bpl.Type.Bool.	mikebarnett	2010-12-20
*	Added a new option for splitting fields	qadeer	2010-12-15
*	Fixed declaration of procedures from static methods so that they don't have t...	mikebarnett	2010-12-14
*	Translate calls to static methods.	mikebarnett	2010-12-14
*	Translate object creation expressions.	mikebarnett	2010-12-14
*	Cleaned up the sink: removed the OutVars, which was state the sink needed onl...	mikebarnett	2010-07-05
*	Added the factory pattern so that all traversers are created through factory ...	mikebarnett	2010-06-16