…
..
BytecodeGraph.cpp	…
BytecodeGraph.h	…
BytecodeTranslator.cpp	…
BytecodeTranslator.h	…
BytecodeVerifier.cpp	…
BytecodeVerifier.h	…
ErrorHandling.cpp	…
ErrorHandling.h	…
LocalEnv.h	…
Makefile	…
Reader.h	…
TranslationEnv.cpp	…
TranslationEnv.h	…
VerificationEnv.cpp	…
VerificationEnv.h	…