Bytecode Translator

This project implements a translator from .NET bytecode to Boogie

Name		Name	Last commit message	Last commit date
Latest commit History 43 Commits
BytecodeTranslator		BytecodeTranslator
GetMeHere/AssertionInjector		GetMeHere/AssertionInjector
PhoneControlsExtractor		PhoneControlsExtractor
RegressionTests		RegressionTests
Samples		Samples
Test		Test
TranslationPlugins		TranslationPlugins
BCT.sln		BCT.sln
BCT.vsmdi		BCT.vsmdi
LICENSE.txt		LICENSE.txt
Local.testsettings		Local.testsettings
README.md		README.md
TraceAndTestImpact.testsettings		TraceAndTestImpact.testsettings

Navigation Menu