debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
*	Major changes to the translator traversers because they now are based on the	Mike Barnett	2011-10-31
*	(phone bct) minor bugfixes found playing around with apps	t-espave	2011-08-19
*	(phone) fixed problem with unknown type anonymous controls	t-espave	2011-08-16
*	cleaning up & refactor	t-espave	2011-08-15
*	(phone) cancel/navigation on back key is now deep through calls. More info re...	t-espave	2011-08-11
*	(phone) fixed issues with anonymous xaml declarations.	t-espave	2011-08-10
*	(phone) back key handling via delegate detected	t-espave	2011-08-10
*	(phone) slicing to avoid self loops	t-espave	2011-08-09
*	phone nav building stats	t-espave	2011-08-09
*	(phone) fully automated phone nav graph building	t-espave	2011-08-09
*	(phone bct) filtering out nonpages for boogie queries, faster but maybe a les...	t-espave	2011-08-08
*	(phone bct) nav graph building (mostly) automated	t-espave	2011-08-05
*	(phone bct) nav graph building (mostly) automated	t-espave	2011-08-05
*	(phone bct) anonymous control support	t-espave	2011-08-04
*	(phone bct) moved some code to urihelper	t-espave	2011-08-03
*	(phone bct) user feedback, showing possibly anomalous nav targets	t-espave	2011-08-03
*	typo	t-espave	2011-08-03
*	(phone bct) tracking targets of back key navs.	t-espave	2011-08-02
*	(phone bct) default URI checks inlined	t-espave	2011-08-02
*	(phone bct) methods inlined for modular analysis (fix)	t-espave	2011-08-02
*	(phone bct) compute fixpoint for necessary inlined methods (for modular analy...	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
*	solved uri naming issues	t-espave	2011-07-27
*	not handling property bindings for controls (for now)	t-espave	2011-07-27
*	- handler methods with simulated calls	t-espave	2011-07-27
*	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
*	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
*	fixed a bug on current nav tracking	Unknown	2011-07-20
*	edited out phoneplugin from most places	Unknown	2011-07-19
*	- keeping track of BCT name changes to controls	Unknown	2011-07-15
*	initial page detection and init	Unknown	2011-07-15
*	some uri tracking statements injected	Unknown	2011-07-14
*	more static URI detection	Unknown	2011-07-14
\|\
* \|	- navigation event detection	Unknown	2011-07-14
* \|	minor name changes, boogie code cleanup	Unknown	2011-07-13
\|/
*	phone methods boogie stubs	Unknown	2011-07-12