debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fixed/improved the handling of conditional expressions.	Mike Barnett	2011-05-31
*	Added bitwise operations.	Mike Barnett	2011-05-31
*	Lots of small bug fixes: conversions, overloaded operations on real numbers.	Mike Barnett	2011-05-31
*	Don't translate method contracts until method information (parameter map, etc.)	Mike Barnett	2011-05-30
*	Handle more conversions.	Mike Barnett	2011-05-29
*	Fixed struct ctors so that they don't return the "this" value, but just	Mike Barnett	2011-05-29
*	Fixes for a bunch of different bugs. Translate default value for doubles,	Mike Barnett	2011-05-29
*	Removed the method DefaultValue from the sink: if a default value of a type	Mike Barnett	2011-05-29
*	When translating the "thisArgument" of a method call, if it translates to an	Mike Barnett	2011-05-29
*	Fix translation for field dereference when the type of the field is a struct.	Mike Barnett	2011-05-28
*	Translate assignments to parameters that are of a struct type correctly. Note	Mike Barnett	2011-05-28
*	Translate assignments of structs as a call to a (default) copy constructor	Mike Barnett	2011-05-27
*	Merge	Mike Barnett	2011-05-26
\|\
* \|	Beginning of representing structs as values on the heap, but without object	Mike Barnett	2011-05-26
\| *	merge	Sam Blackshear	2011-05-24
\| \|\ \| \|/ \|/\|
\| *	New example to demonstrate exception support that would be convenient for Boo...	Sam Blackshear	2011-05-24
* \|	Created an API so that a MetadataTraverser is used to translate a set of	Mike Barnett	2011-05-21
* \|	Merge	Mike Barnett	2011-05-19
\|\ \
* \| \|	Unify translation of arguments so the same code is used for IMethodCall and	Mike Barnett	2011-05-19
\| * \|	fixed the axiom about TypeOf	Unknown	2011-05-18
\|/ /
* \|	Fixed array construction	qadeer	2011-05-17
* \|	added another axiom	Unknown	2011-05-17
* \|	Merge	Mike Barnett	2011-05-17
\|\ \
* \| \|	If a method has been translated as a function, generate a function call and	Mike Barnett	2011-05-17
\| * \|	added spec for GetType	qadeer	2011-05-17
\|/ /
* \|	Fix command-line option processing.	Mike Barnett	2011-05-16
* \|	bug fixes	qadeer	2011-05-16
* \|	Fix break.	Mike Barnett	2011-05-16
* \|	new regression output	Mike Barnett	2011-05-16
\|\ \
* \| \|	merge	Mike Barnett	2011-05-16
* \| \|	Merge	Mike Barnett	2011-05-16
\| \|/ \|/\|
\| *	Add extern declarations to procedures.	Mike Barnett	2011-05-16
\| *	Mark procedures/functions as "extern" if they are defined in a different	Mike Barnett	2011-05-16
\| *	Merge	Mike Barnett	2011-05-12
\| \|\ \| \|/ \|/\|
\| *	Trying to fix the bound expression simplifier.	Mike Barnett	2011-05-12
* \|	added examples of generics and string support needed by Poirot	10shb	2011-05-12
* \|	first cut at handling generics	qadeer	2011-05-11
\|/
*	simplified the translation of assignments	qadeer	2011-05-10
*	Oops. Last checkin did not contain the changes for the catch clause change when	Mike Barnett	2011-05-10
*	Changed the way variables corresponding to events are created. If the compiler	Mike Barnett	2011-05-10
*	always translate enums as ints.	Mike Barnett	2011-05-09
*	More support for reals, especially real constants.	Mike Barnett	2011-05-08
*	Better error handling.	Mike Barnett	2011-05-08
*	Merge	Mike Barnett	2011-05-06
\|\
* \|	Cleanup of new LHS simplification and replaced the golden output with the	Mike Barnett	2011-05-06
* \|	simplifying lhs of assignment statements.	Mike Barnett	2011-05-05
\| *	added a few more axioms	qadeer	2011-05-04
\|/
*	Uniquified constant names generated for string literals	qadeer	2011-05-03
*	Fixed lots of bugs having to do with casts, conversions, and address-of	Mike Barnett	2011-05-03
*	Merge	Mike Barnett	2011-05-03
\|\