index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
BCT
/
BytecodeTranslator
/
Phone
/
PhoneNavigationTraverser.cs
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) cancel/navigation on back key is now deep through calls. More info re...
t-espave
2011-08-11
*
(phone) back key handling via delegate detected
t-espave
2011-08-10
*
phone nav building stats
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) 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
*
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
*
ignoring (some) non-feedback producing event handlers
t-espave
2011-07-26
*
double definition fix
t-espave
2011-07-22
*
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
*
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