debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Translate IConditional exactly the same way as IConditionalStatement to accou...	qadeer	2011-06-20
*	whole bunch of bug fixes	qadeer	2011-06-20
*	Merge	qadeer	2011-06-17
\|\
* \|	changes for handling conversions	qadeer	2011-06-17
\| *	removed division hadling from CLRsemantics	Unknown	2011-06-16
\|/
*	Real2Int type error	Unknown	2011-06-15
*	refactored the prelude, added thread_local attribute to $Exception variable	qadeer	2011-06-14
*	various bug fixes related to running bct on phone apps	qadeer	2011-06-12
*	further changes	qadeer	2011-06-12
*	changes related to fixing problems with finally translation	qadeer	2011-06-12
*	Merge	qadeer	2011-06-10
\|\
* \|	bunch of changes related to finally handling	qadeer	2011-06-10
\| *	solved	Unknown	2011-06-09
\|/
*	using registerAsLatest directly to deal with multiple dll translation	Unknown	2011-06-08
\|\
* \|	bug fixes	Unknown	2011-06-08
\| *	bug fix in call to constructor of ProcedureInfo	qadeer	2011-06-08
\| *	beginning support for finally clauses	qadeer	2011-06-07
\| *	initial cut for translating exceptions	qadeer	2011-06-06
\|/
*	fixed calls to generic methods to add type argument appropriately	qadeer	2011-06-05
*	Further support for translating generics	qadeer	2011-06-04
*	fixed a bug in translation of generics	qadeer	2011-05-31
*	Merge	qadeer	2011-05-31
\|\
* \|	fixed a bug with array index translation	qadeer	2011-05-31
\| *	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