├── .dockerignore ├── .github └── workflows │ ├── container.yml │ ├── demo.yml │ ├── demo_weekly.yml │ ├── docs.yml │ ├── release.yml │ ├── style.yml │ └── trigger.yml ├── .gitignore ├── .gitmodules ├── .readthedocs.yaml ├── BMBF_gefoerdert_2017_en.jpg ├── CITATION.cff ├── COMPATIBILITY.md ├── LICENSE ├── LIMITATIONS.md ├── README.md ├── docker ├── Dockerfile └── README.md ├── docs ├── .gitignore ├── Makefile ├── _static │ └── .gitkeep ├── conf.py ├── index.rst ├── make.bat ├── readme.rst └── requirements.txt ├── examples ├── common │ └── cfg │ │ ├── filter.yml │ │ ├── git.yml │ │ ├── llvm.yml │ │ ├── llvm18_imm_types.yml │ │ ├── llvm19_imm_types.yml │ │ ├── llvm20_imm_types.yml │ │ ├── passes.yml │ │ ├── patches.yml │ │ ├── riscv.yml │ │ ├── simd_patches.yml │ │ ├── tests.yml │ │ └── tools.yml ├── corev │ ├── cfg │ │ ├── XCoreVAlu.yml │ │ ├── XCoreVBitmanip.yml │ │ ├── XCoreVBranchImmediate.yml │ │ ├── XCoreVMac.yml │ │ ├── XCoreVMem.yml │ │ ├── XCoreVSimd.yml │ │ ├── filter.yml │ │ └── riscv.yml │ └── tests │ │ ├── alu │ │ ├── cv-abs.test-builtin.c │ │ ├── cv-abs.test-cg.ll │ │ ├── cv-abs.test-intrin.ll │ │ ├── cv-abs.test-mc-invalid.s │ │ ├── cv-abs.test-mc.s │ │ ├── cv-addn.test-cg.ll │ │ ├── cv-addn.test-intrin.ll │ │ ├── cv-addn.test-mc-invalid.s │ │ ├── cv-addn.test-mc.s │ │ ├── cv-addnr.test-cg.ll │ │ ├── cv-addnr.test-intrin.ll │ │ ├── cv-addnr.test-mc-invalid.s │ │ ├── cv-addnr.test-mc.s │ │ ├── cv-addrn.test-cg.ll │ │ ├── cv-addrn.test-intrin.ll │ │ ├── cv-addrn.test-mc-invalid.s │ │ ├── cv-addrn.test-mc.s │ │ ├── cv-addrnr.test-cg.ll │ │ ├── cv-addrnr.test-intrin.ll │ │ ├── cv-addrnr.test-mc-invalid.s │ │ ├── cv-addrnr.test-mc.s │ │ ├── cv-addun.test-cg.ll │ │ ├── cv-addun.test-intrin.ll │ │ ├── cv-addun.test-mc.s │ │ ├── cv-addunr.test-cg.ll │ │ ├── cv-addunr.test-intrin.ll │ │ ├── cv-addunr.test-mc.s │ │ ├── cv-addurn.test-cg.ll │ │ ├── cv-addurn.test-intrin.ll │ │ ├── cv-addurn.test-mc.s │ │ ├── cv-addurnr.test-cg.ll │ │ ├── cv-addurnr.test-intrin.ll │ │ ├── cv-addurnr.test-mc.s │ │ ├── cv-clip.test-cg.ll │ │ ├── cv-clip.test-intrin.ll │ │ ├── cv-clip.test-mc-invalid.s │ │ ├── cv-clip.test-mc.s │ │ ├── cv-clipr.test-cg.ll │ │ ├── cv-clipr.test-intrin.ll │ │ ├── cv-clipr.test-mc-invalid.s │ │ ├── cv-clipr.test-mc.s │ │ ├── cv-clipu.test-cg.ll │ │ ├── cv-clipu.test-intrin.ll │ │ ├── cv-clipu.test-mc-invalid.s │ │ ├── cv-clipu.test-mc.s │ │ ├── cv-clipur.test-cg.ll │ │ ├── cv-clipur.test-intrin.ll │ │ ├── cv-clipur.test-mc-invalid.s │ │ ├── cv-clipur.test-mc.s │ │ ├── cv-extbs.test-cg.ll │ │ ├── cv-extbs.test-intrin.ll │ │ ├── cv-extbs.test-mc-invalid.s │ │ ├── cv-extbs.test-mc.s │ │ ├── cv-extbz.test-cg.ll │ │ ├── cv-extbz.test-intrin.ll │ │ ├── cv-extbz.test-mc-invalid.s │ │ ├── cv-extbz.test-mc.s │ │ ├── cv-exths.test-cg.ll │ │ ├── cv-exths.test-intrin.ll │ │ ├── cv-exths.test-mc-invalid.s │ │ ├── cv-exths.test-mc.s │ │ ├── cv-exthz.test-cg.ll │ │ ├── cv-exthz.test-intrin.ll │ │ ├── cv-exthz.test-mc-invalid.s │ │ ├── cv-exthz.test-mc.s │ │ ├── cv-max.test-cg.ll │ │ ├── cv-max.test-intrin.ll │ │ ├── cv-max.test-mc-invalid.s │ │ ├── cv-max.test-mc.s │ │ ├── cv-maxu.test-cg.ll │ │ ├── cv-maxu.test-intrin.ll │ │ ├── cv-maxu.test-mc-invalid.s │ │ ├── cv-maxu.test-mc.s │ │ ├── cv-min.test-cg.ll │ │ ├── cv-min.test-intrin.ll │ │ ├── cv-min.test-mc-invalid.s │ │ ├── cv-min.test-mc.s │ │ ├── cv-minu.test-cg.ll │ │ ├── cv-minu.test-intrin.ll │ │ ├── cv-minu.test-mc-invalid.s │ │ ├── cv-minu.test-mc.s │ │ ├── cv-slet.test-cg.ll │ │ ├── cv-slet.test-intrin.ll │ │ ├── cv-slet.test-mc-invalid.s │ │ ├── cv-slet.test-mc.s │ │ ├── cv-sletu.test-intrin.ll │ │ ├── cv-sletu.test-mc-invalid.s │ │ ├── cv-sleu.test-cg.ll │ │ ├── cv-sleu.test-mc.s │ │ ├── cv-subn.test-cg.ll │ │ ├── cv-subn.test-intrin.ll │ │ ├── cv-subn.test-mc-invalid.s │ │ ├── cv-subnr.test-cg.ll │ │ ├── cv-subnr.test-intrin.ll │ │ ├── cv-subnr.test-mc-invalid.s │ │ ├── cv-subnr.test-mc.s │ │ ├── cv-subrn.test-cg.ll │ │ ├── cv-subrn.test-intrin.ll │ │ ├── cv-subrn.test-mc-invalid.s │ │ ├── cv-subrn.test-mc.s │ │ ├── cv-subrnr.test-cg.ll │ │ ├── cv-subrnr.test-intrin.ll │ │ ├── cv-subrnr.test-mc-invalid.s │ │ ├── cv-subrnr.test-mc.s │ │ ├── cv-subun.test-cg.ll │ │ ├── cv-subun.test-intrin.ll │ │ ├── cv-subun.test-mc.s │ │ ├── cv-subunr.test-cg.ll │ │ ├── cv-subunr.test-intrin.ll │ │ ├── cv-subunr.test-mc.s │ │ ├── cv-suburn.test-cg.ll │ │ ├── cv-suburn.test-intrin.ll │ │ ├── cv-suburn.test-mc.s │ │ ├── cv-suburnr.test-cg.ll │ │ ├── cv-suburnr.test-intrin.ll │ │ └── cv-suburnr.test-mc.s │ │ ├── bi │ │ ├── cv-beqimm.test-cg.ll │ │ └── cv-bneimm.test-cg.ll │ │ ├── bitmanip │ │ ├── cv-ror.test-cg.ll │ │ ├── cv-ror.test-intrin.ll │ │ ├── cv-ror.test-mc-invalid.s │ │ └── cv-ror.test-mc.s │ │ └── mac │ │ ├── cv-mac.test-builtin.c │ │ ├── cv-mac.test-cg.ll │ │ ├── cv-mac.test-intrin.ll │ │ ├── cv-mac.test-mc-invalid.s │ │ ├── cv-machhsn.test-cg.ll │ │ ├── cv-machhsn.test-intrin.ll │ │ ├── cv-machhsrn.test-cg.ll │ │ ├── cv-machhsrn.test-intrin.ll │ │ ├── cv-machhun.test-cg.ll │ │ ├── cv-machhun.test-intrin.ll │ │ ├── cv-machhurn.test-cg.ll │ │ ├── cv-machhurn.test-intrin.ll │ │ ├── cv-macsn.test-cg.ll │ │ ├── cv-macsn.test-intrin.ll │ │ ├── cv-macsrn.test-cg.ll │ │ ├── cv-macsrn.test-intrin.ll │ │ ├── cv-macun.test-cg.ll │ │ ├── cv-macun.test-intrin.ll │ │ ├── cv-macurn.test-cg.ll │ │ ├── cv-macurn.test-intrin.ll │ │ ├── cv-msu.test-cg.ll │ │ ├── cv-msu.test-intrin.ll │ │ ├── cv-mulhhs.test-cg.ll │ │ ├── cv-mulhhsn.test-cg.ll │ │ ├── cv-mulhhsn.test-intrin.ll │ │ ├── cv-mulhhsrn.test-cg.ll │ │ ├── cv-mulhhsrn.test-intrin.ll │ │ ├── cv-mulhhu.test-cg.ll │ │ ├── cv-mulhhun.test-cg.ll │ │ ├── cv-mulhhun.test-intrin.ll │ │ ├── cv-mulhhurn.test-cg.ll │ │ ├── cv-mulhhurn.test-intrin.ll │ │ ├── cv-muls.test-cg.ll │ │ ├── cv-mulsn.test-cg.ll │ │ ├── cv-mulsn.test-intrin.ll │ │ ├── cv-mulsrn.test-cg.ll │ │ ├── cv-mulsrn.test-intrin.ll │ │ ├── cv-mulu.test-cg.ll │ │ ├── cv-mulun.test-cg.ll │ │ ├── cv-mulun.test-intrin.ll │ │ ├── cv-mulurn.test-cg.ll │ │ └── cv-mulurn.test-intrin.ll ├── corev_demo.py ├── demo.py ├── demo.sh ├── example │ ├── cdsl │ │ ├── Example.core_desc │ │ ├── ExampleRV32C.core_desc │ │ └── ExampleRV64.core_desc │ ├── cfg │ │ ├── XExample.yml │ │ ├── XExample64.yml │ │ ├── intrinsics.yml │ │ └── intrinsics64.yml │ └── tests │ │ ├── xexample-subincacc.test-builtin.c │ │ ├── xexample-subincacc.test-cg.c │ │ ├── xexample-subincacc.test-cg.ll │ │ ├── xexample-subincacc.test-inline-asm.c │ │ ├── xexample-subincacc.test-intrin.ll │ │ ├── xexample-subincacc.test-invalid.s │ │ ├── xexample-subincacc.test-mc.s │ │ ├── xexample64-subincacc.test-builtin.c │ │ ├── xexample64-subincacc.test-cg.c │ │ ├── xexample64-subincacc.test-cg.ll │ │ ├── xexample64-subincacc.test-inline-asm.c │ │ ├── xexample64-subincacc.test-intrin.ll │ │ ├── xexample64-subincacc.test-invalid.s │ │ ├── xexample64-subincacc.test-mc.s │ │ └── xrvc │ │ ├── xrv-nand.test-cg.c │ │ ├── xrv-nand.test-cg.ll │ │ ├── xrv-nand.test-mc.s │ │ ├── xrv-nandi.test-cg.c │ │ ├── xrv-nandi.test-cg.ll │ │ ├── xrv-nandi.test-invalid.s │ │ ├── xrv-nandi.test-mc.s │ │ ├── xrvc-nand.test-compress.s │ │ ├── xrvc-nand.test-invalid.s │ │ ├── xrvc-nand.test-mc.s │ │ ├── xrvc-nandi.test-compress.s │ │ ├── xrvc-nandi.test-invalid.s │ │ └── xrvc-nandi.test-mc.s ├── gen │ └── cfg │ │ ├── all.yml │ │ └── riscv.yml ├── gen_demo.py ├── gpr32_demo.py ├── merge_test_artifacts.py ├── openasip │ ├── cfg │ │ ├── OpenASIP_base.yml │ │ ├── OpenASIP_paper.yml │ │ └── intrinsics.yml │ └── tests │ │ └── base │ │ ├── openasip_base_max.test-builtin.c │ │ ├── openasip_base_max.test-cg.c │ │ ├── openasip_base_max.test-cg.ll │ │ ├── openasip_base_max.test-inline-asm.c │ │ ├── openasip_base_max.test-intrin.ll │ │ ├── openasip_base_max.test-invalid.s │ │ ├── openasip_base_max.test-mc.s │ │ ├── openasip_base_maxu.test-builtin.c │ │ ├── openasip_base_maxu.test-cg.c │ │ ├── openasip_base_maxu.test-cg.ll │ │ ├── openasip_base_maxu.test-inline-asm.c │ │ ├── openasip_base_maxu.test-intrin.ll │ │ └── openasip_base_maxu.test-mc.s ├── openasip_demo.py ├── rv64_demo.py ├── rvc_demo.py ├── rvp │ ├── cdsl │ │ ├── RV32P.core_desc │ │ └── RVP.core_desc │ └── cfg │ │ └── RVP.yml ├── rvp_demo.py ├── s4e │ ├── cfg │ │ └── s4e-mac.yml │ └── tests │ │ ├── s4e-get-acc-hi.test-inline-asm.c │ │ ├── s4e-get-acc-hi.test-invalid.s │ │ ├── s4e-get-acc-hi.test-mc.s │ │ ├── s4e-get-acc-lo.test-inline-asm.c │ │ ├── s4e-get-acc-lo.test-invalid.s │ │ ├── s4e-get-acc-lo.test-mc.s │ │ ├── s4e-macs-128.test-mc.s │ │ ├── s4e-macs-32.test-inline-asm.c │ │ ├── s4e-macs-32.test-invalid.s │ │ ├── s4e-macs-32.test-mc.s │ │ ├── s4e-macs-64.test-inline-asm.c │ │ ├── s4e-macs-64.test-invalid.s │ │ ├── s4e-macs-64.test-mc.s │ │ ├── s4e-macu-32.test-inline-asm.c │ │ ├── s4e-macu-32.test-invalid.s │ │ ├── s4e-macu-32.test-mc.s │ │ ├── s4e-macu-64.test-inline-asm.c │ │ ├── s4e-macu-64.test-invalid.s │ │ ├── s4e-macu-64.test-mc.s │ │ ├── s4e-reset-acc.test-inline-asm.c │ │ ├── s4e-reset-acc.test-invalid.s │ │ ├── s4e-reset-acc.test-mc.s │ │ ├── xs4e.test.s │ │ └── xs4emac.test.s ├── s4e_demo.py ├── se_demo.py ├── tumeda │ ├── cdsl │ │ ├── .gitkeep │ │ ├── SEAL5_CV_SUBPKD820.core_desc │ │ └── XCoreVNand.core_desc │ ├── cfg │ │ └── intrinsics.yml │ └── tests │ │ ├── cv-nand-bitwise.test-builtin.ll │ │ ├── cv-nand-bitwise.test-cg.c │ │ ├── cv-nand-bitwise.test-cg.ll │ │ ├── cv-nand-bitwise.test-inline-asm.c │ │ ├── cv-nand-bitwise.test-intrin.c │ │ ├── cv-nand-bitwise.test-invalid.s │ │ └── cv-nand-bitwise.test-mc.s └── tumeda_demo.py ├── instr_info_td_notes.txt ├── notes └── macshh_gisel │ ├── Seal5Test_mac_cv_machhNs │ ├── cv_machhNs.core_desc │ ├── cv_machhNs.gmir │ ├── cv_machhNs.ll │ ├── cv_machhNs.td │ ├── cv_machhNs.td.out │ └── cv_machhNs.td.pat │ ├── Seal5Test_mac_cv_macs_i16 │ ├── cv_macs_i16.core_desc │ ├── cv_macs_i16.gmir │ ├── cv_macs_i16.ll │ ├── cv_macs_i16.td │ ├── cv_macs_i16.td.out │ └── cv_macs_i16.td.pat │ ├── Seal5Test_mac_cv_macs_i32 │ ├── cv_macs_i32.core_desc │ ├── cv_macs_i32.gmir │ ├── cv_macs_i32.ll │ ├── cv_macs_i32.td │ ├── cv_macs_i32.td.out │ └── cv_macs_i32.td.pat │ ├── cecil_test.c │ ├── cmd.txt │ ├── diff.txt │ └── err.txt ├── pyproject.toml ├── requirements.txt ├── requirements_dev.txt ├── scripts ├── black.sh ├── flake8.sh └── pylint.sh ├── seal5 ├── __init__.py ├── backends │ ├── __init__.py │ ├── coredsl2 │ │ ├── __init__.py │ │ ├── visitor.py │ │ └── writer.py │ ├── llvmir │ │ ├── __init__.py │ │ └── writer.py │ ├── patterngen │ │ ├── __init__.py │ │ └── writer.py │ ├── report │ │ ├── __init__.py │ │ ├── diff │ │ │ ├── __init__.py │ │ │ └── writer.py │ │ ├── pattern_gen │ │ │ ├── __init__.py │ │ │ └── writer.py │ │ ├── properties │ │ │ ├── __init__.py │ │ │ └── writer.py │ │ ├── status │ │ │ ├── __init__.py │ │ │ └── writer.py │ │ ├── test_results │ │ │ ├── __init__.py │ │ │ └── writer.py │ │ └── times │ │ │ ├── __init__.py │ │ │ └── writer.py │ ├── riscv_features │ │ ├── __init__.py │ │ ├── templates │ │ │ ├── __init__.py │ │ │ ├── riscv_features.mako │ │ │ ├── riscv_features_experimental_new.mako │ │ │ ├── riscv_features_experimental_new_slim.mako │ │ │ ├── riscv_features_new.mako │ │ │ └── riscv_features_new_slim.mako │ │ └── writer.py │ ├── riscv_field_types │ │ ├── __init__.py │ │ └── writer.py │ ├── riscv_gisel_legalizer │ │ ├── __init__.py │ │ └── writer.py │ ├── riscv_instr_info │ │ ├── __init__.py │ │ ├── templates │ │ │ ├── __init__.py │ │ │ └── instr_tablegen.mako │ │ └── writer.py │ ├── riscv_intrinsics │ │ ├── __init__.py │ │ └── writer.py │ ├── riscv_isa_info │ │ ├── __init__.py │ │ └── writer.py │ ├── riscv_register_info │ │ ├── __init__.py │ │ └── writer.py │ ├── viewer_seal5 │ │ ├── __init__.py │ │ ├── treegen.py │ │ ├── utils.py │ │ └── viewer.py │ └── yaml │ │ ├── __init__.py │ │ └── writer.py ├── cli │ ├── __init__.py │ ├── build.py │ ├── clean.py │ ├── common.py │ ├── deploy.py │ ├── export.py │ ├── generate.py │ ├── init.py │ ├── install.py │ ├── load.py │ ├── main.py │ ├── patch.py │ ├── reset.py │ ├── setup.py │ ├── test.py │ ├── transform.py │ └── wrapper.py ├── dependencies.py ├── flow.py ├── frontends │ └── coredsl2_seal5 │ │ ├── .gitignore │ │ ├── CoreDSL2.g4 │ │ ├── README.md │ │ ├── __init__.py │ │ ├── antlr.sh │ │ ├── architecture_model_builder.py │ │ ├── behavior_model_builder.py │ │ ├── expr_interpreter.py │ │ ├── importer.py │ │ ├── load_order.py │ │ ├── parser.py │ │ ├── parser_gen │ │ ├── .gitignore │ │ ├── CoreDSL2Lexer.py │ │ ├── CoreDSL2Listener.py │ │ ├── CoreDSL2Parser.py │ │ ├── CoreDSL2Visitor.py │ │ └── __init__.py │ │ └── utils.py ├── index.py ├── logging.py ├── metrics.py ├── model.py ├── model_utils.py ├── pass_list.py ├── passes.py ├── resources │ ├── __init__.py │ ├── lit.cfg.py │ ├── patches │ │ └── llvm │ │ │ ├── github_ci.patch │ │ │ ├── gitignore.patch │ │ │ ├── gitlab_ci.patch │ │ │ ├── insert_markers_llvm17.patch │ │ │ ├── insert_markers_llvm18.patch │ │ │ ├── insert_markers_llvm19.patch │ │ │ ├── insert_markers_llvm20.patch │ │ │ ├── legalizer_fix_1.patch │ │ │ ├── legalizer_fix_2.patch │ │ │ ├── legalizer_split.patch │ │ │ ├── regclass_gpr32v.patch │ │ │ └── simd_gpr32v.patch │ └── resources.py ├── riscv_utils.py ├── settings.py ├── tools │ ├── __init__.py │ ├── cdsl2llvm.py │ ├── cmake.py │ ├── git.py │ ├── inject_patches.py │ ├── llvm.py │ └── m2isar.py ├── transform │ ├── __init__.py │ ├── check_pattern_support │ │ ├── __init__.py │ │ └── check.py │ ├── collect_immediate_operands │ │ ├── __init__.py │ │ ├── collect.py │ │ └── visitor.py │ ├── collect_operand_types │ │ ├── __init__.py │ │ ├── collect.py │ │ └── visitor.py │ ├── collect_raises │ │ ├── __init__.py │ │ ├── collect.py │ │ └── visitor.py │ ├── collect_register_operands │ │ ├── __init__.py │ │ ├── collect.py │ │ └── visitor.py │ ├── converter.py │ ├── detect_calls │ │ ├── __init__.py │ │ ├── collect.py │ │ └── visitor.py │ ├── detect_imm_leafs │ │ ├── __init__.py │ │ ├── collect.py │ │ └── visitor.py │ ├── detect_inouts │ │ ├── __init__.py │ │ ├── collect.py │ │ ├── utils.py │ │ └── visitor.py │ ├── detect_loops │ │ ├── __init__.py │ │ ├── collect.py │ │ └── visitor.py │ ├── detect_registers │ │ ├── __init__.py │ │ └── detect.py │ ├── detect_side_effects │ │ ├── __init__.py │ │ ├── collect.py │ │ └── visitor.py │ ├── drop_unused │ │ ├── __init__.py │ │ ├── optimizer.py │ │ └── track_uses.py │ ├── eliminate_mod_rfs │ │ ├── __init__.py │ │ ├── transform.py │ │ └── visitor.py │ ├── eliminate_rd_cmp_zero │ │ ├── __init__.py │ │ ├── transform.py │ │ └── visitor.py │ ├── explicit_truncations │ │ ├── __init__.py │ │ ├── transform.py │ │ └── visitor.py │ ├── filter_model │ │ ├── __init__.py │ │ └── filter.py │ ├── infer_types │ │ ├── __init__.py │ │ ├── transform.py │ │ └── visitor.py │ ├── inline_functions │ │ ├── __init__.py │ │ ├── optimizer.py │ │ └── visitor.py │ ├── optimize_instructions │ │ ├── __init__.py │ │ └── optimizer.py │ ├── process_settings │ │ ├── __init__.py │ │ └── transform.py │ └── simplify_trivial_slices │ │ ├── __init__.py │ │ ├── transform.py │ │ └── visitor.py ├── types.py ├── utils.py ├── version.py └── wrapper.py ├── setup.cfg └── ttiimpl_notes.txt /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.dockerignore -------------------------------------------------------------------------------- /.github/workflows/container.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.github/workflows/container.yml -------------------------------------------------------------------------------- /.github/workflows/demo.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.github/workflows/demo.yml -------------------------------------------------------------------------------- /.github/workflows/demo_weekly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.github/workflows/demo_weekly.yml -------------------------------------------------------------------------------- /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/style.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.github/workflows/style.yml -------------------------------------------------------------------------------- /.github/workflows/trigger.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.github/workflows/trigger.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.gitmodules -------------------------------------------------------------------------------- /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /BMBF_gefoerdert_2017_en.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/BMBF_gefoerdert_2017_en.jpg -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/CITATION.cff -------------------------------------------------------------------------------- /COMPATIBILITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/COMPATIBILITY.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/LICENSE -------------------------------------------------------------------------------- /LIMITATIONS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/LIMITATIONS.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/README.md -------------------------------------------------------------------------------- /docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/docker/Dockerfile -------------------------------------------------------------------------------- /docker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/docker/README.md -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | _build/ 2 | _autosummary/ 3 | -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/_static/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/readme.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/docs/readme.rst -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/docs/requirements.txt -------------------------------------------------------------------------------- /examples/common/cfg/filter.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/filter.yml -------------------------------------------------------------------------------- /examples/common/cfg/git.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/git.yml -------------------------------------------------------------------------------- /examples/common/cfg/llvm.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/llvm.yml -------------------------------------------------------------------------------- /examples/common/cfg/llvm18_imm_types.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/llvm18_imm_types.yml -------------------------------------------------------------------------------- /examples/common/cfg/llvm19_imm_types.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/llvm19_imm_types.yml -------------------------------------------------------------------------------- /examples/common/cfg/llvm20_imm_types.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/llvm20_imm_types.yml -------------------------------------------------------------------------------- /examples/common/cfg/passes.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/passes.yml -------------------------------------------------------------------------------- /examples/common/cfg/patches.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/patches.yml -------------------------------------------------------------------------------- /examples/common/cfg/riscv.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/riscv.yml -------------------------------------------------------------------------------- /examples/common/cfg/simd_patches.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/simd_patches.yml -------------------------------------------------------------------------------- /examples/common/cfg/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/tests.yml -------------------------------------------------------------------------------- /examples/common/cfg/tools.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/common/cfg/tools.yml -------------------------------------------------------------------------------- /examples/corev/cfg/XCoreVAlu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/cfg/XCoreVAlu.yml -------------------------------------------------------------------------------- /examples/corev/cfg/XCoreVBitmanip.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/cfg/XCoreVBitmanip.yml -------------------------------------------------------------------------------- /examples/corev/cfg/XCoreVBranchImmediate.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/cfg/XCoreVBranchImmediate.yml -------------------------------------------------------------------------------- /examples/corev/cfg/XCoreVMac.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/cfg/XCoreVMac.yml -------------------------------------------------------------------------------- /examples/corev/cfg/XCoreVMem.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/cfg/XCoreVMem.yml -------------------------------------------------------------------------------- /examples/corev/cfg/XCoreVSimd.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/cfg/XCoreVSimd.yml -------------------------------------------------------------------------------- /examples/corev/cfg/filter.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/cfg/filter.yml -------------------------------------------------------------------------------- /examples/corev/cfg/riscv.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/cfg/riscv.yml -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-abs.test-builtin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-abs.test-builtin.c -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-abs.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-abs.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-abs.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-abs.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-abs.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-abs.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-abs.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-abs.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addn.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addn.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addn.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addn.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addnr.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addnr.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addnr.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addnr.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addnr.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addnr.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addnr.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addnr.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addrn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addrn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addrn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addrn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addrn.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addrn.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addrn.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addrn.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addrnr.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addrnr.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addrnr.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addrnr.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addrnr.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addrnr.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addrnr.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addrnr.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addun.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addun.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addun.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addun.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addun.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addun.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addunr.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addunr.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addunr.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addunr.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addunr.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addunr.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addurn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addurn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addurn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addurn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addurn.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addurn.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addurnr.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addurnr.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addurnr.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addurnr.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-addurnr.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-addurnr.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clip.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clip.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clip.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clip.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clip.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clip.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clip.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clip.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipr.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipr.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipr.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipr.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipr.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipr.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipr.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipr.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipu.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipu.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipu.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipu.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipu.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipu.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipu.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipu.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipur.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipur.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipur.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipur.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipur.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipur.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-clipur.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-clipur.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-extbs.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-extbs.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-extbs.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-extbs.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-extbs.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-extbs.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-extbs.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-extbs.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-extbz.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-extbz.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-extbz.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-extbz.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-extbz.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-extbz.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-extbz.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-extbz.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-exths.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-exths.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-exths.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-exths.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-exths.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-exths.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-exths.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-exths.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-exthz.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-exthz.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-exthz.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-exthz.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-exthz.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-exthz.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-exthz.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-exthz.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-max.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-max.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-max.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-max.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-max.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-max.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-max.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-max.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-maxu.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-maxu.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-maxu.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-maxu.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-maxu.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-maxu.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-maxu.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-maxu.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-min.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-min.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-min.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-min.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-min.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-min.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-min.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-min.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-minu.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-minu.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-minu.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-minu.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-minu.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-minu.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-minu.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-minu.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-slet.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-slet.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-slet.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-slet.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-slet.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-slet.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-slet.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-slet.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-sletu.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-sletu.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-sletu.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-sletu.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-sleu.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-sleu.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-sleu.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-sleu.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subn.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subn.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subnr.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subnr.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subnr.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subnr.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subnr.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subnr.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subnr.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subnr.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subrn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subrn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subrn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subrn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subrn.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subrn.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subrn.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subrn.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subrnr.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subrnr.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subrnr.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subrnr.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subrnr.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subrnr.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subrnr.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subrnr.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subun.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subun.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subun.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subun.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subun.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subun.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subunr.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subunr.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subunr.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subunr.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-subunr.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-subunr.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-suburn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-suburn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-suburn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-suburn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-suburn.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-suburn.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-suburnr.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-suburnr.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-suburnr.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-suburnr.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/alu/cv-suburnr.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/alu/cv-suburnr.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/bi/cv-beqimm.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/bi/cv-beqimm.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/bi/cv-bneimm.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/bi/cv-bneimm.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/bitmanip/cv-ror.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/bitmanip/cv-ror.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/bitmanip/cv-ror.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/bitmanip/cv-ror.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/bitmanip/cv-ror.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/bitmanip/cv-ror.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/bitmanip/cv-ror.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/bitmanip/cv-ror.test-mc.s -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mac.test-builtin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mac.test-builtin.c -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mac.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mac.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mac.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mac.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mac.test-mc-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mac.test-mc-invalid.s -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-machhsn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-machhsn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-machhsn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-machhsn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-machhsrn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-machhsrn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-machhsrn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-machhsrn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-machhun.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-machhun.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-machhun.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-machhun.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-machhurn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-machhurn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-machhurn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-machhurn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-macsn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-macsn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-macsn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-macsn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-macsrn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-macsrn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-macsrn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-macsrn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-macun.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-macun.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-macun.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-macun.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-macurn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-macurn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-macurn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-macurn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-msu.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-msu.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-msu.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-msu.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhs.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhs.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhsn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhsn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhsn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhsn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhsrn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhsrn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhsrn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhsrn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhu.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhu.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhun.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhun.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhun.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhun.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhurn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhurn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulhhurn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulhhurn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-muls.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-muls.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulsn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulsn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulsn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulsn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulsrn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulsrn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulsrn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulsrn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulu.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulu.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulun.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulun.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulun.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulun.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulurn.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulurn.test-cg.ll -------------------------------------------------------------------------------- /examples/corev/tests/mac/cv-mulurn.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev/tests/mac/cv-mulurn.test-intrin.ll -------------------------------------------------------------------------------- /examples/corev_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/corev_demo.py -------------------------------------------------------------------------------- /examples/demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/demo.py -------------------------------------------------------------------------------- /examples/demo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/demo.sh -------------------------------------------------------------------------------- /examples/example/cdsl/Example.core_desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/cdsl/Example.core_desc -------------------------------------------------------------------------------- /examples/example/cdsl/ExampleRV32C.core_desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/cdsl/ExampleRV32C.core_desc -------------------------------------------------------------------------------- /examples/example/cdsl/ExampleRV64.core_desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/cdsl/ExampleRV64.core_desc -------------------------------------------------------------------------------- /examples/example/cfg/XExample.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/cfg/XExample.yml -------------------------------------------------------------------------------- /examples/example/cfg/XExample64.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/cfg/XExample64.yml -------------------------------------------------------------------------------- /examples/example/cfg/intrinsics.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/cfg/intrinsics.yml -------------------------------------------------------------------------------- /examples/example/cfg/intrinsics64.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/cfg/intrinsics64.yml -------------------------------------------------------------------------------- /examples/example/tests/xexample-subincacc.test-builtin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample-subincacc.test-builtin.c -------------------------------------------------------------------------------- /examples/example/tests/xexample-subincacc.test-cg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample-subincacc.test-cg.c -------------------------------------------------------------------------------- /examples/example/tests/xexample-subincacc.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample-subincacc.test-cg.ll -------------------------------------------------------------------------------- /examples/example/tests/xexample-subincacc.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample-subincacc.test-inline-asm.c -------------------------------------------------------------------------------- /examples/example/tests/xexample-subincacc.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample-subincacc.test-intrin.ll -------------------------------------------------------------------------------- /examples/example/tests/xexample-subincacc.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample-subincacc.test-invalid.s -------------------------------------------------------------------------------- /examples/example/tests/xexample-subincacc.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample-subincacc.test-mc.s -------------------------------------------------------------------------------- /examples/example/tests/xexample64-subincacc.test-builtin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample64-subincacc.test-builtin.c -------------------------------------------------------------------------------- /examples/example/tests/xexample64-subincacc.test-cg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample64-subincacc.test-cg.c -------------------------------------------------------------------------------- /examples/example/tests/xexample64-subincacc.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample64-subincacc.test-cg.ll -------------------------------------------------------------------------------- /examples/example/tests/xexample64-subincacc.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample64-subincacc.test-inline-asm.c -------------------------------------------------------------------------------- /examples/example/tests/xexample64-subincacc.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample64-subincacc.test-intrin.ll -------------------------------------------------------------------------------- /examples/example/tests/xexample64-subincacc.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample64-subincacc.test-invalid.s -------------------------------------------------------------------------------- /examples/example/tests/xexample64-subincacc.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xexample64-subincacc.test-mc.s -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrv-nand.test-cg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrv-nand.test-cg.c -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrv-nand.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrv-nand.test-cg.ll -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrv-nand.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrv-nand.test-mc.s -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrv-nandi.test-cg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrv-nandi.test-cg.c -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrv-nandi.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrv-nandi.test-cg.ll -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrv-nandi.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrv-nandi.test-invalid.s -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrv-nandi.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrv-nandi.test-mc.s -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrvc-nand.test-compress.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrvc-nand.test-compress.s -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrvc-nand.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrvc-nand.test-invalid.s -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrvc-nand.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrvc-nand.test-mc.s -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrvc-nandi.test-compress.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrvc-nandi.test-compress.s -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrvc-nandi.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrvc-nandi.test-invalid.s -------------------------------------------------------------------------------- /examples/example/tests/xrvc/xrvc-nandi.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/example/tests/xrvc/xrvc-nandi.test-mc.s -------------------------------------------------------------------------------- /examples/gen/cfg/all.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/gen/cfg/all.yml -------------------------------------------------------------------------------- /examples/gen/cfg/riscv.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/gen/cfg/riscv.yml -------------------------------------------------------------------------------- /examples/gen_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/gen_demo.py -------------------------------------------------------------------------------- /examples/gpr32_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/gpr32_demo.py -------------------------------------------------------------------------------- /examples/merge_test_artifacts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/merge_test_artifacts.py -------------------------------------------------------------------------------- /examples/openasip/cfg/OpenASIP_base.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/cfg/OpenASIP_base.yml -------------------------------------------------------------------------------- /examples/openasip/cfg/OpenASIP_paper.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/cfg/OpenASIP_paper.yml -------------------------------------------------------------------------------- /examples/openasip/cfg/intrinsics.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/cfg/intrinsics.yml -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_max.test-builtin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_max.test-builtin.c -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_max.test-cg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_max.test-cg.c -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_max.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_max.test-cg.ll -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_max.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_max.test-inline-asm.c -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_max.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_max.test-intrin.ll -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_max.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_max.test-invalid.s -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_max.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_max.test-mc.s -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_maxu.test-builtin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_maxu.test-builtin.c -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_maxu.test-cg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_maxu.test-cg.c -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_maxu.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_maxu.test-cg.ll -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_maxu.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_maxu.test-inline-asm.c -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_maxu.test-intrin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_maxu.test-intrin.ll -------------------------------------------------------------------------------- /examples/openasip/tests/base/openasip_base_maxu.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip/tests/base/openasip_base_maxu.test-mc.s -------------------------------------------------------------------------------- /examples/openasip_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/openasip_demo.py -------------------------------------------------------------------------------- /examples/rv64_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/rv64_demo.py -------------------------------------------------------------------------------- /examples/rvc_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/rvc_demo.py -------------------------------------------------------------------------------- /examples/rvp/cdsl/RV32P.core_desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/rvp/cdsl/RV32P.core_desc -------------------------------------------------------------------------------- /examples/rvp/cdsl/RVP.core_desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/rvp/cdsl/RVP.core_desc -------------------------------------------------------------------------------- /examples/rvp/cfg/RVP.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/rvp/cfg/RVP.yml -------------------------------------------------------------------------------- /examples/rvp_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/rvp_demo.py -------------------------------------------------------------------------------- /examples/s4e/cfg/s4e-mac.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/cfg/s4e-mac.yml -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-get-acc-hi.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-get-acc-hi.test-inline-asm.c -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-get-acc-hi.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-get-acc-hi.test-invalid.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-get-acc-hi.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-get-acc-hi.test-mc.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-get-acc-lo.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-get-acc-lo.test-inline-asm.c -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-get-acc-lo.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-get-acc-lo.test-invalid.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-get-acc-lo.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-get-acc-lo.test-mc.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macs-128.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macs-128.test-mc.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macs-32.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macs-32.test-inline-asm.c -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macs-32.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macs-32.test-invalid.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macs-32.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macs-32.test-mc.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macs-64.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macs-64.test-inline-asm.c -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macs-64.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macs-64.test-invalid.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macs-64.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macs-64.test-mc.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macu-32.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macu-32.test-inline-asm.c -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macu-32.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macu-32.test-invalid.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macu-32.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macu-32.test-mc.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macu-64.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macu-64.test-inline-asm.c -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macu-64.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macu-64.test-invalid.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-macu-64.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-macu-64.test-mc.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-reset-acc.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-reset-acc.test-inline-asm.c -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-reset-acc.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-reset-acc.test-invalid.s -------------------------------------------------------------------------------- /examples/s4e/tests/s4e-reset-acc.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/s4e-reset-acc.test-mc.s -------------------------------------------------------------------------------- /examples/s4e/tests/xs4e.test.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/xs4e.test.s -------------------------------------------------------------------------------- /examples/s4e/tests/xs4emac.test.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e/tests/xs4emac.test.s -------------------------------------------------------------------------------- /examples/s4e_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/s4e_demo.py -------------------------------------------------------------------------------- /examples/se_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/se_demo.py -------------------------------------------------------------------------------- /examples/tumeda/cdsl/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/tumeda/cdsl/SEAL5_CV_SUBPKD820.core_desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/cdsl/SEAL5_CV_SUBPKD820.core_desc -------------------------------------------------------------------------------- /examples/tumeda/cdsl/XCoreVNand.core_desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/cdsl/XCoreVNand.core_desc -------------------------------------------------------------------------------- /examples/tumeda/cfg/intrinsics.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/cfg/intrinsics.yml -------------------------------------------------------------------------------- /examples/tumeda/tests/cv-nand-bitwise.test-builtin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/tests/cv-nand-bitwise.test-builtin.ll -------------------------------------------------------------------------------- /examples/tumeda/tests/cv-nand-bitwise.test-cg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/tests/cv-nand-bitwise.test-cg.c -------------------------------------------------------------------------------- /examples/tumeda/tests/cv-nand-bitwise.test-cg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/tests/cv-nand-bitwise.test-cg.ll -------------------------------------------------------------------------------- /examples/tumeda/tests/cv-nand-bitwise.test-inline-asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/tests/cv-nand-bitwise.test-inline-asm.c -------------------------------------------------------------------------------- /examples/tumeda/tests/cv-nand-bitwise.test-intrin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/tests/cv-nand-bitwise.test-intrin.c -------------------------------------------------------------------------------- /examples/tumeda/tests/cv-nand-bitwise.test-invalid.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/tests/cv-nand-bitwise.test-invalid.s -------------------------------------------------------------------------------- /examples/tumeda/tests/cv-nand-bitwise.test-mc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda/tests/cv-nand-bitwise.test-mc.s -------------------------------------------------------------------------------- /examples/tumeda_demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/examples/tumeda_demo.py -------------------------------------------------------------------------------- /instr_info_td_notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/instr_info_td_notes.txt -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.core_desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.core_desc -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.gmir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.gmir -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.ll -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.td -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.td.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.td.out -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.td.pat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_machhNs/cv_machhNs.td.pat -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.core_desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.gmir -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.ll -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_macs_i16/cv_macs_i16.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.gmir -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.ll -------------------------------------------------------------------------------- /notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/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: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/Seal5Test_mac_cv_macs_i32/cv_macs_i32.td.pat -------------------------------------------------------------------------------- /notes/macshh_gisel/cecil_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/cecil_test.c -------------------------------------------------------------------------------- /notes/macshh_gisel/cmd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/cmd.txt -------------------------------------------------------------------------------- /notes/macshh_gisel/diff.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/diff.txt -------------------------------------------------------------------------------- /notes/macshh_gisel/err.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/notes/macshh_gisel/err.txt -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/pyproject.toml -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/requirements.txt -------------------------------------------------------------------------------- /requirements_dev.txt: -------------------------------------------------------------------------------- 1 | -r requirements.txt 2 | black>=22.8.0 3 | flake8 4 | pylint 5 | build 6 | twine 7 | -------------------------------------------------------------------------------- /scripts/black.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | set -e 4 | 5 | python3 -m black -l120 seal5 examples 6 | -------------------------------------------------------------------------------- /scripts/flake8.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | set -e 4 | 5 | python3 -m flake8 seal5 examples 6 | -------------------------------------------------------------------------------- /scripts/pylint.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | set -e 4 | 5 | python3 -m pylint seal5 examples 6 | -------------------------------------------------------------------------------- /seal5/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/__init__.py -------------------------------------------------------------------------------- /seal5/backends/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/__init__.py -------------------------------------------------------------------------------- /seal5/backends/coredsl2/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/coredsl2/__init__.py -------------------------------------------------------------------------------- /seal5/backends/coredsl2/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/coredsl2/visitor.py -------------------------------------------------------------------------------- /seal5/backends/coredsl2/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/coredsl2/writer.py -------------------------------------------------------------------------------- /seal5/backends/llvmir/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/llvmir/__init__.py -------------------------------------------------------------------------------- /seal5/backends/llvmir/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/llvmir/writer.py -------------------------------------------------------------------------------- /seal5/backends/patterngen/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/patterngen/__init__.py -------------------------------------------------------------------------------- /seal5/backends/patterngen/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/patterngen/writer.py -------------------------------------------------------------------------------- /seal5/backends/report/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/__init__.py -------------------------------------------------------------------------------- /seal5/backends/report/diff/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/diff/__init__.py -------------------------------------------------------------------------------- /seal5/backends/report/diff/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/diff/writer.py -------------------------------------------------------------------------------- /seal5/backends/report/pattern_gen/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/pattern_gen/__init__.py -------------------------------------------------------------------------------- /seal5/backends/report/pattern_gen/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/pattern_gen/writer.py -------------------------------------------------------------------------------- /seal5/backends/report/properties/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/properties/__init__.py -------------------------------------------------------------------------------- /seal5/backends/report/properties/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/properties/writer.py -------------------------------------------------------------------------------- /seal5/backends/report/status/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/status/__init__.py -------------------------------------------------------------------------------- /seal5/backends/report/status/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/status/writer.py -------------------------------------------------------------------------------- /seal5/backends/report/test_results/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/test_results/__init__.py -------------------------------------------------------------------------------- /seal5/backends/report/test_results/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/test_results/writer.py -------------------------------------------------------------------------------- /seal5/backends/report/times/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/times/__init__.py -------------------------------------------------------------------------------- /seal5/backends/report/times/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/report/times/writer.py -------------------------------------------------------------------------------- /seal5/backends/riscv_features/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_features/__init__.py -------------------------------------------------------------------------------- /seal5/backends/riscv_features/templates/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_features/templates/__init__.py -------------------------------------------------------------------------------- /seal5/backends/riscv_features/templates/riscv_features.mako: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_features/templates/riscv_features.mako -------------------------------------------------------------------------------- /seal5/backends/riscv_features/templates/riscv_features_experimental_new.mako: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_features/templates/riscv_features_experimental_new.mako -------------------------------------------------------------------------------- /seal5/backends/riscv_features/templates/riscv_features_experimental_new_slim.mako: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_features/templates/riscv_features_experimental_new_slim.mako -------------------------------------------------------------------------------- /seal5/backends/riscv_features/templates/riscv_features_new.mako: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_features/templates/riscv_features_new.mako -------------------------------------------------------------------------------- /seal5/backends/riscv_features/templates/riscv_features_new_slim.mako: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_features/templates/riscv_features_new_slim.mako -------------------------------------------------------------------------------- /seal5/backends/riscv_features/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_features/writer.py -------------------------------------------------------------------------------- /seal5/backends/riscv_field_types/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_field_types/__init__.py -------------------------------------------------------------------------------- /seal5/backends/riscv_field_types/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_field_types/writer.py -------------------------------------------------------------------------------- /seal5/backends/riscv_gisel_legalizer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_gisel_legalizer/__init__.py -------------------------------------------------------------------------------- /seal5/backends/riscv_gisel_legalizer/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_gisel_legalizer/writer.py -------------------------------------------------------------------------------- /seal5/backends/riscv_instr_info/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_instr_info/__init__.py -------------------------------------------------------------------------------- /seal5/backends/riscv_instr_info/templates/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_instr_info/templates/__init__.py -------------------------------------------------------------------------------- /seal5/backends/riscv_instr_info/templates/instr_tablegen.mako: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_instr_info/templates/instr_tablegen.mako -------------------------------------------------------------------------------- /seal5/backends/riscv_instr_info/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_instr_info/writer.py -------------------------------------------------------------------------------- /seal5/backends/riscv_intrinsics/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /seal5/backends/riscv_intrinsics/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_intrinsics/writer.py -------------------------------------------------------------------------------- /seal5/backends/riscv_isa_info/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_isa_info/__init__.py -------------------------------------------------------------------------------- /seal5/backends/riscv_isa_info/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_isa_info/writer.py -------------------------------------------------------------------------------- /seal5/backends/riscv_register_info/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_register_info/__init__.py -------------------------------------------------------------------------------- /seal5/backends/riscv_register_info/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/riscv_register_info/writer.py -------------------------------------------------------------------------------- /seal5/backends/viewer_seal5/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/viewer_seal5/__init__.py -------------------------------------------------------------------------------- /seal5/backends/viewer_seal5/treegen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/viewer_seal5/treegen.py -------------------------------------------------------------------------------- /seal5/backends/viewer_seal5/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/viewer_seal5/utils.py -------------------------------------------------------------------------------- /seal5/backends/viewer_seal5/viewer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/viewer_seal5/viewer.py -------------------------------------------------------------------------------- /seal5/backends/yaml/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/yaml/__init__.py -------------------------------------------------------------------------------- /seal5/backends/yaml/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/backends/yaml/writer.py -------------------------------------------------------------------------------- /seal5/cli/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/__init__.py -------------------------------------------------------------------------------- /seal5/cli/build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/build.py -------------------------------------------------------------------------------- /seal5/cli/clean.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/clean.py -------------------------------------------------------------------------------- /seal5/cli/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/common.py -------------------------------------------------------------------------------- /seal5/cli/deploy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/deploy.py -------------------------------------------------------------------------------- /seal5/cli/export.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/export.py -------------------------------------------------------------------------------- /seal5/cli/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/generate.py -------------------------------------------------------------------------------- /seal5/cli/init.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/init.py -------------------------------------------------------------------------------- /seal5/cli/install.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/install.py -------------------------------------------------------------------------------- /seal5/cli/load.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/load.py -------------------------------------------------------------------------------- /seal5/cli/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/main.py -------------------------------------------------------------------------------- /seal5/cli/patch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/patch.py -------------------------------------------------------------------------------- /seal5/cli/reset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/reset.py -------------------------------------------------------------------------------- /seal5/cli/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/setup.py -------------------------------------------------------------------------------- /seal5/cli/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/test.py -------------------------------------------------------------------------------- /seal5/cli/transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/transform.py -------------------------------------------------------------------------------- /seal5/cli/wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/cli/wrapper.py -------------------------------------------------------------------------------- /seal5/dependencies.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/dependencies.py -------------------------------------------------------------------------------- /seal5/flow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/flow.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/.gitignore -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/CoreDSL2.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/CoreDSL2.g4 -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/README.md -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/__init__.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/antlr.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/antlr.sh -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/architecture_model_builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/architecture_model_builder.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/behavior_model_builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/behavior_model_builder.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/expr_interpreter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/expr_interpreter.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/importer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/importer.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/load_order.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/load_order.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/parser.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/parser_gen/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/parser_gen/.gitignore -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Lexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Lexer.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Listener.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Listener.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Parser.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/parser_gen/CoreDSL2Visitor.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/parser_gen/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/parser_gen/__init__.py -------------------------------------------------------------------------------- /seal5/frontends/coredsl2_seal5/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/frontends/coredsl2_seal5/utils.py -------------------------------------------------------------------------------- /seal5/index.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/index.py -------------------------------------------------------------------------------- /seal5/logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/logging.py -------------------------------------------------------------------------------- /seal5/metrics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/metrics.py -------------------------------------------------------------------------------- /seal5/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/model.py -------------------------------------------------------------------------------- /seal5/model_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/model_utils.py -------------------------------------------------------------------------------- /seal5/pass_list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/pass_list.py -------------------------------------------------------------------------------- /seal5/passes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/passes.py -------------------------------------------------------------------------------- /seal5/resources/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/__init__.py -------------------------------------------------------------------------------- /seal5/resources/lit.cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/lit.cfg.py -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/github_ci.patch: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/gitignore.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/gitignore.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/gitlab_ci.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/gitlab_ci.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/insert_markers_llvm17.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/insert_markers_llvm17.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/insert_markers_llvm18.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/insert_markers_llvm18.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/insert_markers_llvm19.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/insert_markers_llvm19.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/insert_markers_llvm20.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/insert_markers_llvm20.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/legalizer_fix_1.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/legalizer_fix_1.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/legalizer_fix_2.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/legalizer_fix_2.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/legalizer_split.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/legalizer_split.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/regclass_gpr32v.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/regclass_gpr32v.patch -------------------------------------------------------------------------------- /seal5/resources/patches/llvm/simd_gpr32v.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/patches/llvm/simd_gpr32v.patch -------------------------------------------------------------------------------- /seal5/resources/resources.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/resources/resources.py -------------------------------------------------------------------------------- /seal5/riscv_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/riscv_utils.py -------------------------------------------------------------------------------- /seal5/settings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/settings.py -------------------------------------------------------------------------------- /seal5/tools/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/tools/__init__.py -------------------------------------------------------------------------------- /seal5/tools/cdsl2llvm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/tools/cdsl2llvm.py -------------------------------------------------------------------------------- /seal5/tools/cmake.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/tools/cmake.py -------------------------------------------------------------------------------- /seal5/tools/git.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/tools/git.py -------------------------------------------------------------------------------- /seal5/tools/inject_patches.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/tools/inject_patches.py -------------------------------------------------------------------------------- /seal5/tools/llvm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/tools/llvm.py -------------------------------------------------------------------------------- /seal5/tools/m2isar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/tools/m2isar.py -------------------------------------------------------------------------------- /seal5/transform/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/__init__.py -------------------------------------------------------------------------------- /seal5/transform/check_pattern_support/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/check_pattern_support/__init__.py -------------------------------------------------------------------------------- /seal5/transform/check_pattern_support/check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/check_pattern_support/check.py -------------------------------------------------------------------------------- /seal5/transform/collect_immediate_operands/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_immediate_operands/__init__.py -------------------------------------------------------------------------------- /seal5/transform/collect_immediate_operands/collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_immediate_operands/collect.py -------------------------------------------------------------------------------- /seal5/transform/collect_immediate_operands/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_immediate_operands/visitor.py -------------------------------------------------------------------------------- /seal5/transform/collect_operand_types/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_operand_types/__init__.py -------------------------------------------------------------------------------- /seal5/transform/collect_operand_types/collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_operand_types/collect.py -------------------------------------------------------------------------------- /seal5/transform/collect_operand_types/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_operand_types/visitor.py -------------------------------------------------------------------------------- /seal5/transform/collect_raises/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_raises/__init__.py -------------------------------------------------------------------------------- /seal5/transform/collect_raises/collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_raises/collect.py -------------------------------------------------------------------------------- /seal5/transform/collect_raises/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_raises/visitor.py -------------------------------------------------------------------------------- /seal5/transform/collect_register_operands/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_register_operands/__init__.py -------------------------------------------------------------------------------- /seal5/transform/collect_register_operands/collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_register_operands/collect.py -------------------------------------------------------------------------------- /seal5/transform/collect_register_operands/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/collect_register_operands/visitor.py -------------------------------------------------------------------------------- /seal5/transform/converter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/converter.py -------------------------------------------------------------------------------- /seal5/transform/detect_calls/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_calls/__init__.py -------------------------------------------------------------------------------- /seal5/transform/detect_calls/collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_calls/collect.py -------------------------------------------------------------------------------- /seal5/transform/detect_calls/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_calls/visitor.py -------------------------------------------------------------------------------- /seal5/transform/detect_imm_leafs/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_imm_leafs/__init__.py -------------------------------------------------------------------------------- /seal5/transform/detect_imm_leafs/collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_imm_leafs/collect.py -------------------------------------------------------------------------------- /seal5/transform/detect_imm_leafs/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_imm_leafs/visitor.py -------------------------------------------------------------------------------- /seal5/transform/detect_inouts/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_inouts/__init__.py -------------------------------------------------------------------------------- /seal5/transform/detect_inouts/collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_inouts/collect.py -------------------------------------------------------------------------------- /seal5/transform/detect_inouts/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_inouts/utils.py -------------------------------------------------------------------------------- /seal5/transform/detect_inouts/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_inouts/visitor.py -------------------------------------------------------------------------------- /seal5/transform/detect_loops/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_loops/__init__.py -------------------------------------------------------------------------------- /seal5/transform/detect_loops/collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_loops/collect.py -------------------------------------------------------------------------------- /seal5/transform/detect_loops/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_loops/visitor.py -------------------------------------------------------------------------------- /seal5/transform/detect_registers/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_registers/__init__.py -------------------------------------------------------------------------------- /seal5/transform/detect_registers/detect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_registers/detect.py -------------------------------------------------------------------------------- /seal5/transform/detect_side_effects/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_side_effects/__init__.py -------------------------------------------------------------------------------- /seal5/transform/detect_side_effects/collect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_side_effects/collect.py -------------------------------------------------------------------------------- /seal5/transform/detect_side_effects/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/detect_side_effects/visitor.py -------------------------------------------------------------------------------- /seal5/transform/drop_unused/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/drop_unused/__init__.py -------------------------------------------------------------------------------- /seal5/transform/drop_unused/optimizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/drop_unused/optimizer.py -------------------------------------------------------------------------------- /seal5/transform/drop_unused/track_uses.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/drop_unused/track_uses.py -------------------------------------------------------------------------------- /seal5/transform/eliminate_mod_rfs/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/eliminate_mod_rfs/__init__.py -------------------------------------------------------------------------------- /seal5/transform/eliminate_mod_rfs/transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/eliminate_mod_rfs/transform.py -------------------------------------------------------------------------------- /seal5/transform/eliminate_mod_rfs/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/eliminate_mod_rfs/visitor.py -------------------------------------------------------------------------------- /seal5/transform/eliminate_rd_cmp_zero/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/eliminate_rd_cmp_zero/__init__.py -------------------------------------------------------------------------------- /seal5/transform/eliminate_rd_cmp_zero/transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/eliminate_rd_cmp_zero/transform.py -------------------------------------------------------------------------------- /seal5/transform/eliminate_rd_cmp_zero/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/eliminate_rd_cmp_zero/visitor.py -------------------------------------------------------------------------------- /seal5/transform/explicit_truncations/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/explicit_truncations/__init__.py -------------------------------------------------------------------------------- /seal5/transform/explicit_truncations/transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/explicit_truncations/transform.py -------------------------------------------------------------------------------- /seal5/transform/explicit_truncations/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/explicit_truncations/visitor.py -------------------------------------------------------------------------------- /seal5/transform/filter_model/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/filter_model/__init__.py -------------------------------------------------------------------------------- /seal5/transform/filter_model/filter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/filter_model/filter.py -------------------------------------------------------------------------------- /seal5/transform/infer_types/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/infer_types/__init__.py -------------------------------------------------------------------------------- /seal5/transform/infer_types/transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/infer_types/transform.py -------------------------------------------------------------------------------- /seal5/transform/infer_types/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/infer_types/visitor.py -------------------------------------------------------------------------------- /seal5/transform/inline_functions/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/inline_functions/__init__.py -------------------------------------------------------------------------------- /seal5/transform/inline_functions/optimizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/inline_functions/optimizer.py -------------------------------------------------------------------------------- /seal5/transform/inline_functions/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/inline_functions/visitor.py -------------------------------------------------------------------------------- /seal5/transform/optimize_instructions/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/optimize_instructions/__init__.py -------------------------------------------------------------------------------- /seal5/transform/optimize_instructions/optimizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/optimize_instructions/optimizer.py -------------------------------------------------------------------------------- /seal5/transform/process_settings/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/process_settings/__init__.py -------------------------------------------------------------------------------- /seal5/transform/process_settings/transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/process_settings/transform.py -------------------------------------------------------------------------------- /seal5/transform/simplify_trivial_slices/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/simplify_trivial_slices/__init__.py -------------------------------------------------------------------------------- /seal5/transform/simplify_trivial_slices/transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/simplify_trivial_slices/transform.py -------------------------------------------------------------------------------- /seal5/transform/simplify_trivial_slices/visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/transform/simplify_trivial_slices/visitor.py -------------------------------------------------------------------------------- /seal5/types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/types.py -------------------------------------------------------------------------------- /seal5/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/utils.py -------------------------------------------------------------------------------- /seal5/version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/version.py -------------------------------------------------------------------------------- /seal5/wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/seal5/wrapper.py -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/setup.cfg -------------------------------------------------------------------------------- /ttiimpl_notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tum-ei-eda/seal5/HEAD/ttiimpl_notes.txt --------------------------------------------------------------------------------