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
Commit message (
Expand
)
Author
Age
*
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
*
Fix order of getting the instance and the field from the expression heap so t...
mikebarnett
2011-01-21
*
Put back the prelude for the split fields heap that had been there before.
mikebarnett
2011-01-21
*
Use the interned key of field references, now that they have one.
mikebarnett
2011-01-21
*
Added a test for the split fields option.
mikebarnett
2011-01-20
*
Moved the parts of the Prelude that depend on the heap representation into th...
mikebarnett
2011-01-20
*
More structuring of the different heap representations. Now each heap represe...
mikebarnett
2011-01-19
*
Removed HeapVariable from everywhere now that it is encapsulated in the Heap ...
mikebarnett
2011-01-19
*
Removing resolution: there's no need to resolve field references in order to ...
mikebarnett
2011-01-18
*
The beginning of the encapsulation of the Heap representation so that we can ...
mikebarnett
2011-01-17
*
Fix translation of "null" so that it produces a type-correct value.
mikebarnett
2011-01-16
*
1. Converted assume to assert for the source info
qadeer
2010-12-21
*
Changed attribute names in the BPL for source context assumption statements.
mikebarnett
2010-12-21
*
Use an explicit PdbReader instead of the more general ISourceLocationProvider...
mikebarnett
2010-12-21
*
added support for array translation.
qadeer
2010-12-20
*
Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...
mikebarnett
2010-12-20
*
Translate boolean types into Bpl.Type.Bool.
mikebarnett
2010-12-20
*
Added Alloc implementation to the Prelude
qadeer
2010-12-15
*
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
*
changed the prelude to use only the int type and eliminated bunch of axioms n...
qadeer
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
*
Add a reference to ParserHelper.dll for the definition of IToken which was mo...
mikebarnett
2010-12-09
*
Fixed field update and field dereference.
mikebarnett
2010-12-09
*
Adapt to new APIs in CCI.
mikebarnett
2010-12-08
*
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
*
Forgotten file: Sink.cs
mikebarnett
2010-07-05
*
Introduction of the Sink: a global object that is threaded through all of the...
mikebarnett
2010-07-02
*
Forgotten file.
mikebarnett
2010-06-30
*
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
*
Consistently use the new code pattern for translating locations to tokens and...
mikebarnett
2010-06-07
*
Added forgotten file.
mikebarnett
2010-06-06
*
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
*
Updated to use new CCI API.
mikebarnett
2010-04-16
*
Setting up test cases for BCT
schaef
2009-11-20
*
Update use of CCI's API for decompiling the IL model to the Code Model.
mikebarnett
2009-11-17
*
Changed solution to include the CCI projects from Codeplex. (Still flaky in t...
mikebarnett
2009-11-10
*
Changed error message to have correct program name.
mikebarnett
2009-11-10
*
Please ignore. Just testing my account.
schaef
2009-08-19
*
The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...
mikebarnett
2009-08-09