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
*
Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...
Rustan Leino
2013-03-05
*
Adapting to new decompiler.
Mike Barnett
2012-02-27
*
Major changes to the translator traversers because they now are based on the
Mike Barnett
2011-10-31
*
(bct) skeleton of plugin infrastructure. for now the code is essentially the ...
t-espave
2011-08-16
*
cleaning up & refactor
t-espave
2011-08-15
*
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