summaryrefslogtreecommitdiff
path: root/BCT
Commit message (Expand)AuthorAge
...
* | Added new option /captureState (/c) for generating a capture state assumptionGravatar Mike Barnett2011-08-04
| * MergeGravatar t-espave2011-08-04
| |\ | |/ |/|
| * (phone bct) anonymous control supportGravatar t-espave2011-08-04
* | Changed name mangling (again) to avoid name clashes.Gravatar Mike Barnett2011-08-04
| * (phone bct) monitoring pivot controlsGravatar t-espave2011-08-04
| * (phone bct) moved some code to urihelperGravatar t-espave2011-08-03
| * MergeGravatar t-espave2011-08-03
| |\ | |/ |/|
* | Increase the name mangling to avoid name clashes in the Boogie program. In IL,Gravatar Mike Barnett2011-08-03
| * (phone bct) user feedback, showing possibly anomalous nav targetsGravatar t-espave2011-08-03
|/
* typoGravatar t-espave2011-08-03
* (phone bct) tracking targets of back key navs.Gravatar t-espave2011-08-02
* MergeGravatar t-espave2011-08-02
|\
* | (phone bct) default URI checks inlinedGravatar t-espave2011-08-02
| * Unicode surrogate characters cannot be handled by Boogie. For now (forever?)Gravatar Mike Barnett2011-08-02
* | (phone bct) methods inlined for modular analysis (fix)Gravatar t-espave2011-08-02
|/
* further fixes in the translation of compiletime constantsGravatar qadeer2011-08-01
* MergeGravatar t-espave2011-08-01
|\
* | (phone bct) compute fixpoint for necessary inlined methods (for modular analy...Gravatar t-espave2011-08-01
* | control parsing creates batch file with several calls to corral for graph bui...Gravatar t-espave2011-08-01
| * Fix in the assertion injector for putting the output on top of the inputGravatar Mike Barnett2011-08-01
* | generating individual corral queries for page navigationGravatar t-espave2011-08-01
|/
* fix for exception when phoneControls are not setGravatar t-espave2011-08-01
* more phone controls tracked for feedbackGravatar t-espave2011-07-29
* anonymous phone controls fixGravatar t-espave2011-07-29
* more input/output control handling for phonesGravatar t-espave2011-07-28
* refactored phonehelperGravatar t-espave2011-07-28
* trivial contract for phone event handlersGravatar t-espave2011-07-28
* bugfix,nothing was done if no white/blacklist specifiedGravatar t-espave2011-07-28
* option bugfixGravatar t-espave2011-07-28
* MergeGravatar Mike Barnett2011-07-27
|\
* | New project to support "Get Me Here": an assertion injector that puts into aGravatar Mike Barnett2011-07-27
* | Implemented a whitelist/blacklist so translator can ignore certain parts of anGravatar Mike Barnett2011-07-27
| * fixed right/left shift functions declGravatar t-espave2011-07-27
| * solved uri naming issuesGravatar t-espave2011-07-27
| * not handling property bindings for controls (for now)Gravatar t-espave2011-07-27
| * MergeGravatar t-espave2011-07-27
| |\ | |/ |/|
| * - handler methods with simulated callsGravatar t-espave2011-07-27
* | Updated regressions.Gravatar Mike Barnett2011-07-27
* | fixed bug in constant translationGravatar qadeer2011-07-27
|/
* MergeGravatar t-espave2011-07-26
|\
| * added translation for RightShift and LeftShiftGravatar Unknown2011-07-26
* | bugfix on null assignmentsGravatar t-espave2011-07-26
* | tracking new controlsGravatar t-espave2011-07-26
* | ignoring (some) non-feedback producing event handlersGravatar t-espave2011-07-26
|/
* weeding out non-set $exception as feedback handling issuesGravatar t-espave2011-07-26
* ui handlers override checked for output geenrationGravatar t-espave2011-07-26
* adding checks and code injection for phone feedback checkingGravatar t-espave2011-07-25
* tracking main phone application class and ctorsGravatar t-espave2011-07-22
* typoGravatar t-espave2011-07-22
* double definition fixGravatar t-espave2011-07-22