debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\|\
\| *	Fix creation of valid identifiers for methods with multi-dimensional	Mike Barnett	2011-05-03
\| *	Trying to fix "boxing", i.e., value type to ref conversions as done in the CLR.	Mike Barnett	2011-05-03
* \|	bug fixes related to handling of structs, arrays, and assignments	qadeer	2011-05-02
\|/
*	The decompilation is not guaranteed to get rid of all push statements and pop	Mike Barnett	2011-04-29
*	fixed a bug in struct handling	qadeer	2011-04-28
*	Add a method to the Sink that is responsible for creating a Boogie expression	Unknown	2011-04-28
*	modeling struct creation by default value	Unknown	2011-04-27
\|\
\| *	Model newly constructed structs as a constant DefaultStruct that has axioms that	Unknown	2011-04-27
* \|	first check in	qadeer	2011-04-27
\| *	merge changes with shaz's checkin.	Unknown	2011-04-27
\|/\|
\| *	Trying to get structs supported.	Unknown	2011-04-27
* \|	fixes to struct translation	qadeer	2011-04-27
* \|	Merge	qadeer	2011-04-27
\|\\|
* \|	fixing problems with struct translation	qadeer	2011-04-27
\| *	Add translation for conversion expressions, at least between bool and int.	Unknown	2011-04-26
\|/
*	0. Deleted other heap representations except SplitField and General	qadeer	2011-04-23
*	in the middle of trying to implement structs	qadeer	2011-04-22