Project Description
Bytecode Translator is a translator from .NET bytecode to Boogie.


The BytecodeTranslator project has moved to GitHub: https://github.com/boogie-org/bytecodetranslator. Nothing is happening here at CodePlex anymore.

Last edited Dec 9, 2015 at 4:29 PM by mikebarnett, version 4