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
*	(phone)data on results of analyses on market apps	t-espave	2011-08-26
*	(phone bct) boolean binding of control enabledness ignored (for now)	t-espave	2011-08-22
*	(phone bct) minor bugfixes found playing around with apps	t-espave	2011-08-19
*	continuned phone bct docs	t-espave	2011-08-19
*	(phone) documentation	t-espave	2011-08-17
*	saving navigation bad smells report	t-espave	2011-08-16
*	(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 nav building "doc"	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) anonymous control support	t-espave	2011-08-04
*	(phone bct) monitoring pivot controls	t-espave	2011-08-04
*	(phone bct) default URI checks inlined	t-espave	2011-08-02
*	control parsing creates batch file with several calls to corral for graph bui...	t-espave	2011-08-01
*	generating individual corral queries for page navigation	t-espave	2011-08-01
*	not handling property bindings for controls (for now)	t-espave	2011-07-27
*	tracking new controls	t-espave	2011-07-26
*	tracking main phone application class and ctors	t-espave	2011-07-22
*	typo	t-espave	2011-07-22
*	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
*	edited out phoneplugin from most places	Unknown	2011-07-19
*	boogie boilerplate code generator for phone verif.	Unknown	2011-07-18
*	- keeping track of BCT name changes to controls	Unknown	2011-07-15
*	initial page detection and init	Unknown	2011-07-15
*	phone injecting code traverser	Unknown	2011-07-08
*	phone control exploration for BCT, not integrated yet	Unknown	2011-07-07
*	phone (static) controls extractor	Unknown	2011-07-06
*	phone (static) controls extractor.	Unknown	2011-07-06