index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
BCT
Commit message (
Expand
)
Author
Age
*
Merge
t-espave
2011-08-08
|
\
*
|
(phone bct) filtering out nonpages for boogie queries, faster but maybe a les...
t-espave
2011-08-08
|
*
another bug fix in bct
qadeer
2011-08-08
|
*
added a new file and fixed a bug in bct
qadeer
2011-08-08
|
/
*
Added option "getMeHere" so that calls to GetMeHere.Assert(e) become "assert e"
Mike Barnett
2011-08-06
*
fixed a bug in delegate dispatcher name for generic invoke methods
qadeer
2011-08-05
*
(phone bct) nav graph building (mostly) automated
t-espave
2011-08-05
*
(phone bct) nav graph building (mostly) automated
t-espave
2011-08-05
*
Merge
Mike Barnett
2011-08-04
|
\
*
|
Added new option /captureState (/c) for generating a capture state assumption
Mike Barnett
2011-08-04
|
*
Merge
t-espave
2011-08-04
|
|
\
|
|
/
|
/
|
|
*
(phone bct) anonymous control support
t-espave
2011-08-04
*
|
Changed name mangling (again) to avoid name clashes.
Mike Barnett
2011-08-04
|
*
(phone bct) monitoring pivot controls
t-espave
2011-08-04
|
*
(phone bct) moved some code to urihelper
t-espave
2011-08-03
|
*
Merge
t-espave
2011-08-03
|
|
\
|
|
/
|
/
|
*
|
Increase the name mangling to avoid name clashes in the Boogie program. In IL,
Mike Barnett
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
*
Merge
t-espave
2011-08-02
|
\
*
|
(phone bct) default URI checks inlined
t-espave
2011-08-02
|
*
Unicode surrogate characters cannot be handled by Boogie. For now (forever?)
Mike Barnett
2011-08-02
*
|
(phone bct) methods inlined for modular analysis (fix)
t-espave
2011-08-02
|
/
*
further fixes in the translation of compiletime constants
qadeer
2011-08-01
*
Merge
t-espave
2011-08-01
|
\
*
|
(phone bct) compute fixpoint for necessary inlined methods (for modular analy...
t-espave
2011-08-01
*
|
control parsing creates batch file with several calls to corral for graph bui...
t-espave
2011-08-01
|
*
Fix in the assertion injector for putting the output on top of the input
Mike Barnett
2011-08-01
*
|
generating individual corral queries for page navigation
t-espave
2011-08-01
|
/
*
fix for exception when phoneControls are not set
t-espave
2011-08-01
*
more phone controls tracked for feedback
t-espave
2011-07-29
*
anonymous phone controls fix
t-espave
2011-07-29
*
more input/output control handling for phones
t-espave
2011-07-28
*
refactored phonehelper
t-espave
2011-07-28
*
trivial contract for phone event handlers
t-espave
2011-07-28
*
bugfix,nothing was done if no white/blacklist specified
t-espave
2011-07-28
*
option bugfix
t-espave
2011-07-28
*
Merge
Mike Barnett
2011-07-27
|
\
*
|
New project to support "Get Me Here": an assertion injector that puts into a
Mike Barnett
2011-07-27
*
|
Implemented a whitelist/blacklist so translator can ignore certain parts of an
Mike Barnett
2011-07-27
|
*
fixed right/left shift functions decl
t-espave
2011-07-27
|
*
solved uri naming issues
t-espave
2011-07-27
|
*
not handling property bindings for controls (for now)
t-espave
2011-07-27
|
*
Merge
t-espave
2011-07-27
|
|
\
|
|
/
|
/
|
|
*
- handler methods with simulated calls
t-espave
2011-07-27
*
|
Updated regressions.
Mike Barnett
2011-07-27
*
|
fixed bug in constant translation
qadeer
2011-07-27
|
/
*
Merge
t-espave
2011-07-26
|
\
|
*
added translation for RightShift and LeftShift
Unknown
2011-07-26
[next]