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
/
Program.cs
Commit message (
Expand
)
Author
Age
*
Added translation for "x is T" expressions.
Unknown
2011-04-21
*
Fix stub support (still not completely finished).
Unknown
2011-04-12
*
More support for stubs. Ability to add functions as well as procedures.
mikebarnett
2011-04-04
*
Can now translate multiple assemblies into one Boogie Program.
mikebarnett
2011-03-08
*
Changed calls to Debug.Assert to Contract.Assert.
mikebarnett
2011-02-24
*
Make the general heap representation the default.
mikebarnett
2011-01-22
*
Added the heap representation I was supposed to have started with... A genera...
mikebarnett
2011-01-21
*
Added a better options parsing by using functionality from MemberHelper.
mikebarnett
2011-01-21
*
Added a test for the split fields option.
mikebarnett
2011-01-20
*
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
*
Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...
mikebarnett
2010-12-20
*
Added a new option for splitting fields
qadeer
2010-12-15
*
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
*
Updated to use new CCI API.
mikebarnett
2010-04-16
*
Update use of CCI's API for decompiling the IL model to the Code Model.
mikebarnett
2009-11-17
*
Changed error message to have correct program name.
mikebarnett
2009-11-10
*
The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...
mikebarnett
2009-08-09