summaryrefslogtreecommitdiff
path: root/BCT/PhoneControlsExtractor
Commit message (Collapse)AuthorAge
* (phone)data on results of analyses on market appsGravatar t-espave2011-08-26
|
* (phone bct) boolean binding of control enabledness ignored (for now)Gravatar t-espave2011-08-22
| | | | tracking Page virtual overrides
* (phone bct) minor bugfixes found playing around with appsGravatar t-espave2011-08-19
|
* continuned phone bct docsGravatar t-espave2011-08-19
|
* (phone) documentationGravatar t-espave2011-08-17
|
* saving navigation bad smells reportGravatar t-espave2011-08-16
|
* (phone) back key handling via delegate detectedGravatar t-espave2011-08-10
| | | | back key handling code not reflected in nav graph - usually the programmer's intent
* (phone) slicing to avoid self loopsGravatar t-espave2011-08-09
|
* phone nav building statsGravatar t-espave2011-08-09
|
* phone nav building "doc"Gravatar t-espave2011-08-09
|
* (phone) fully automated phone nav graph buildingGravatar t-espave2011-08-09
|
* (phone bct) filtering out nonpages for boogie queries, faster but maybe a ↵Gravatar t-espave2011-08-08
| | | | | | | less precise preparing boogie code for static unrolls filtering out some navigations
* (phone bct) nav graph building (mostly) automatedGravatar t-espave2011-08-05
|
* (phone bct) anonymous control supportGravatar t-espave2011-08-04
| | | | | boogie nav graph modular analysis code default uris to lowercase to make life easier
* (phone bct) monitoring pivot controlsGravatar t-espave2011-08-04
|
* (phone bct) default URI checks inlinedGravatar t-espave2011-08-02
| | | | inlining statistics
* control parsing creates batch file with several calls to corral for graph ↵Gravatar t-espave2011-08-01
| | | | building. lacks some automation still
* generating individual corral queries for page navigationGravatar t-espave2011-08-01
|
* not handling property bindings for controls (for now)Gravatar t-espave2011-07-27
|
* tracking new controlsGravatar t-espave2011-07-26
|
* tracking main phone application class and ctorsGravatar t-espave2011-07-22
|
* typoGravatar t-espave2011-07-22
|
* dynamic navigation variable tracking and base page name trackingGravatar Unknown2011-07-21
|
* unified URI format across translationsGravatar Unknown2011-07-21
|
* setting $Exception explicitly to null in phone translationGravatar Unknown2011-07-20
|
* fixed a bug on current nav trackingGravatar Unknown2011-07-20
| | | | refactored methodcall visitor a bit
* edited out phoneplugin from most placesGravatar Unknown2011-07-19
| | | | | havoc'ing uri when navigation cannot be determined (partial) added boilerplate boogie code
* boogie boilerplate code generator for phone verif.Gravatar Unknown2011-07-18
|
* - keeping track of BCT name changes to controlsGravatar Unknown2011-07-15
| | | | - injecting navigation changes code
* initial page detection and initGravatar Unknown2011-07-15
|
* phone injecting code traverserGravatar Unknown2011-07-08
|
* phone control exploration for BCT, not integrated yetGravatar Unknown2011-07-07
| | | | should be made into a plugin sometime
* phone (static) controls extractorGravatar Unknown2011-07-06
|
* phone (static) controls extractor.Gravatar Unknown2011-07-06
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-22 11:27:28 +0000