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
Commit message (
Expand
)
Author
Age
*
fixed a bug on current nav tracking
Unknown
2011-07-20
*
updated translation of catch clauses to use Subtype
qadeer
2011-07-20
*
Added subtyping axiomatization.
Mike Barnett
2011-07-20
*
edited out phoneplugin from most places
Unknown
2011-07-19
*
potentially useful boogie stubs, commented out since they may conflict with {...
Unknown
2011-07-15
*
Merge
Unknown
2011-07-15
|
\
*
|
- keeping track of BCT name changes to controls
Unknown
2011-07-15
|
*
commenting out axiom generation
qadeer
2011-07-15
|
/
*
Merge
Unknown
2011-07-15
|
\
*
|
initial page detection and init
Unknown
2011-07-15
*
|
some uri tracking statements injected
Unknown
2011-07-14
|
*
Merge
Mike Barnett
2011-07-14
|
|
\
|
|
/
|
/
|
|
*
Add a translation for switch statements.
Mike Barnett
2011-07-14
*
|
more static URI detection
Unknown
2011-07-14
|
\
|
*
|
- navigation event detection
Unknown
2011-07-14
|
*
removed extraneous commented code
qadeer
2011-07-13
|
*
implemented Mike's proposal for dynamic dispatch for finally blocks
qadeer
2011-07-13
|
*
fixing exception translation according to discussion with mike
qadeer
2011-07-13
*
|
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
*
Merge
Mike Barnett
2011-07-08
|
\
*
|
Fix translation of "is" operator.
Mike Barnett
2011-07-08
|
*
phone stuff options
Unknown
2011-07-08
|
*
phone control exploration for BCT, not integrated yet
Unknown
2011-07-07
|
/
*
Merge
Mike Barnett
2011-07-06
|
\
|
*
phone (static) controls extractor.
Unknown
2011-07-06
*
|
Merge
Mike Barnett
2011-07-06
|
\
|
*
|
Beginning of encoding the subtype relation.
Mike Barnett
2011-07-06
|
*
ExtractLoops calls the same code for eliminating unreachable blocks that norm...
qadeer
2011-07-05
*
|
Merge
Mike Barnett
2011-07-05
|
\
|
|
*
1. generating a separate dipatchcontinuation label for each trycatchfinally ...
qadeer
2011-07-04
*
|
Merge
Mike Barnett
2011-07-01
|
\
|
|
*
bug fix in heap access for splitfield option
qadeer
2011-06-30
*
|
Merge
Mike Barnett
2011-06-29
|
\
|
|
*
bug fix in translation of dispatch continuation
qadeer
2011-06-23
|
*
Translate IConditional exactly the same way as IConditionalStatement to accou...
qadeer
2011-06-20
|
*
whole bunch of bug fixes
qadeer
2011-06-20
|
*
Merge
qadeer
2011-06-17
|
|
\
|
*
|
changes for handling conversions
qadeer
2011-06-17
|
|
*
removed division hadling from CLRsemantics
Unknown
2011-06-16
|
|
/
|
*
Real2Int type error
Unknown
2011-06-15
|
*
refactored the prelude, added thread_local attribute to $Exception variable
qadeer
2011-06-14
|
*
various bug fixes related to running bct on phone apps
qadeer
2011-06-12
|
*
further changes
qadeer
2011-06-12
|
*
changes related to fixing problems with finally translation
qadeer
2011-06-12
|
*
Merge
qadeer
2011-06-10
|
|
\
|
*
|
bunch of changes related to finally handling
qadeer
2011-06-10
|
|
*
solved
Unknown
2011-06-09
|
|
/
[next]