summaryrefslogtreecommitdiff
path: root/BCT/BytecodeTranslator/TranslationHelper.cs
Commit message (Expand)AuthorAge
* Removed the method DefaultValue from the sink: if a default value of a typeGravatar Mike Barnett2011-05-29
* first cut at handling genericsGravatar qadeer2011-05-11
* Oops. Last checkin did not contain the changes for the catch clause change whenGravatar Mike Barnett2011-05-10
* Uniquified constant names generated for string literalsGravatar qadeer2011-05-03
* bug fixes related to handling of structs, arrays, and assignmentsGravatar qadeer2011-05-02
* 0. Deleted other heap representations except SplitField and GeneralGravatar qadeer2011-04-23
* changes for dealing with delegatesGravatar qadeer2011-03-05
* Made it unnecessary to set the types on the Boogie ASTs as we create them.Gravatar mikebarnett2011-03-03
* implemented delegates and eventsGravatar qadeer2011-02-25
* Moved the creation of Boogie procedures from the MetadataTraverser to the Sin...Gravatar mikebarnett2011-02-11
* 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
* Added a test for the split fields option.Gravatar mikebarnett2011-01-20
* The beginning of the encapsulation of the Heap representation so that we can ...Gravatar mikebarnett2011-01-17
* added support for array translation.Gravatar qadeer2010-12-20
* Translate boolean types into Bpl.Type.Bool.Gravatar mikebarnett2010-12-20
* Added Alloc implementation to the PreludeGravatar qadeer2010-12-15
* 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
* Forgotten file: Sink.csGravatar mikebarnett2010-07-05
* Introduction of the Sink: a global object that is threaded through all of the...Gravatar mikebarnett2010-07-02
* 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-12-12 17:49:43 +0000