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
/
StatementTraverser.cs
Commit message (
Expand
)
Author
Age
*
refactored phonehelper
t-espave
2011-07-28
*
ignoring (some) non-feedback producing event handlers
t-espave
2011-07-26
*
weeding out non-set $exception as feedback handling issues
t-espave
2011-07-26
*
updated translation of catch clauses to use Subtype
qadeer
2011-07-20
*
edited out phoneplugin from most places
Unknown
2011-07-19
*
Add a translation for switch statements.
Mike Barnett
2011-07-14
*
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
*
ExtractLoops calls the same code for eliminating unreachable blocks that norm...
qadeer
2011-07-05
*
1. generating a separate dipatchcontinuation label for each trycatchfinally ...
qadeer
2011-07-04
*
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
*
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
*
bunch of changes related to finally handling
qadeer
2011-06-10
*
beginning support for finally clauses
qadeer
2011-06-07
*
initial cut for translating exceptions
qadeer
2011-06-06
*
Removed the method DefaultValue from the sink: if a default value of a type
Mike Barnett
2011-05-29
*
Translate assignments of structs as a call to a (default) copy constructor
Mike Barnett
2011-05-27
*
Beginning of representing structs as values on the heap, but without object
Mike Barnett
2011-05-26
*
If a method has been translated as a function, generate a function call and
Mike Barnett
2011-05-17
*
Merge
Mike Barnett
2011-05-16
*
bug fixes related to handling of structs, arrays, and assignments
qadeer
2011-05-02
*
The decompilation is not guaranteed to get rid of all push statements and pop
Mike Barnett
2011-04-29
*
Changes needed to translate both contracts and method bodies. The Statement a...
mikebarnett
2011-03-05
*
Made it unnecessary to set the types on the Boogie ASTs as we create them.
mikebarnett
2011-03-03
*
Changed calls to Debug.Assert to Contract.Assert.
mikebarnett
2011-02-24
*
Removed HeapVariable from everywhere now that it is encapsulated in the Heap ...
mikebarnett
2011-01-19
*
1. Converted assume to assert for the source info
qadeer
2010-12-21
*
Changed attribute names in the BPL for source context assumption statements.
mikebarnett
2010-12-21
*
Use an explicit PdbReader instead of the more general ISourceLocationProvider...
mikebarnett
2010-12-21
*
added support for array translation.
qadeer
2010-12-20
*
Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...
mikebarnett
2010-12-20
*
Added Alloc implementation to the Prelude
qadeer
2010-12-15
*
General hygiene: introduced (fixed) a helper method that creates Boogie token...
mikebarnett
2010-07-05
*
Cleaned up the sink: removed the OutVars, which was state the sink needed onl...
mikebarnett
2010-07-05
*
Introduction of the Sink: a global object that is threaded through all of the...
mikebarnett
2010-07-02
*
Simplified the translator by merging the ToplevelTraverser, ClassTraverser, a...
mikebarnett
2010-06-28
*
Added the factory pattern so that all traversers are created through factory ...
mikebarnett
2010-06-16
*
Consistently use the new code pattern for translating locations to tokens and...
mikebarnett
2010-06-07
*
Updated the project to .NET v4.0.
mikebarnett
2010-06-06
*
The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...
mikebarnett
2009-08-09