.gitignore
.pylintrc
LICENSE
README.md
pyproject.toml
requirements.txt
.github/actions/wait-for-workflow-results/action.yml
.github/workflows/pr_trigger.yml
.github/workflows/release.yml
.github/workflows/sphinx.yml
.github/workflows/trigger.yml
.vscode/launch.json
.vscode/tasks.json
doc/Makefile
doc/make.bat
doc/requirements.txt
doc/source/conf.py
doc/source/coverage.rst
doc/source/index.rst
doc/source/usage.rst
doc/source/_static/.gitkeep
doc/source/_templates/.gitkeep
m2isar/__init__.py
m2isar.egg-info/PKG-INFO
m2isar.egg-info/SOURCES.txt
m2isar.egg-info/dependency_links.txt
m2isar.egg-info/entry_points.txt
m2isar.egg-info/requires.txt
m2isar.egg-info/top_level.txt
m2isar/backends/__init__.py
m2isar/backends/coverage/__init__.py
m2isar/backends/coverage/coverage_dbg.py
m2isar/backends/coverage/coverage_lcov.py
m2isar/backends/coverage/id_transform.py
m2isar/backends/coverage/utils.py
m2isar/backends/disass/__init__.py
m2isar/backends/disass/disass.py
m2isar/backends/etiss/README.md
m2isar/backends/etiss/__init__.py
m2isar/backends/etiss/architecture_writer.py
m2isar/backends/etiss/instruction_generator.py
m2isar/backends/etiss/instruction_transform.py
m2isar/backends/etiss/instruction_utils.py
m2isar/backends/etiss/instruction_writer.py
m2isar/backends/etiss/pickle_writer.py
m2isar/backends/etiss/replacements.py
m2isar/backends/etiss/writer.py
m2isar/backends/etiss/templates/__init__.py
m2isar/backends/etiss/templates/etiss_arch_cmake.mako
m2isar/backends/etiss/templates/etiss_arch_cpp.mako
m2isar/backends/etiss/templates/etiss_arch_gdbcore.mako
m2isar/backends/etiss/templates/etiss_arch_h.mako
m2isar/backends/etiss/templates/etiss_arch_lib.mako
m2isar/backends/etiss/templates/etiss_arch_specific_cpp.mako
m2isar/backends/etiss/templates/etiss_arch_specific_h.mako
m2isar/backends/etiss/templates/etiss_arch_struct.mako
m2isar/backends/etiss/templates/etiss_function.mako
m2isar/backends/etiss/templates/etiss_function_header.mako
m2isar/backends/etiss/templates/etiss_function_set_footer.mako
m2isar/backends/etiss/templates/etiss_function_set_header.mako
m2isar/backends/etiss/templates/etiss_functions_c.mako
m2isar/backends/etiss/templates/etiss_instruction.mako
m2isar/backends/etiss/templates/etiss_instruction_callback.mako
m2isar/backends/etiss/templates/etiss_instruction_set.mako
m2isar/backends/isa_manual/.gitignore
m2isar/backends/isa_manual/README.md
m2isar/backends/isa_manual/__init__.py
m2isar/backends/isa_manual/package.json
m2isar/backends/isa_manual/render.sh
m2isar/backends/isa_manual/utils.py
m2isar/backends/isa_manual/visitor.py
m2isar/backends/isa_manual/writer.py
m2isar/backends/trace_gen/__init__.py
m2isar/backends/trace_gen/trace_gen.py
m2isar/backends/trace_gen/backend/CodeBuilder.py
m2isar/backends/trace_gen/backend/CodeGenerator.py
m2isar/backends/trace_gen/backend/__init__.py
m2isar/backends/trace_gen/backend/templates/channel/include/channel.mako
m2isar/backends/trace_gen/backend/templates/channel/src/channel.mako
m2isar/backends/trace_gen/backend/templates/monitor/include/monitor.mako
m2isar/backends/trace_gen/backend/templates/monitor/src/bitfields.mako
m2isar/backends/trace_gen/backend/templates/monitor/src/instructionMonitors.mako
m2isar/backends/trace_gen/backend/templates/monitor/src/monitor.mako
m2isar/backends/trace_gen/backend/templates/monitor/src/traceValueMonitor.mako
m2isar/backends/trace_gen/backend/templates/printer/include/printer.mako
m2isar/backends/trace_gen/backend/templates/printer/src/instructionPrinters.mako
m2isar/backends/trace_gen/backend/templates/printer/src/printer.mako
m2isar/backends/trace_gen/common/__init__.py
m2isar/backends/trace_gen/common/common.py
m2isar/backends/trace_gen/frontend/Parser.py
m2isar/backends/trace_gen/frontend/__init__.py
m2isar/backends/trace_gen/tracemodel/MetaTraceModel.py
m2isar/backends/trace_gen/tracemodel/__init__.py
m2isar/backends/viewer/__init__.py
m2isar/backends/viewer/treegen.py
m2isar/backends/viewer/utils.py
m2isar/backends/viewer/viewer.py
m2isar/frontends/__init__.py
m2isar/frontends/coredsl2/.gitignore
m2isar/frontends/coredsl2/CoreDSL2.g4
m2isar/frontends/coredsl2/README.md
m2isar/frontends/coredsl2/__init__.py
m2isar/frontends/coredsl2/antlr.sh
m2isar/frontends/coredsl2/architecture_model_builder.py
m2isar/frontends/coredsl2/behavior_model_builder.py
m2isar/frontends/coredsl2/expr_interpreter.py
m2isar/frontends/coredsl2/importer.py
m2isar/frontends/coredsl2/load_order.py
m2isar/frontends/coredsl2/parser.py
m2isar/frontends/coredsl2/utils.py
m2isar/frontends/coredsl2/parser_gen/.gitignore
m2isar/frontends/coredsl2/parser_gen/CoreDSL2Lexer.py
m2isar/frontends/coredsl2/parser_gen/CoreDSL2Listener.py
m2isar/frontends/coredsl2/parser_gen/CoreDSL2Parser.py
m2isar/frontends/coredsl2/parser_gen/CoreDSL2Visitor.py
m2isar/frontends/coredsl2/parser_gen/__init__.py
m2isar/metamodel/__init__.py
m2isar/metamodel/arch.py
m2isar/metamodel/behav.py
m2isar/metamodel/code_info.py
m2isar/metamodel/utils/__init__.py
m2isar/metamodel/utils/expr_preprocessor.py
m2isar/metamodel/utils/expr_simplifier.py
m2isar/metamodel/utils/function_staticness.py
m2isar/metamodel/utils/function_throws.py
m2isar/metamodel/utils/scalar_staticness.py