LICENSE
README.md
pyproject.toml
src/micro_svm/__init__.py
src/micro_svm/cfg.py
src/micro_svm/compiler.py
src/micro_svm/decoding.py
src/micro_svm/defect_detection.py
src/micro_svm/descriptors.py
src/micro_svm/execution.py
src/micro_svm/exploration.py
src/micro_svm/global_context.py
src/micro_svm/instructions.py
src/micro_svm/serialization.py
src/micro_svm/state.py
src/micro_svm/type_hierarchy.py
src/micro_svm/types.py
src/micro_svm/utils.py
src/micro_svm.egg-info/PKG-INFO
src/micro_svm.egg-info/SOURCES.txt
src/micro_svm.egg-info/dependency_links.txt
src/micro_svm.egg-info/requires.txt
src/micro_svm.egg-info/top_level.txt
tests/test_manual_loop_unroll.py
tests/test_object_field_access.py
tests/test_static_call.py
tests/test_try_catch.py
tests/test_virtual_call.py
tests/test_while_loop.py