.dockerignore
.gitignore
.gitmodules
.readthedocs.yaml
BMBF_gefoerdert_2017_en.jpg
CITATION.cff
COMPATIBILITY.md
CONTRIBUTING.md
LICENSE
LIMITATIONS.md
README.md
instr_info_td_notes.txt
pyproject.toml
requirements.txt
requirements_dev.txt
requirements_extra.txt
setup.cfg
ttiimpl_notes.txt
.github/ISSUE_TEMPLATE/bug_report.yml
.github/ISSUE_TEMPLATE/feature_request.yml
.github/workflows/container.yml
.github/workflows/demo.yml
.github/workflows/demo_weekly.yml
.github/workflows/docs.yml
.github/workflows/release.yml
.github/workflows/style.yml
.github/workflows/trigger.yml
docker/Dockerfile
docker/README.md
docs/.gitignore
docs/Makefile
docs/conf.py
docs/index.rst
docs/make.bat
docs/readme.rst
docs/requirements.txt
docs/_static/.gitkeep
examples/corev_demo.py
examples/demo.py
examples/demo.sh
examples/gen_demo.py
examples/gpr32_demo.py
examples/merge_test_artifacts.py
examples/openasip_demo.py
examples/rv64_demo.py
examples/rvc_demo.py
examples/rvp_demo.py
examples/s4e_demo.py
examples/se_demo.py
examples/tumeda_demo.py
examples/common/cfg/filter.yml
examples/common/cfg/git.yml
examples/common/cfg/llvm.yml
examples/common/cfg/llvm18_imm_types.yml
examples/common/cfg/llvm19_imm_types.yml
examples/common/cfg/llvm20_imm_types.yml
examples/common/cfg/passes.yml
examples/common/cfg/patches.yml
examples/common/cfg/riscv.yml
examples/common/cfg/simd_patches.yml
examples/common/cfg/tests.yml
examples/common/cfg/tools.yml
examples/corev/cfg/XCoreVAlu.yml
examples/corev/cfg/XCoreVBitmanip.yml
examples/corev/cfg/XCoreVBranchImmediate.yml
examples/corev/cfg/XCoreVMac.yml
examples/corev/cfg/XCoreVMem.yml
examples/corev/cfg/XCoreVSimd.yml
examples/corev/cfg/filter.yml
examples/corev/cfg/riscv.yml
examples/corev/tests/alu/cv-abs.test-builtin.c
examples/corev/tests/alu/cv-abs.test-cg.ll
examples/corev/tests/alu/cv-abs.test-intrin.ll
examples/corev/tests/alu/cv-abs.test-mc-invalid.s
examples/corev/tests/alu/cv-abs.test-mc.s
examples/corev/tests/alu/cv-addn.test-cg.ll
examples/corev/tests/alu/cv-addn.test-intrin.ll
examples/corev/tests/alu/cv-addn.test-mc-invalid.s
examples/corev/tests/alu/cv-addn.test-mc.s
examples/corev/tests/alu/cv-addnr.test-cg.ll
examples/corev/tests/alu/cv-addnr.test-intrin.ll
examples/corev/tests/alu/cv-addnr.test-mc-invalid.s
examples/corev/tests/alu/cv-addnr.test-mc.s
examples/corev/tests/alu/cv-addrn.test-cg.ll
examples/corev/tests/alu/cv-addrn.test-intrin.ll
examples/corev/tests/alu/cv-addrn.test-mc-invalid.s
examples/corev/tests/alu/cv-addrn.test-mc.s
examples/corev/tests/alu/cv-addrnr.test-cg.ll
examples/corev/tests/alu/cv-addrnr.test-intrin.ll
examples/corev/tests/alu/cv-addrnr.test-mc-invalid.s
examples/corev/tests/alu/cv-addrnr.test-mc.s
examples/corev/tests/alu/cv-addun.test-cg.ll
examples/corev/tests/alu/cv-addun.test-intrin.ll
examples/corev/tests/alu/cv-addun.test-mc.s
examples/corev/tests/alu/cv-addunr.test-cg.ll
examples/corev/tests/alu/cv-addunr.test-intrin.ll
examples/corev/tests/alu/cv-addunr.test-mc.s
examples/corev/tests/alu/cv-addurn.test-cg.ll
examples/corev/tests/alu/cv-addurn.test-intrin.ll
examples/corev/tests/alu/cv-addurn.test-mc.s
examples/corev/tests/alu/cv-addurnr.test-cg.ll
examples/corev/tests/alu/cv-addurnr.test-intrin.ll
examples/corev/tests/alu/cv-addurnr.test-mc.s
examples/corev/tests/alu/cv-clip.test-cg.ll
examples/corev/tests/alu/cv-clip.test-intrin.ll
examples/corev/tests/alu/cv-clip.test-mc-invalid.s
examples/corev/tests/alu/cv-clip.test-mc.s
examples/corev/tests/alu/cv-clipr.test-cg.ll
examples/corev/tests/alu/cv-clipr.test-intrin.ll
examples/corev/tests/alu/cv-clipr.test-mc-invalid.s
examples/corev/tests/alu/cv-clipr.test-mc.s
examples/corev/tests/alu/cv-clipu.test-cg.ll
examples/corev/tests/alu/cv-clipu.test-intrin.ll
examples/corev/tests/alu/cv-clipu.test-mc-invalid.s
examples/corev/tests/alu/cv-clipu.test-mc.s
examples/corev/tests/alu/cv-clipur.test-cg.ll
examples/corev/tests/alu/cv-clipur.test-intrin.ll
examples/corev/tests/alu/cv-clipur.test-mc-invalid.s
examples/corev/tests/alu/cv-clipur.test-mc.s
examples/corev/tests/alu/cv-extbs.test-cg.ll
examples/corev/tests/alu/cv-extbs.test-intrin.ll
examples/corev/tests/alu/cv-extbs.test-mc-invalid.s
examples/corev/tests/alu/cv-extbs.test-mc.s
examples/corev/tests/alu/cv-extbz.test-cg.ll
examples/corev/tests/alu/cv-extbz.test-intrin.ll
examples/corev/tests/alu/cv-extbz.test-mc-invalid.s
examples/corev/tests/alu/cv-extbz.test-mc.s
examples/corev/tests/alu/cv-exths.test-cg.ll
examples/corev/tests/alu/cv-exths.test-intrin.ll
examples/corev/tests/alu/cv-exths.test-mc-invalid.s
examples/corev/tests/alu/cv-exths.test-mc.s
examples/corev/tests/alu/cv-exthz.test-cg.ll
examples/corev/tests/alu/cv-exthz.test-intrin.ll
examples/corev/tests/alu/cv-exthz.test-mc-invalid.s
examples/corev/tests/alu/cv-exthz.test-mc.s
examples/corev/tests/alu/cv-max.test-cg.ll
examples/corev/tests/alu/cv-max.test-intrin.ll
examples/corev/tests/alu/cv-max.test-mc-invalid.s
examples/corev/tests/alu/cv-max.test-mc.s
examples/corev/tests/alu/cv-maxu.test-cg.ll
examples/corev/tests/alu/cv-maxu.test-intrin.ll
examples/corev/tests/alu/cv-maxu.test-mc-invalid.s
examples/corev/tests/alu/cv-maxu.test-mc.s
examples/corev/tests/alu/cv-min.test-cg.ll
examples/corev/tests/alu/cv-min.test-intrin.ll
examples/corev/tests/alu/cv-min.test-mc-invalid.s
examples/corev/tests/alu/cv-min.test-mc.s
examples/corev/tests/alu/cv-minu.test-cg.ll
examples/corev/tests/alu/cv-minu.test-intrin.ll
examples/corev/tests/alu/cv-minu.test-mc-invalid.s
examples/corev/tests/alu/cv-minu.test-mc.s
examples/corev/tests/alu/cv-slet.test-cg.ll
examples/corev/tests/alu/cv-slet.test-intrin.ll
examples/corev/tests/alu/cv-slet.test-mc-invalid.s
examples/corev/tests/alu/cv-slet.test-mc.s
examples/corev/tests/alu/cv-sletu.test-intrin.ll
examples/corev/tests/alu/cv-sletu.test-mc-invalid.s
examples/corev/tests/alu/cv-sleu.test-cg.ll
examples/corev/tests/alu/cv-sleu.test-mc.s
examples/corev/tests/alu/cv-subn.test-cg.ll
examples/corev/tests/alu/cv-subn.test-intrin.ll
examples/corev/tests/alu/cv-subn.test-mc-invalid.s
examples/corev/tests/alu/cv-subnr.test-cg.ll
examples/corev/tests/alu/cv-subnr.test-intrin.ll
examples/corev/tests/alu/cv-subnr.test-mc-invalid.s
examples/corev/tests/alu/cv-subnr.test-mc.s
examples/corev/tests/alu/cv-subrn.test-cg.ll
examples/corev/tests/alu/cv-subrn.test-intrin.ll
examples/corev/tests/alu/cv-subrn.test-mc-invalid.s
examples/corev/tests/alu/cv-subrn.test-mc.s
examples/corev/tests/alu/cv-subrnr.test-cg.ll
examples/corev/tests/alu/cv-subrnr.test-intrin.ll
examples/corev/tests/alu/cv-subrnr.test-mc-invalid.s
examples/corev/tests/alu/cv-subrnr.test-mc.s
examples/corev/tests/alu/cv-subun.test-cg.ll
examples/corev/tests/alu/cv-subun.test-intrin.ll
examples/corev/tests/alu/cv-subun.test-mc.s
examples/corev/tests/alu/cv-subunr.test-cg.ll
examples/corev/tests/alu/cv-subunr.test-intrin.ll
examples/corev/tests/alu/cv-subunr.test-mc.s
examples/corev/tests/alu/cv-suburn.test-cg.ll
examples/corev/tests/alu/cv-suburn.test-intrin.ll
examples/corev/tests/alu/cv-suburn.test-mc.s
examples/corev/tests/alu/cv-suburnr.test-cg.ll
examples/corev/tests/alu/cv-suburnr.test-intrin.ll
examples/corev/tests/alu/cv-suburnr.test-mc.s
examples/corev/tests/bi/cv-beqimm.test-cg.ll
examples/corev/tests/bi/cv-bneimm.test-cg.ll
examples/corev/tests/bitmanip/cv-ror.test-cg.ll
examples/corev/tests/bitmanip/cv-ror.test-intrin.ll
examples/corev/tests/bitmanip/cv-ror.test-mc-invalid.s
examples/corev/tests/bitmanip/cv-ror.test-mc.s
examples/corev/tests/mac/cv-mac.test-builtin.c
examples/corev/tests/mac/cv-mac.test-cg.ll
examples/corev/tests/mac/cv-mac.test-intrin.ll
examples/corev/tests/mac/cv-mac.test-mc-invalid.s
examples/corev/tests/mac/cv-machhsn.test-cg.ll
examples/corev/tests/mac/cv-machhsn.test-intrin.ll
examples/corev/tests/mac/cv-machhsrn.test-cg.ll
examples/corev/tests/mac/cv-machhsrn.test-intrin.ll
examples/corev/tests/mac/cv-machhun.test-cg.ll
examples/corev/tests/mac/cv-machhun.test-intrin.ll
examples/corev/tests/mac/cv-machhurn.test-cg.ll
examples/corev/tests/mac/cv-machhurn.test-intrin.ll
examples/corev/tests/mac/cv-macsn.test-cg.ll
examples/corev/tests/mac/cv-macsn.test-intrin.ll
examples/corev/tests/mac/cv-macsrn.test-cg.ll
examples/corev/tests/mac/cv-macsrn.test-intrin.ll
examples/corev/tests/mac/cv-macun.test-cg.ll
examples/corev/tests/mac/cv-macun.test-intrin.ll
examples/corev/tests/mac/cv-macurn.test-cg.ll
examples/corev/tests/mac/cv-macurn.test-intrin.ll
examples/corev/tests/mac/cv-msu.test-cg.ll
examples/corev/tests/mac/cv-msu.test-intrin.ll
examples/corev/tests/mac/cv-mulhhs.test-cg.ll
examples/corev/tests/mac/cv-mulhhsn.test-cg.ll
examples/corev/tests/mac/cv-mulhhsn.test-intrin.ll
examples/corev/tests/mac/cv-mulhhsrn.test-cg.ll
examples/corev/tests/mac/cv-mulhhsrn.test-intrin.ll
examples/corev/tests/mac/cv-mulhhu.test-cg.ll
examples/corev/tests/mac/cv-mulhhun.test-cg.ll
examples/corev/tests/mac/cv-mulhhun.test-intrin.ll
examples/corev/tests/mac/cv-mulhhurn.test-cg.ll
examples/corev/tests/mac/cv-mulhhurn.test-intrin.ll
examples/corev/tests/mac/cv-muls.test-cg.ll
examples/corev/tests/mac/cv-mulsn.test-cg.ll
examples/corev/tests/mac/cv-mulsn.test-intrin.ll
examples/corev/tests/mac/cv-mulsrn.test-cg.ll
examples/corev/tests/mac/cv-mulsrn.test-intrin.ll
examples/corev/tests/mac/cv-mulu.test-cg.ll
examples/corev/tests/mac/cv-mulun.test-cg.ll
examples/corev/tests/mac/cv-mulun.test-intrin.ll
examples/corev/tests/mac/cv-mulurn.test-cg.ll
examples/corev/tests/mac/cv-mulurn.test-intrin.ll
examples/example/cdsl/Example.core_desc
examples/example/cdsl/ExampleRV32C.core_desc
examples/example/cdsl/ExampleRV64.core_desc
examples/example/cfg/XExample.yml
examples/example/cfg/XExample64.yml
examples/example/cfg/intrinsics.yml
examples/example/cfg/intrinsics64.yml
examples/example/tests/xexample-subincacc.test-builtin.c
examples/example/tests/xexample-subincacc.test-cg.c
examples/example/tests/xexample-subincacc.test-cg.ll
examples/example/tests/xexample-subincacc.test-inline-asm.c
examples/example/tests/xexample-subincacc.test-intrin.ll
examples/example/tests/xexample-subincacc.test-invalid.s
examples/example/tests/xexample-subincacc.test-mc.s
examples/example/tests/xexample64-subincacc.test-builtin.c
examples/example/tests/xexample64-subincacc.test-cg.c
examples/example/tests/xexample64-subincacc.test-cg.ll
examples/example/tests/xexample64-subincacc.test-inline-asm.c
examples/example/tests/xexample64-subincacc.test-intrin.ll
examples/example/tests/xexample64-subincacc.test-invalid.s
examples/example/tests/xexample64-subincacc.test-mc.s
examples/example/tests/xrvc/xrv-nand.test-cg.c
examples/example/tests/xrvc/xrv-nand.test-cg.ll
examples/example/tests/xrvc/xrv-nand.test-mc.s
examples/example/tests/xrvc/xrv-nandi.test-cg.c
examples/example/tests/xrvc/xrv-nandi.test-cg.ll
examples/example/tests/xrvc/xrv-nandi.test-invalid.s
examples/example/tests/xrvc/xrv-nandi.test-mc.s
examples/example/tests/xrvc/xrvc-nand.test-compress.s
examples/example/tests/xrvc/xrvc-nand.test-invalid.s
examples/example/tests/xrvc/xrvc-nand.test-mc.s
examples/example/tests/xrvc/xrvc-nandi.test-compress.s
examples/example/tests/xrvc/xrvc-nandi.test-invalid.s
examples/example/tests/xrvc/xrvc-nandi.test-mc.s
examples/gen/cfg/all.yml
examples/gen/cfg/riscv.yml
examples/openasip/cfg/OpenASIP_base.yml
examples/openasip/cfg/OpenASIP_paper.yml
examples/openasip/cfg/intrinsics.yml
examples/openasip/tests/base/openasip_base_max.test-builtin.c
examples/openasip/tests/base/openasip_base_max.test-cg.c
examples/openasip/tests/base/openasip_base_max.test-cg.ll
examples/openasip/tests/base/openasip_base_max.test-inline-asm.c
examples/openasip/tests/base/openasip_base_max.test-intrin.ll
examples/openasip/tests/base/openasip_base_max.test-invalid.s
examples/openasip/tests/base/openasip_base_max.test-mc.s
examples/openasip/tests/base/openasip_base_maxu.test-builtin.c
examples/openasip/tests/base/openasip_base_maxu.test-cg.c
examples/openasip/tests/base/openasip_base_maxu.test-cg.ll
examples/openasip/tests/base/openasip_base_maxu.test-inline-asm.c
examples/openasip/tests/base/openasip_base_maxu.test-intrin.ll
examples/openasip/tests/base/openasip_base_maxu.test-mc.s
examples/rvp/cdsl/RV32P.core_desc
examples/rvp/cdsl/RVP.core_desc
examples/rvp/cfg/RVP.yml
examples/s4e/cfg/s4e-mac.yml
examples/s4e/tests/s4e-get-acc-hi.test-inline-asm.c
examples/s4e/tests/s4e-get-acc-hi.test-invalid.s
examples/s4e/tests/s4e-get-acc-hi.test-mc.s
examples/s4e/tests/s4e-get-acc-lo.test-inline-asm.c
examples/s4e/tests/s4e-get-acc-lo.test-invalid.s
examples/s4e/tests/s4e-get-acc-lo.test-mc.s
examples/s4e/tests/s4e-macs-128.test-mc.s
examples/s4e/tests/s4e-macs-32.test-inline-asm.c
examples/s4e/tests/s4e-macs-32.test-invalid.s
examples/s4e/tests/s4e-macs-32.test-mc.s
examples/s4e/tests/s4e-macs-64.test-inline-asm.c
examples/s4e/tests/s4e-macs-64.test-invalid.s
examples/s4e/tests/s4e-macs-64.test-mc.s
examples/s4e/tests/s4e-macu-32.test-inline-asm.c
examples/s4e/tests/s4e-macu-32.test-invalid.s
examples/s4e/tests/s4e-macu-32.test-mc.s
examples/s4e/tests/s4e-macu-64.test-inline-asm.c
examples/s4e/tests/s4e-macu-64.test-invalid.s
examples/s4e/tests/s4e-macu-64.test-mc.s
examples/s4e/tests/s4e-reset-acc.test-inline-asm.c
examples/s4e/tests/s4e-reset-acc.test-invalid.s
examples/s4e/tests/s4e-reset-acc.test-mc.s
examples/s4e/tests/xs4e.test.s
examples/s4e/tests/xs4emac.test.s
examples/tumeda/cdsl/.gitkeep
examples/tumeda/cdsl/SEAL5_CV_SUBPKD820.core_desc
examples/tumeda/cdsl/XCoreVNand.core_desc
examples/tumeda/cfg/intrinsics.yml
examples/tumeda/tests/cv-nand-bitwise.test-builtin.ll
examples/tumeda/tests/cv-nand-bitwise.test-cg.c
examples/tumeda/tests/cv-nand-bitwise.test-cg.ll
examples/tumeda/tests/cv-nand-bitwise.test-inline-asm.c
examples/tumeda/tests/cv-nand-bitwise.test-intrin.c
examples/tumeda/tests/cv-nand-bitwise.test-invalid.s
examples/tumeda/tests/cv-nand-bitwise.test-mc.s
notes/macshh_gisel/cecil_test.c
notes/macshh_gisel/cmd.txt
notes/macshh_gisel/diff.txt
notes/macshh_gisel/err.txt
notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.core_desc
notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.gmir
notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.ll
notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.td
notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.td.out
notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.td.pat
notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.core_desc
notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.gmir
notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.ll
notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.td
notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.td.out
notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.td.pat
notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.core_desc
notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.gmir
notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.ll
notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.td
notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.td.out
notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.td.pat
scripts/black.sh
scripts/flake8.sh
scripts/pylint.sh
seal5/__init__.py
seal5/build_cache.py
seal5/dependencies.py
seal5/flow.py
seal5/index.py
seal5/logging.py
seal5/metrics.py
seal5/model.py
seal5/model_utils.py
seal5/pass_list.py
seal5/passes.py
seal5/riscv_utils.py
seal5/settings.py
seal5/testgen_utils.py
seal5/types.py
seal5/utils.py
seal5/version.py
seal5/wrapper.py
seal5.egg-info/PKG-INFO
seal5.egg-info/SOURCES.txt
seal5.egg-info/dependency_links.txt
seal5.egg-info/entry_points.txt
seal5.egg-info/requires.txt
seal5.egg-info/top_level.txt
seal5/backends/__init__.py
seal5/backends/coredsl2/__init__.py
seal5/backends/coredsl2/visitor.py
seal5/backends/coredsl2/writer.py
seal5/backends/llvmir/__init__.py
seal5/backends/llvmir/writer.py
seal5/backends/patterngen/__init__.py
seal5/backends/patterngen/writer.py
seal5/backends/report/__init__.py
seal5/backends/report/diff/__init__.py
seal5/backends/report/diff/writer.py
seal5/backends/report/pattern_gen/__init__.py
seal5/backends/report/pattern_gen/writer.py
seal5/backends/report/properties/__init__.py
seal5/backends/report/properties/writer.py
seal5/backends/report/status/__init__.py
seal5/backends/report/status/writer.py
seal5/backends/report/test_results/__init__.py
seal5/backends/report/test_results/writer.py
seal5/backends/report/times/__init__.py
seal5/backends/report/times/writer.py
seal5/backends/riscv_features/__init__.py
seal5/backends/riscv_features/writer.py
seal5/backends/riscv_features/templates/__init__.py
seal5/backends/riscv_features/templates/riscv_features.mako
seal5/backends/riscv_features/templates/riscv_features_experimental_new.mako
seal5/backends/riscv_features/templates/riscv_features_experimental_new_slim.mako
seal5/backends/riscv_features/templates/riscv_features_new.mako
seal5/backends/riscv_features/templates/riscv_features_new_slim.mako
seal5/backends/riscv_features/templates/test_riscv_attributes.mako
seal5/backends/riscv_field_types/__init__.py
seal5/backends/riscv_field_types/writer.py
seal5/backends/riscv_gisel_legalizer/__init__.py
seal5/backends/riscv_gisel_legalizer/writer.py
seal5/backends/riscv_instr_info/__init__.py
seal5/backends/riscv_instr_info/writer.py
seal5/backends/riscv_instr_info/templates/__init__.py
seal5/backends/riscv_instr_info/templates/instr_tablegen.mako
seal5/backends/riscv_intrinsics/__init__.py
seal5/backends/riscv_intrinsics/writer.py
seal5/backends/riscv_isa_info/__init__.py
seal5/backends/riscv_isa_info/writer.py
seal5/backends/riscv_register_info/__init__.py
seal5/backends/riscv_register_info/writer.py
seal5/backends/viewer_seal5/__init__.py
seal5/backends/viewer_seal5/treegen.py
seal5/backends/viewer_seal5/utils.py
seal5/backends/viewer_seal5/viewer.py
seal5/backends/yaml/__init__.py
seal5/backends/yaml/writer.py
seal5/cli/__init__.py
seal5/cli/build.py
seal5/cli/clean.py
seal5/cli/common.py
seal5/cli/deploy.py
seal5/cli/export.py
seal5/cli/generate.py
seal5/cli/init.py
seal5/cli/install.py
seal5/cli/load.py
seal5/cli/main.py
seal5/cli/patch.py
seal5/cli/reset.py
seal5/cli/setup.py
seal5/cli/test.py
seal5/cli/transform.py
seal5/cli/wrapper.py
seal5/frontends/coredsl2_seal5/.gitignore
seal5/frontends/coredsl2_seal5/CoreDSL2.g4
seal5/frontends/coredsl2_seal5/README.md
seal5/frontends/coredsl2_seal5/__init__.py
seal5/frontends/coredsl2_seal5/antlr.sh
seal5/frontends/coredsl2_seal5/architecture_model_builder.py
seal5/frontends/coredsl2_seal5/behavior_model_builder.py
seal5/frontends/coredsl2_seal5/expr_interpreter.py
seal5/frontends/coredsl2_seal5/importer.py
seal5/frontends/coredsl2_seal5/load_order.py
seal5/frontends/coredsl2_seal5/parser.py
seal5/frontends/coredsl2_seal5/utils.py
seal5/frontends/coredsl2_seal5/parser_gen/.gitignore
seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Lexer.py
seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Listener.py
seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Parser.py
seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Visitor.py
seal5/frontends/coredsl2_seal5/parser_gen/__init__.py
seal5/resources/__init__.py
seal5/resources/lit.cfg.py
seal5/resources/resources.py
seal5/resources/patches/llvm/github_ci.patch
seal5/resources/patches/llvm/gitignore.patch
seal5/resources/patches/llvm/gitlab_ci.patch
seal5/resources/patches/llvm/insert_markers_llvm17.patch
seal5/resources/patches/llvm/insert_markers_llvm18.patch
seal5/resources/patches/llvm/insert_markers_llvm19.patch
seal5/resources/patches/llvm/insert_markers_llvm20.patch
seal5/resources/patches/llvm/legalizer_fix_1.patch
seal5/resources/patches/llvm/legalizer_fix_2.patch
seal5/resources/patches/llvm/legalizer_split.patch
seal5/resources/patches/llvm/regclass_gpr32v.patch
seal5/resources/patches/llvm/simd_gpr32v.patch
seal5/tools/__init__.py
seal5/tools/cdsl2llvm.py
seal5/tools/cmake.py
seal5/tools/git.py
seal5/tools/inject_patches.py
seal5/tools/llvm.py
seal5/tools/m2isar.py
seal5/transform/__init__.py
seal5/transform/converter.py
seal5/transform/annotate_opcodes/__init__.py
seal5/transform/annotate_opcodes/annotate.py
seal5/transform/check_pattern_support/__init__.py
seal5/transform/check_pattern_support/check.py
seal5/transform/collect_immediate_operands/__init__.py
seal5/transform/collect_immediate_operands/collect.py
seal5/transform/collect_immediate_operands/visitor.py
seal5/transform/collect_operand_types/__init__.py
seal5/transform/collect_operand_types/collect.py
seal5/transform/collect_operand_types/visitor.py
seal5/transform/collect_raises/__init__.py
seal5/transform/collect_raises/collect.py
seal5/transform/collect_raises/visitor.py
seal5/transform/collect_register_operands/__init__.py
seal5/transform/collect_register_operands/collect.py
seal5/transform/collect_register_operands/visitor.py
seal5/transform/detect_calls/__init__.py
seal5/transform/detect_calls/collect.py
seal5/transform/detect_calls/visitor.py
seal5/transform/detect_imm_leafs/__init__.py
seal5/transform/detect_imm_leafs/collect.py
seal5/transform/detect_imm_leafs/visitor.py
seal5/transform/detect_inouts/__init__.py
seal5/transform/detect_inouts/collect.py
seal5/transform/detect_inouts/utils.py
seal5/transform/detect_inouts/visitor.py
seal5/transform/detect_loops/__init__.py
seal5/transform/detect_loops/collect.py
seal5/transform/detect_loops/visitor.py
seal5/transform/detect_registers/__init__.py
seal5/transform/detect_registers/detect.py
seal5/transform/detect_side_effects/__init__.py
seal5/transform/detect_side_effects/collect.py
seal5/transform/detect_side_effects/visitor.py
seal5/transform/drop_unused/__init__.py
seal5/transform/drop_unused/optimizer.py
seal5/transform/drop_unused/track_uses.py
seal5/transform/eliminate_mod_rfs/__init__.py
seal5/transform/eliminate_mod_rfs/transform.py
seal5/transform/eliminate_mod_rfs/visitor.py
seal5/transform/eliminate_rd_cmp_zero/__init__.py
seal5/transform/eliminate_rd_cmp_zero/transform.py
seal5/transform/eliminate_rd_cmp_zero/visitor.py
seal5/transform/explicit_truncations/__init__.py
seal5/transform/explicit_truncations/transform.py
seal5/transform/explicit_truncations/visitor.py
seal5/transform/filter_model/__init__.py
seal5/transform/filter_model/filter.py
seal5/transform/infer_types/__init__.py
seal5/transform/infer_types/transform.py
seal5/transform/infer_types/visitor.py
seal5/transform/inline_functions/__init__.py
seal5/transform/inline_functions/optimizer.py
seal5/transform/inline_functions/visitor.py
seal5/transform/optimize_instructions/__init__.py
seal5/transform/optimize_instructions/optimizer.py
seal5/transform/process_settings/__init__.py
seal5/transform/process_settings/transform.py
seal5/transform/simplify_trivial_slices/__init__.py
seal5/transform/simplify_trivial_slices/transform.py
seal5/transform/simplify_trivial_slices/visitor.py