debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	phone control exploration for BCT, not integrated yet	Unknown	2011-07-07
*	Merge	Unknown	2011-07-06
\|\
* \|	remove mscorlib stub project...write each as needed	Unknown	2011-07-06
\| *	Merge	Mike Barnett	2011-07-06
\| \|\ \| \|/ \|/\|
\| *	Updated regression output.	Mike Barnett	2011-07-06
* \|	phone (static) controls extractor	Unknown	2011-07-06
* \|	phone (static) controls extractor.	Unknown	2011-07-06
\| *	Merge	Mike Barnett	2011-07-06
\| \|\ \| \|/ \|/\|
\| *	Beginning of encoding the subtype relation.	Mike Barnett	2011-07-06
\| *	Updated regression output.	Mike Barnett	2011-07-06
* \|	ExtractLoops calls the same code for eliminating unreachable blocks that norm...	qadeer	2011-07-05
\| *	Merge	Mike Barnett	2011-07-05
\| \|\ \| \|/ \|/\|
* \|	1. generating a separate dipatchcontinuation label for each trycatchfinally ...	qadeer	2011-07-04
\| *	Merge	Mike Barnett	2011-07-01
\| \|\ \| \|/ \|/\|
* \|	bug fix in heap access for splitfield option	qadeer	2011-06-30
\| *	Merge	Mike Barnett	2011-06-29
\| \|\ \| \|/ \|/\|
* \|	bug fix in translation of dispatch continuation	qadeer	2011-06-23
* \|	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
\| *	Don't (for now) consider property getters as pure, because	Mike Barnett	2011-06-01
* \|	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