debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	(phone bct) boolean binding of control enabledness ignored (for now)	t-espave	2011-08-22
\| \| \| \|	tracking Page virtual overrides
*	(phone) fixed issues with anonymous xaml declarations.	t-espave	2011-08-10
\|
*	(phone bct) filtering out nonpages for boogie queries, faster but maybe a ↵	t-espave	2011-08-08
\| \| \| \| \| \| \|	less precise preparing boogie code for static unrolls filtering out some navigations
*	(phone bct) nav graph building (mostly) automated	t-espave	2011-08-05
\|
*	(phone bct) anonymous control support	t-espave	2011-08-04
\| \| \| \| \|	boogie nav graph modular analysis code default uris to lowercase to make life easier
*	(phone bct) monitoring pivot controls	t-espave	2011-08-04
\|
*	(phone bct) moved some code to urihelper	t-espave	2011-08-03
\|
*	anonymous phone controls fix	t-espave	2011-07-29
\|
*	solved uri naming issues	t-espave	2011-07-27
\|
*	not handling property bindings for controls (for now)	t-espave	2011-07-27
\|
*	ui handlers override checked for output geenration	t-espave	2011-07-26
\|
*	tracking main phone application class and ctors	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
\|
*	bugfix, was not setting control handlers	Unknown	2011-07-18
\|
*	- keeping track of BCT name changes to controls	Unknown	2011-07-15
\| \| \| \|	- injecting navigation changes code
*	initial page detection and init	Unknown	2011-07-15
\|
*	injecting code for phone control initialization during translation	Unknown	2011-07-12
\|
*	phone injecting code traverser	Unknown	2011-07-08
\|
*	phone control exploration for BCT, not integrated yet	Unknown	2011-07-07
	should be made into a plugin sometime