summaryrefslogtreecommitdiff
path: root/BCT/BytecodeTranslator/ExpressionTraverser.cs
Commit message (Expand)AuthorAge
* Made it unnecessary to set the types on the Boogie ASTs as we create them.Gravatar mikebarnett2011-03-03
* Fixed many bugs.Gravatar mikebarnett2011-03-01
* two bug fixesGravatar qadeer2011-02-25
* implemented delegates and eventsGravatar qadeer2011-02-25
* Added a new type, Type, that represents runtime types. The Heap interface now...Gravatar mikebarnett2011-02-24
* Changed calls to Debug.Assert to Contract.Assert.Gravatar mikebarnett2011-02-24
* Moved the creation of Boogie procedures from the MetadataTraverser to the Sin...Gravatar mikebarnett2011-02-11
* Added support for translating delegatesGravatar qadeer2011-02-08
* Fix the generation of procedure names so that array types are encoded properly.Gravatar mikebarnett2011-01-26
* Added a better options parsing by using functionality from MemberHelper.Gravatar mikebarnett2011-01-21
* Fix order of getting the instance and the field from the expression heap so t...Gravatar mikebarnett2011-01-21
* More structuring of the different heap representations. Now each heap represe...Gravatar mikebarnett2011-01-19
* Removed HeapVariable from everywhere now that it is encapsulated in the Heap ...Gravatar mikebarnett2011-01-19
* The beginning of the encapsulation of the Heap representation so that we can ...Gravatar mikebarnett2011-01-17
* Fix translation of "null" so that it produces a type-correct value.Gravatar mikebarnett2011-01-16
* added support for array translation.Gravatar qadeer2010-12-20
* 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-07-08 08:47:36 +0000