debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Increase the name mangling to avoid name clashes in the Boogie program. In IL,	Mike Barnett	2011-08-03
*	further fixes in the translation of compiletime constants	qadeer	2011-08-01
*	refactored phonehelper	t-espave	2011-07-28
*	fixed bug in constant translation	qadeer	2011-07-27
*	Merge	t-espave	2011-07-26
\|\
\| *	added translation for RightShift and LeftShift	Unknown	2011-07-26
* \|	bugfix on null assignments	t-espave	2011-07-26
* \|	tracking new controls	t-espave	2011-07-26
\|/
*	weeding out non-set $exception as feedback handling issues	t-espave	2011-07-26
*	ui handlers override checked for output geenration	t-espave	2011-07-26
*	adding checks and code injection for phone feedback checking	t-espave	2011-07-25
*	cleanup	t-espave	2011-07-21
*	fixed a bug on current nav tracking	Unknown	2011-07-20
*	Added subtyping axiomatization.	Mike Barnett	2011-07-20
*	edited out phoneplugin from most places	Unknown	2011-07-19
*	Fix translation of "is" operator.	Mike Barnett	2011-07-08
*	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
\|/
*	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
*	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
\| *	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
*	Beginning of representing structs as values on the heap, but without object	Mike Barnett	2011-05-26
*	Created an API so that a MetadataTraverser is used to translate a set of	Mike Barnett	2011-05-21
*	Unify translation of arguments so the same code is used for IMethodCall and	Mike Barnett	2011-05-19