debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \|	Codeplex repositories.
*	Major changes to the translator traversers because they now are based on the	Mike Barnett	2011-10-31
\| \| \| \| \| \| \| \|	new traversers. (The old ones have been marked as obsolete.) All types are now encoded as "datatypes" in Boogie. So non-generic types are nullary functions and generic types just have at least one type argument. Lots of other fixes: string encoding of names is now done by negating Boogie's regular expression for identifiers, etc.
*	(phone) cancel/navigation on back key is now deep through calls. More info ↵	t-espave	2011-08-11
\| \| \| \|	reported at end of analysis
*	(phone) back key handling via delegate detected	t-espave	2011-08-10
\| \| \| \|	back key handling code not reflected in nav graph - usually the programmer's intent
*	phone nav building stats	t-espave	2011-08-09
\|
*	(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) moved some code to urihelper	t-espave	2011-08-03
\|
*	(phone bct) user feedback, showing possibly anomalous nav targets	t-espave	2011-08-03
\| \| \| \|	(bct) '+' invalid in string literals
*	typo	t-espave	2011-08-03
\|
*	(phone bct) tracking targets of back key navs.	t-espave	2011-08-02
\|
*	fix for exception when phoneControls are not set	t-espave	2011-08-01
\|
*	refactored phonehelper	t-espave	2011-07-28
\|
*	solved uri naming issues	t-espave	2011-07-27
\|
*	- handler methods with simulated calls	t-espave	2011-07-27
\| \| \| \|	- easy checks on backstack navigation that may make graph innecessary
*	ignoring (some) non-feedback producing event handlers	t-espave	2011-07-26
\| \| \| \|	inlining handlers so interproc. analyisis genrates less false alarms
*	double definition fix	t-espave	2011-07-22
\| \| \| \|	changed functions to maps for control properties
*	cleanup	t-espave	2011-07-21
\|
*	unified URI format across translations	Unknown	2011-07-21
\|
*	fixed a bug on current nav tracking	Unknown	2011-07-20
\| \| \| \|	refactored methodcall visitor a bit
*	edited out phoneplugin from most places	Unknown	2011-07-19
\| \| \| \| \|	havoc'ing uri when navigation cannot be determined (partial) added boilerplate boogie code
*	- 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
\|
*	some uri tracking statements injected	Unknown	2011-07-14
\|
*	more static URI detection	Unknown	2011-07-14
\|
*	- navigation event detection	Unknown	2011-07-14
	- (some) URI declaration/instantiation and use detection