summaryrefslogtreecommitdiff
path: root/BCT/BytecodeTranslator/ExpressionTraverser.cs
Commit message (Expand)AuthorAge
* Added a new option for splitting fieldsGravatar qadeer2010-12-15
* Fixed declaration of procedures from static methods so that they don't have t...Gravatar mikebarnett2010-12-14
* Translate calls to static methods.Gravatar mikebarnett2010-12-14
* Add freshly-allocated object as argument to ctors.Gravatar mikebarnett2010-12-14
* Translate object creation expressions.Gravatar mikebarnett2010-12-14
* Fixed field update and field dereference.Gravatar mikebarnett2010-12-09
* General hygiene: introduced (fixed) a helper method that creates Boogie token...Gravatar mikebarnett2010-07-05
* Cleaned up the sink: removed the OutVars, which was state the sink needed onl...Gravatar mikebarnett2010-07-05
* Introduction of the Sink: a global object that is threaded through all of the...Gravatar mikebarnett2010-07-02
* Simplified the translator by merging the ToplevelTraverser, ClassTraverser, a...Gravatar mikebarnett2010-06-28
* Added the factory pattern so that all traversers are created through factory ...Gravatar mikebarnett2010-06-16
* Updated the project to .NET v4.0.Gravatar mikebarnett2010-06-06
* BCT: Added prelude. Started test1 as a test of verification.Gravatar rustanleino2010-05-12
* The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...Gravatar mikebarnett2009-08-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-27 12:57:34 +0000