debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	potentially useful boogie stubs, commented out since they may conflict with {...	Unknown	2011-07-15
*	Merge	Unknown	2011-07-15
\|\
* \|	- keeping track of BCT name changes to controls	Unknown	2011-07-15
\| *	commenting out axiom generation	qadeer	2011-07-15
\|/
*	Merge	Unknown	2011-07-15
\|\
* \|	initial page detection and init	Unknown	2011-07-15
* \|	some uri tracking statements injected	Unknown	2011-07-14
\| *	Merge	Mike Barnett	2011-07-14
\| \|\ \| \|/ \|/\|
\| *	Add a translation for switch statements.	Mike Barnett	2011-07-14
* \|	more static URI detection	Unknown	2011-07-14
\|\\|
* \|	- navigation event detection	Unknown	2011-07-14
\| *	removed extraneous commented code	qadeer	2011-07-13
\| *	implemented Mike's proposal for dynamic dispatch for finally blocks	qadeer	2011-07-13
\| *	fixing exception translation according to discussion with mike	qadeer	2011-07-13
* \|	minor name changes, boogie code cleanup	Unknown	2011-07-13
\|/
*	phone methods boogie stubs	Unknown	2011-07-12
*	injecting code for phone control initialization during translation	Unknown	2011-07-12
*	phone injecting code traverser	Unknown	2011-07-08
*	Merge	Mike Barnett	2011-07-08
\|\
* \|	Fix translation of "is" operator.	Mike Barnett	2011-07-08
\| *	phone stuff options	Unknown	2011-07-08
\| *	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