summaryrefslogtreecommitdiff
path: root/BCT/BytecodeTranslator
Commit message (Expand)AuthorAge
* Added the factory pattern so that all traversers are created through factory ...Gravatar mikebarnett2010-06-16
* Consistently use the new code pattern for translating locations to tokens and...Gravatar mikebarnett2010-06-07
* Added forgotten file.Gravatar mikebarnett2010-06-06
* 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
* Moved BCT project references for Boogie to the Boogie\Binaries directory.Gravatar rustanleino2010-04-16
* Upgraded solution file and project file to VS2010.Gravatar mikebarnett2010-04-16
* Updated to use new CCI API.Gravatar mikebarnett2010-04-16
* Setting up test cases for BCTGravatar schaef2009-11-20
* Update use of CCI's API for decompiling the IL model to the Code Model.Gravatar mikebarnett2009-11-17
* Changed solution to include the CCI projects from Codeplex. (Still flaky in t...Gravatar mikebarnett2009-11-10
* Changed error message to have correct program name.Gravatar mikebarnett2009-11-10
* Please ignore. Just testing my account.Gravatar schaef2009-08-19
* 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-21 01:34:00 +0000