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
/
TraverserFactory.cs
Commit message (
Expand
)
Author
Age
*
cleanup
t-espave
2011-07-21
*
edited out phoneplugin from most places
Unknown
2011-07-19
*
- keeping track of BCT name changes to controls
Unknown
2011-07-15
*
fixing exception translation according to discussion with mike
qadeer
2011-07-13
*
Translate IConditional exactly the same way as IConditionalStatement to accou...
qadeer
2011-06-20
*
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
*
Created an API so that a MetadataTraverser is used to translate a set of
Mike Barnett
2011-05-21
*
Can now translate multiple assemblies into one Boogie Program.
mikebarnett
2011-03-08
*
Changes needed to translate both contracts and method bodies. The Statement a...
mikebarnett
2011-03-05
*
Moved the creation of Boogie procedures from the MetadataTraverser to the Sin...
mikebarnett
2011-02-11
*
More structuring of the different heap representations. Now each heap represe...
mikebarnett
2011-01-19
*
The beginning of the encapsulation of the Heap representation so that we can ...
mikebarnett
2011-01-17
*
Use an explicit PdbReader instead of the more general ISourceLocationProvider...
mikebarnett
2010-12-21
*
Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...
mikebarnett
2010-12-20
*
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