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
Commit message (
Expand
)
Author
Age
*
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
*
injecting code for phone control initialization during translation
Unknown
2011-07-12
*
phone injecting code traverser
Unknown
2011-07-08