debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	(phone bct) tracking targets of back key navs.	t-espave	2011-08-02
*	Merge	t-espave	2011-08-02
\|\
* \|	(phone bct) default URI checks inlined	t-espave	2011-08-02
\| *	Unicode surrogate characters cannot be handled by Boogie. For now (forever?)	Mike Barnett	2011-08-02
* \|	(phone bct) methods inlined for modular analysis (fix)	t-espave	2011-08-02
\|/
*	further fixes in the translation of compiletime constants	qadeer	2011-08-01
*	Merge	t-espave	2011-08-01
\|\
* \|	(phone bct) compute fixpoint for necessary inlined methods (for modular analy...	t-espave	2011-08-01
* \|	control parsing creates batch file with several calls to corral for graph bui...	t-espave	2011-08-01
\| *	Fix in the assertion injector for putting the output on top of the input	Mike Barnett	2011-08-01
* \|	generating individual corral queries for page navigation	t-espave	2011-08-01
\|/
*	fix for exception when phoneControls are not set	t-espave	2011-08-01
*	more phone controls tracked for feedback	t-espave	2011-07-29
*	anonymous phone controls fix	t-espave	2011-07-29
*	more input/output control handling for phones	t-espave	2011-07-28
*	refactored phonehelper	t-espave	2011-07-28
*	trivial contract for phone event handlers	t-espave	2011-07-28
*	bugfix,nothing was done if no white/blacklist specified	t-espave	2011-07-28
*	option bugfix	t-espave	2011-07-28
*	Merge	Mike Barnett	2011-07-27
\|\
* \|	New project to support "Get Me Here": an assertion injector that puts into a	Mike Barnett	2011-07-27
* \|	Implemented a whitelist/blacklist so translator can ignore certain parts of an	Mike Barnett	2011-07-27
\| *	fixed right/left shift functions decl	t-espave	2011-07-27
\| *	solved uri naming issues	t-espave	2011-07-27
\| *	not handling property bindings for controls (for now)	t-espave	2011-07-27
\| *	Merge	t-espave	2011-07-27
\| \|\ \| \|/ \|/\|
\| *	- handler methods with simulated calls	t-espave	2011-07-27
* \|	Updated regressions.	Mike Barnett	2011-07-27
* \|	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
* \|	ignoring (some) non-feedback producing event handlers	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
*	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
*	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
*	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
*	boogie boilerplate code generator for phone verif.	Unknown	2011-07-18
*	bugfix, was not setting control handlers	Unknown	2011-07-18