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
*
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
*
boogie boilerplate code generator for phone verif.
Unknown
2011-07-18
*
bugfix, was not setting control handlers
Unknown
2011-07-18
*
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
Unknown
2011-07-06
|
\
*
|
remove mscorlib stub project...write each as needed
Unknown
2011-07-06
|
*
Merge
Mike Barnett
2011-07-06
|
|
\
|
|
/
|
/
|
|
*
Updated regression output.
Mike Barnett
2011-07-06
*
|
phone (static) controls extractor
Unknown
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
|
*
Updated regression output.
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
[next]