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
/
BytecodeTranslator.csproj
Commit message (
Expand
)
Author
Age
*
(phone bct) compute fixpoint for necessary inlined methods (for modular analy...
t-espave
2011-08-01
*
adding checks and code injection for phone feedback checking
t-espave
2011-07-25
*
- keeping track of BCT name changes to controls
Unknown
2011-07-15
*
- navigation event detection
Unknown
2011-07-14
*
phone injecting code traverser
Unknown
2011-07-08
*
phone control exploration for BCT, not integrated yet
Unknown
2011-07-07
*
Merge
Mike Barnett
2011-05-16
*
Changed calls to Debug.Assert to Contract.Assert.
mikebarnett
2011-02-24
*
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
*
Add a reference to ParserHelper.dll for the definition of IToken which was mo...
mikebarnett
2010-12-09
*
Adapt to new APIs in CCI.
mikebarnett
2010-12-08
*
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
*
Moved BCT project references for Boogie to the Boogie\Binaries directory.
rustanleino
2010-04-16
*
Upgraded solution file and project file to VS2010.
mikebarnett
2010-04-16
*
Setting up test cases for BCT
schaef
2009-11-20
*
Changed solution to include the CCI projects from Codeplex. (Still flaky in t...
mikebarnett
2009-11-10
*
The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...
mikebarnett
2009-08-09