summaryrefslogtreecommitdiff
path: root/BCT/BytecodeTranslator/Program.cs
Commit message (Expand)AuthorAge
* Created an API so that a MetadataTraverser is used to translate a set ofGravatar Mike Barnett2011-05-21
* Fix command-line option processing.Gravatar Mike Barnett2011-05-16
* MergeGravatar Mike Barnett2011-05-16
* Better error handling.Gravatar Mike Barnett2011-05-08
* Fixed lots of bugs having to do with casts, conversions, and address-ofGravatar Mike Barnett2011-05-03
* 0. Deleted other heap representations except SplitField and GeneralGravatar qadeer2011-04-23
* Added translation for "x is T" expressions.Gravatar Unknown2011-04-21
* Fix stub support (still not completely finished).Gravatar Unknown2011-04-12
* More support for stubs. Ability to add functions as well as procedures.Gravatar mikebarnett2011-04-04
* Can now translate multiple assemblies into one Boogie Program.Gravatar mikebarnett2011-03-08
* Changed calls to Debug.Assert to Contract.Assert.Gravatar mikebarnett2011-02-24
* Make the general heap representation the default.Gravatar mikebarnett2011-01-22
* Added the heap representation I was supposed to have started with... A genera...Gravatar mikebarnett2011-01-21
* 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
* More structuring of the different heap representations. Now each heap represe...Gravatar mikebarnett2011-01-19
* The beginning of the encapsulation of the Heap representation so that we can ...Gravatar mikebarnett2011-01-17
* Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...Gravatar mikebarnett2010-12-20
* Added a new option for splitting fieldsGravatar qadeer2010-12-15
* Adapt to new APIs in CCI.Gravatar mikebarnett2010-12-08
* 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
* Updated to use new CCI API.Gravatar mikebarnett2010-04-16
* Update use of CCI's API for decompiling the IL model to the Code Model.Gravatar mikebarnett2009-11-17
* Changed error message to have correct program name.Gravatar mikebarnett2009-11-10
* 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-04 18:42:35 +0000