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
/
ExpressionTraverser.cs
Commit message (
Expand
)
Author
Age
*
Added a new option for splitting fields
qadeer
2010-12-15
*
Fixed declaration of procedures from static methods so that they don't have t...
mikebarnett
2010-12-14
*
Translate calls to static methods.
mikebarnett
2010-12-14
*
Add freshly-allocated object as argument to ctors.
mikebarnett
2010-12-14
*
Translate object creation expressions.
mikebarnett
2010-12-14
*
Fixed field update and field dereference.
mikebarnett
2010-12-09
*
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
*
Updated the project to .NET v4.0.
mikebarnett
2010-06-06
*
BCT: Added prelude. Started test1 as a test of verification.
rustanleino
2010-05-12
*
The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...
mikebarnett
2009-08-09