debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
...
*	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
\| \|
* \|	ignoring (some) non-feedback producing event handlers	t-espave	2011-07-26
\|/ \| \| \|	inlining handlers so interproc. analyisis genrates less false alarms
*	weeding out non-set $exception as feedback handling issues	t-espave	2011-07-26
\| \| \| \| \|	unified input handler and feedback override moved up assertions before returns
*	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
\|
*	tracking main phone application class and ctors	t-espave	2011-07-22
\|
*	typo	t-espave	2011-07-22
\|
*	double definition fix	t-espave	2011-07-22
\| \| \| \|	changed functions to maps for control properties
*	cleanup	t-espave	2011-07-21
\|
*	dynamic navigation variable tracking and base page name tracking	Unknown	2011-07-21
\|
*	unified URI format across translations	Unknown	2011-07-21
\|
*	setting $Exception explicitly to null in phone translation	Unknown	2011-07-20
\|
*	fixed a bug on current nav tracking	Unknown	2011-07-20
\| \| \| \|	refactored methodcall visitor a bit
*	updated translation of catch clauses to use Subtype	qadeer	2011-07-20
\|
*	Added subtyping axiomatization.	Mike Barnett	2011-07-20
\|
*	edited out phoneplugin from most places	Unknown	2011-07-19
\| \| \| \| \|	havoc'ing uri when navigation cannot be determined (partial) added boilerplate boogie code
*	boogie boilerplate code generator for phone verif.	Unknown	2011-07-18
\|
*	bugfix, was not setting control handlers	Unknown	2011-07-18
\|
*	potentially useful boogie stubs, commented out since they may conflict with ↵	Unknown	2011-07-15
\| \| \| \|	{:extern}
*	Merge	Unknown	2011-07-15
\|\
* \|	- keeping track of BCT name changes to controls	Unknown	2011-07-15
\| \| \| \| \| \| \| \|	- injecting navigation changes code
\| *	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
\| \| \| \| \| \| \| \|	Updated regression output due to Shaz's changes for exception handling.
* \|	more static URI detection	Unknown	2011-07-14
\|\\|
* \|	- navigation event detection	Unknown	2011-07-14
\| \| \| \| \| \| \| \|	- (some) URI declaration/instantiation and use detection
\| *	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
\| \| \| \| \| \| \| \| \| \|	Fix generation of type constants to avoid infinite loops for recursive type definitions.
\| *	phone stuff options	Unknown	2011-07-08
\| \|
\| *	phone control exploration for BCT, not integrated yet	Unknown	2011-07-07
\|/ \| \| \|	should be made into a plugin sometime
*	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
\| \|\ \| \|/ \|/\|