├── .cargo ├── config.toml └── riscv32im-mozak-mozakvm-elf.json ├── .devcontainer └── devcontainer.json ├── .gitattributes ├── .github ├── actions │ ├── ci-deps │ │ └── action.yml │ └── rust │ │ └── action.yml ├── dependabot.yml └── workflows │ ├── ci.yml │ ├── coverage.yml │ ├── macos-ci.yml │ ├── release.yml │ ├── riscv-tests.yml │ └── unused-deps.yml ├── .gitignore ├── .pre-commit-config.yaml ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── book.toml ├── book ├── README.md ├── SUMMARY.md ├── assets │ ├── air.svg │ ├── ctlarg.svg │ ├── main-logo.svg │ ├── permutationarg.svg │ └── subsetarg.svg ├── cli │ ├── README.md │ ├── bench.md │ ├── decode.md │ ├── memory-init-hash.md │ ├── program-rom-hash.md │ ├── prove-and-verify.md │ ├── prove.md │ ├── run.md │ └── verify.md ├── guide │ ├── installation.md │ └── writing-programs.md ├── intro.md └── technical │ ├── lookups │ ├── logup.md │ └── main.md │ ├── memory_design_and_checking.md │ ├── starky.md │ ├── trace_generation.md │ └── writing_starky_constraints.md ├── circuits ├── Cargo.toml ├── README.md ├── benches │ └── simple_prover.rs ├── derive │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── src │ ├── bitshift │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── columns_view.rs │ ├── cpu │ │ ├── bitwise.rs │ │ ├── branches.rs │ │ ├── columns.rs │ │ ├── div.rs │ │ ├── ecall.rs │ │ ├── generation.rs │ │ ├── jalr.rs │ │ ├── memory.rs │ │ ├── mod.rs │ │ ├── mul.rs │ │ ├── shift.rs │ │ ├── signed_comparison.rs │ │ ├── stark.rs │ │ └── sub.rs │ ├── cpu_skeleton │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── cross_table_lookup.rs │ ├── expr.rs │ ├── generation.rs │ ├── lib.rs │ ├── linear_combination.rs │ ├── linear_combination_typed.rs │ ├── memory │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ ├── stark.rs │ │ ├── test_utils.rs │ │ └── trace.rs │ ├── memory_fullword │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── memory_halfword │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── memory_zeroinit │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── memoryinit │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── ops │ │ ├── add │ │ │ ├── mod.rs │ │ │ └── stark.rs │ │ ├── blt_taken │ │ │ ├── mod.rs │ │ │ └── stark.rs │ │ └── mod.rs │ ├── poseidon2 │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── poseidon2_output_bytes │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── poseidon2_sponge │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── program │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── program_multiplicities │ │ ├── columns.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── public_sub_table.rs │ ├── rangecheck │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── rangecheck_u8 │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── register │ │ ├── general │ │ │ ├── columns.rs │ │ │ ├── mod.rs │ │ │ └── stark.rs │ │ ├── generation.rs │ │ ├── init │ │ │ ├── columns.rs │ │ │ ├── mod.rs │ │ │ └── stark.rs │ │ ├── mod.rs │ │ ├── zero_read │ │ │ ├── columns.rs │ │ │ ├── mod.rs │ │ │ └── stark.rs │ │ └── zero_write │ │ │ ├── columns.rs │ │ │ ├── mod.rs │ │ │ └── stark.rs │ ├── stark │ │ ├── batch_prover.rs │ │ ├── batch_verifier.rs │ │ ├── mod.rs │ │ ├── mozak_stark.rs │ │ ├── permutation.rs │ │ ├── poly.rs │ │ ├── proof.rs │ │ ├── prover.rs │ │ ├── recursive_verifier.rs │ │ ├── utils.rs │ │ └── verifier.rs │ ├── storage_device │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── tape_commitments │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs │ ├── test_utils.rs │ ├── unstark.rs │ ├── utils.rs │ └── xor │ │ ├── columns.rs │ │ ├── generation.rs │ │ ├── mod.rs │ │ └── stark.rs └── tests │ └── riscv_tests.rs ├── cli ├── Cargo.toml └── src │ ├── bin │ ├── dump-self-prog-id.rs │ └── run-example.rs │ ├── cli_benches │ ├── benches.rs │ ├── mod.rs │ ├── nop.rs │ ├── omni.rs │ ├── poseidon2.rs │ ├── sort.rs │ ├── vector_alloc.rs │ └── xor.rs │ ├── lib.rs │ ├── main.rs │ ├── runner.rs │ ├── tests │ ├── integration_test.rs │ └── mod.rs │ └── trace_utils.rs ├── docs ├── building.md ├── contributing.md └── memory_layout.png ├── examples-builder ├── Cargo.toml ├── README.md ├── build.rs └── src │ └── lib.rs ├── examples ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md ├── bss-tester │ ├── README.md │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── counter │ ├── README.md │ ├── core-logic │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── elf-data │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ │ └── lib.rs │ ├── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ └── native │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── empty │ ├── README.md │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── fibonacci │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── inputtape │ ├── README.md │ ├── core-logic │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── elf-data │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ │ └── lib.rs │ ├── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ └── native │ │ ├── Cargo.toml │ │ ├── self_prog_id.txt │ │ └── src │ │ └── main.rs ├── memory-access │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── min-max │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── mozak-sort │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── panic │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── rkyv-serialization │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── scripts │ ├── all_mozakvm_examples │ ├── run_script.sh │ └── update_progams_map.py ├── sha2 │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── static-mem-access │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── token │ ├── README.md │ ├── core-logic │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── elf-data │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ │ └── lib.rs │ ├── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ └── native │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── trace │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ └── src │ │ └── main.rs ├── vector-alloc │ └── mozakvm │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs └── wallet │ ├── README.md │ ├── core-logic │ ├── Cargo.toml │ └── src │ │ └── lib.rs │ ├── elf-data │ ├── Cargo.toml │ ├── build.rs │ └── src │ │ └── lib.rs │ ├── mozakvm │ ├── Cargo.lock │ ├── Cargo.toml │ └── src │ │ └── main.rs │ └── native │ ├── Cargo.toml │ └── src │ └── main.rs ├── expr ├── Cargo.toml ├── README.md └── src │ ├── lib.rs │ └── ops.rs ├── flake.lock ├── flake.nix ├── mozak-runner ├── .dockerignore ├── .gitignore ├── Dockerfile ├── README.md ├── compose.yaml └── template.env ├── node ├── Cargo.toml └── src │ ├── block_proposer.rs │ ├── block_proposer │ ├── block.rs │ ├── matches.rs │ ├── state.rs │ └── transactions.rs │ ├── lib.rs │ └── types.rs ├── perftool ├── README.md ├── config.json ├── config.py ├── path.py ├── perftool │ ├── __init__.py │ ├── main.py │ └── utils.py ├── plotter │ └── plot.py ├── poetry.lock ├── pyproject.toml └── tests │ └── __init__.py ├── recproofs ├── Cargo.toml ├── benches │ └── recproof.rs └── src │ ├── circuits │ ├── accumulate_delta.rs │ ├── accumulate_delta │ │ └── core.rs │ ├── build_event_root.rs │ ├── match_delta.rs │ ├── match_delta │ │ └── core.rs │ ├── merge.rs │ ├── merge │ │ ├── core.rs │ │ └── embed.rs │ ├── mod.rs │ ├── state_update.rs │ ├── verify_block.rs │ ├── verify_block │ │ └── core.rs │ ├── verify_program.rs │ ├── verify_program │ │ └── core.rs │ ├── verify_tx.rs │ └── verify_tx │ │ └── core.rs │ ├── indices.rs │ ├── lib.rs │ └── subcircuits │ ├── bounded.rs │ ├── mod.rs │ ├── propagate.rs │ ├── summarized.rs │ ├── unbounded.rs │ ├── unpruned.rs │ └── verify_address.rs ├── riscv-testdata ├── create_testdata │ ├── Dockerfile │ ├── error_message.markdown │ └── update_testdata └── testdata │ ├── .testdata_generated_from_this_commit │ ├── Makefile │ ├── macros │ └── scalar │ │ └── test_macros.h │ ├── rv32mi │ ├── Makefrag │ ├── breakpoint.S │ ├── csr.S │ ├── illegal.S │ ├── lh-misaligned.S │ ├── lw-misaligned.S │ ├── ma_addr.S │ ├── ma_fetch.S │ ├── mcsr.S │ ├── sbreak.S │ ├── scall.S │ ├── sh-misaligned.S │ ├── shamt.S │ ├── sw-misaligned.S │ └── zicntr.S │ ├── rv32si │ ├── Makefrag │ ├── csr.S │ ├── dirty.S │ ├── ma_fetch.S │ ├── sbreak.S │ ├── scall.S │ └── wfi.S │ ├── rv32ua │ ├── Makefrag │ ├── amoadd_w.S │ ├── amoand_w.S │ ├── amomax_w.S │ ├── amomaxu_w.S │ ├── amomin_w.S │ ├── amominu_w.S │ ├── amoor_w.S │ ├── amoswap_w.S │ ├── amoxor_w.S │ └── lrsc.S │ ├── rv32uc │ ├── Makefrag │ └── rvc.S │ ├── rv32ud │ ├── Makefrag │ ├── fadd.S │ ├── fclass.S │ ├── fcmp.S │ ├── fcvt.S │ ├── fcvt_w.S │ ├── fdiv.S │ ├── fmadd.S │ ├── fmin.S │ ├── ldst.S │ ├── move.S │ └── recoding.S │ ├── rv32uf │ ├── Makefrag │ ├── fadd.S │ ├── fclass.S │ ├── fcmp.S │ ├── fcvt.S │ ├── fcvt_w.S │ ├── fdiv.S │ ├── fmadd.S │ ├── fmin.S │ ├── ldst.S │ ├── move.S │ └── recoding.S │ ├── rv32ui-p-add │ ├── rv32ui-p-add.dump │ ├── rv32ui-p-addi │ ├── rv32ui-p-addi.dump │ ├── rv32ui-p-and │ ├── rv32ui-p-and.dump │ ├── rv32ui-p-andi │ ├── rv32ui-p-andi.dump │ ├── rv32ui-p-auipc │ ├── rv32ui-p-auipc.dump │ ├── rv32ui-p-beq │ ├── rv32ui-p-beq.dump │ ├── rv32ui-p-bge │ ├── rv32ui-p-bge.dump │ ├── rv32ui-p-bgeu │ ├── rv32ui-p-bgeu.dump │ ├── rv32ui-p-blt │ ├── rv32ui-p-blt.dump │ ├── rv32ui-p-bltu │ ├── rv32ui-p-bltu.dump │ ├── rv32ui-p-bne │ ├── rv32ui-p-bne.dump │ ├── rv32ui-p-fence_i │ ├── rv32ui-p-fence_i.dump │ ├── rv32ui-p-jal │ ├── rv32ui-p-jal.dump │ ├── rv32ui-p-jalr │ ├── rv32ui-p-jalr.dump │ ├── rv32ui-p-lb │ ├── rv32ui-p-lb.dump │ ├── rv32ui-p-lbu │ ├── rv32ui-p-lbu.dump │ ├── rv32ui-p-lh │ ├── rv32ui-p-lh.dump │ ├── rv32ui-p-lhu │ ├── rv32ui-p-lhu.dump │ ├── rv32ui-p-lui │ ├── rv32ui-p-lui.dump │ ├── rv32ui-p-lw │ ├── rv32ui-p-lw.dump │ ├── rv32ui-p-ma_data │ ├── rv32ui-p-ma_data.dump │ ├── rv32ui-p-or │ ├── rv32ui-p-or.dump │ ├── rv32ui-p-ori │ ├── rv32ui-p-ori.dump │ ├── rv32ui-p-sb │ ├── rv32ui-p-sb.dump │ ├── rv32ui-p-sh │ ├── rv32ui-p-sh.dump │ ├── rv32ui-p-simple │ ├── rv32ui-p-simple.dump │ ├── rv32ui-p-sll │ ├── rv32ui-p-sll.dump │ ├── rv32ui-p-slli │ ├── rv32ui-p-slli.dump │ ├── rv32ui-p-slt │ ├── rv32ui-p-slt.dump │ ├── rv32ui-p-slti │ ├── rv32ui-p-slti.dump │ ├── rv32ui-p-sltiu │ ├── rv32ui-p-sltiu.dump │ ├── rv32ui-p-sltu │ ├── rv32ui-p-sltu.dump │ ├── rv32ui-p-sra │ ├── rv32ui-p-sra.dump │ ├── rv32ui-p-srai │ ├── rv32ui-p-srai.dump │ ├── rv32ui-p-srl │ ├── rv32ui-p-srl.dump │ ├── rv32ui-p-srli │ ├── rv32ui-p-srli.dump │ ├── rv32ui-p-sub │ ├── rv32ui-p-sub.dump │ ├── rv32ui-p-sw │ ├── rv32ui-p-sw.dump │ ├── rv32ui-p-xor │ ├── rv32ui-p-xor.dump │ ├── rv32ui-p-xori │ ├── rv32ui-p-xori.dump │ ├── rv32ui-v-add │ ├── rv32ui-v-add.dump │ ├── rv32ui-v-addi │ ├── rv32ui-v-addi.dump │ ├── rv32ui-v-and │ ├── rv32ui-v-and.dump │ ├── rv32ui-v-andi │ ├── rv32ui-v-andi.dump │ ├── rv32ui-v-auipc │ ├── rv32ui-v-auipc.dump │ ├── rv32ui-v-beq │ ├── rv32ui-v-beq.dump │ ├── rv32ui-v-bge │ ├── rv32ui-v-bge.dump │ ├── rv32ui-v-bgeu │ ├── rv32ui-v-bgeu.dump │ ├── rv32ui-v-blt │ ├── rv32ui-v-blt.dump │ ├── rv32ui-v-bltu │ ├── rv32ui-v-bltu.dump │ ├── rv32ui-v-bne │ ├── rv32ui-v-bne.dump │ ├── rv32ui-v-fence_i │ ├── rv32ui-v-fence_i.dump │ ├── rv32ui-v-jal │ ├── rv32ui-v-jal.dump │ ├── rv32ui-v-jalr │ ├── rv32ui-v-jalr.dump │ ├── rv32ui-v-lb │ ├── rv32ui-v-lb.dump │ ├── rv32ui-v-lbu │ ├── rv32ui-v-lbu.dump │ ├── rv32ui-v-lh │ ├── rv32ui-v-lh.dump │ ├── rv32ui-v-lhu │ ├── rv32ui-v-lhu.dump │ ├── rv32ui-v-lui │ ├── rv32ui-v-lui.dump │ ├── rv32ui-v-lw │ ├── rv32ui-v-lw.dump │ ├── rv32ui-v-ma_data │ ├── rv32ui-v-ma_data.dump │ ├── rv32ui-v-or │ ├── rv32ui-v-or.dump │ ├── rv32ui-v-ori │ ├── rv32ui-v-ori.dump │ ├── rv32ui-v-sb │ ├── rv32ui-v-sb.dump │ ├── rv32ui-v-sh │ ├── rv32ui-v-sh.dump │ ├── rv32ui-v-simple │ ├── rv32ui-v-simple.dump │ ├── rv32ui-v-sll │ ├── rv32ui-v-sll.dump │ ├── rv32ui-v-slli │ ├── rv32ui-v-slli.dump │ ├── rv32ui-v-slt │ ├── rv32ui-v-slt.dump │ ├── rv32ui-v-slti │ ├── rv32ui-v-slti.dump │ ├── rv32ui-v-sltiu │ ├── rv32ui-v-sltiu.dump │ ├── rv32ui-v-sltu │ ├── rv32ui-v-sltu.dump │ ├── rv32ui-v-sra │ ├── rv32ui-v-sra.dump │ ├── rv32ui-v-srai │ ├── rv32ui-v-srai.dump │ ├── rv32ui-v-srl │ ├── rv32ui-v-srl.dump │ ├── rv32ui-v-srli │ ├── rv32ui-v-srli.dump │ ├── rv32ui-v-sub │ ├── rv32ui-v-sub.dump │ ├── rv32ui-v-sw │ ├── rv32ui-v-sw.dump │ ├── rv32ui-v-xor │ ├── rv32ui-v-xor.dump │ ├── rv32ui-v-xori │ ├── rv32ui-v-xori.dump │ ├── rv32ui │ ├── Makefrag │ ├── add.S │ ├── addi.S │ ├── and.S │ ├── andi.S │ ├── auipc.S │ ├── beq.S │ ├── bge.S │ ├── bgeu.S │ ├── blt.S │ ├── bltu.S │ ├── bne.S │ ├── fence_i.S │ ├── jal.S │ ├── jalr.S │ ├── lb.S │ ├── lbu.S │ ├── lh.S │ ├── lhu.S │ ├── lui.S │ ├── lw.S │ ├── ma_data.S │ ├── or.S │ ├── ori.S │ ├── sb.S │ ├── sh.S │ ├── simple.S │ ├── sll.S │ ├── slli.S │ ├── slt.S │ ├── slti.S │ ├── sltiu.S │ ├── sltu.S │ ├── sra.S │ ├── srai.S │ ├── srl.S │ ├── srli.S │ ├── sub.S │ ├── sw.S │ ├── xor.S │ └── xori.S │ ├── rv32um-p-div │ ├── rv32um-p-div.dump │ ├── rv32um-p-divu │ ├── rv32um-p-divu.dump │ ├── rv32um-p-mul │ ├── rv32um-p-mul.dump │ ├── rv32um-p-mulh │ ├── rv32um-p-mulh.dump │ ├── rv32um-p-mulhsu │ ├── rv32um-p-mulhsu.dump │ ├── rv32um-p-mulhu │ ├── rv32um-p-mulhu.dump │ ├── rv32um-p-rem │ ├── rv32um-p-rem.dump │ ├── rv32um-p-remu │ ├── rv32um-p-remu.dump │ ├── rv32um-v-div │ ├── rv32um-v-div.dump │ ├── rv32um-v-divu │ ├── rv32um-v-divu.dump │ ├── rv32um-v-mul │ ├── rv32um-v-mul.dump │ ├── rv32um-v-mulh │ ├── rv32um-v-mulh.dump │ ├── rv32um-v-mulhsu │ ├── rv32um-v-mulhsu.dump │ ├── rv32um-v-mulhu │ ├── rv32um-v-mulhu.dump │ ├── rv32um-v-rem │ ├── rv32um-v-rem.dump │ ├── rv32um-v-remu │ ├── rv32um-v-remu.dump │ ├── rv32um │ ├── Makefrag │ ├── div.S │ ├── divu.S │ ├── mul.S │ ├── mulh.S │ ├── mulhsu.S │ ├── mulhu.S │ ├── rem.S │ └── remu.S │ ├── rv32uzba │ ├── Makefrag │ ├── sh1add.S │ ├── sh2add.S │ └── sh3add.S │ ├── rv32uzbb │ ├── Makefrag │ ├── andn.S │ ├── clz.S │ ├── cpop.S │ ├── ctz.S │ ├── max.S │ ├── maxu.S │ ├── min.S │ ├── minu.S │ ├── orc_b.S │ ├── orn.S │ ├── rev8.S │ ├── rol.S │ ├── ror.S │ ├── rori.S │ ├── sext_b.S │ ├── sext_h.S │ ├── xnor.S │ └── zext_h.S │ ├── rv32uzbc │ ├── Makefrag │ ├── clmul.S │ ├── clmulh.S │ └── clmulr.S │ ├── rv32uzbs │ ├── Makefrag │ ├── bclr.S │ ├── bclri.S │ ├── bext.S │ ├── bexti.S │ ├── binv.S │ ├── binvi.S │ ├── bset.S │ └── bseti.S │ ├── rv32uzfh │ ├── Makefrag │ ├── fadd.S │ ├── fclass.S │ ├── fcmp.S │ ├── fcvt.S │ ├── fcvt_w.S │ ├── fdiv.S │ ├── fmadd.S │ ├── fmin.S │ ├── ldst.S │ ├── move.S │ └── recoding.S │ ├── rv64mi │ ├── Makefrag │ ├── access.S │ ├── breakpoint.S │ ├── csr.S │ ├── illegal.S │ ├── ld-misaligned.S │ ├── lh-misaligned.S │ ├── lw-misaligned.S │ ├── ma_addr.S │ ├── ma_fetch.S │ ├── mcsr.S │ ├── sbreak.S │ ├── scall.S │ ├── sd-misaligned.S │ ├── sh-misaligned.S │ ├── sw-misaligned.S │ └── zicntr.S │ ├── rv64mzicbo │ ├── Makefrag │ └── zero.S │ ├── rv64si │ ├── Makefrag │ ├── csr.S │ ├── dirty.S │ ├── icache-alias.S │ ├── ma_fetch.S │ ├── sbreak.S │ ├── scall.S │ └── wfi.S │ ├── rv64ssvnapot │ ├── Makefrag │ └── napot.S │ ├── rv64ua │ ├── Makefrag │ ├── amoadd_d.S │ ├── amoadd_w.S │ ├── amoand_d.S │ ├── amoand_w.S │ ├── amomax_d.S │ ├── amomax_w.S │ ├── amomaxu_d.S │ ├── amomaxu_w.S │ ├── amomin_d.S │ ├── amomin_w.S │ ├── amominu_d.S │ ├── amominu_w.S │ ├── amoor_d.S │ ├── amoor_w.S │ ├── amoswap_d.S │ ├── amoswap_w.S │ ├── amoxor_d.S │ ├── amoxor_w.S │ └── lrsc.S │ ├── rv64uc │ ├── Makefrag │ └── rvc.S │ ├── rv64ud │ ├── Makefrag │ ├── fadd.S │ ├── fclass.S │ ├── fcmp.S │ ├── fcvt.S │ ├── fcvt_w.S │ ├── fdiv.S │ ├── fmadd.S │ ├── fmin.S │ ├── ldst.S │ ├── move.S │ ├── recoding.S │ └── structural.S │ ├── rv64uf │ ├── Makefrag │ ├── fadd.S │ ├── fclass.S │ ├── fcmp.S │ ├── fcvt.S │ ├── fcvt_w.S │ ├── fdiv.S │ ├── fmadd.S │ ├── fmin.S │ ├── ldst.S │ ├── move.S │ └── recoding.S │ ├── rv64ui │ ├── Makefrag │ ├── add.S │ ├── addi.S │ ├── addiw.S │ ├── addw.S │ ├── and.S │ ├── andi.S │ ├── auipc.S │ ├── beq.S │ ├── bge.S │ ├── bgeu.S │ ├── blt.S │ ├── bltu.S │ ├── bne.S │ ├── fence_i.S │ ├── jal.S │ ├── jalr.S │ ├── lb.S │ ├── lbu.S │ ├── ld.S │ ├── lh.S │ ├── lhu.S │ ├── lui.S │ ├── lw.S │ ├── lwu.S │ ├── ma_data.S │ ├── or.S │ ├── ori.S │ ├── sb.S │ ├── sd.S │ ├── sh.S │ ├── simple.S │ ├── sll.S │ ├── slli.S │ ├── slliw.S │ ├── sllw.S │ ├── slt.S │ ├── slti.S │ ├── sltiu.S │ ├── sltu.S │ ├── sra.S │ ├── srai.S │ ├── sraiw.S │ ├── sraw.S │ ├── srl.S │ ├── srli.S │ ├── srliw.S │ ├── srlw.S │ ├── sub.S │ ├── subw.S │ ├── sw.S │ ├── xor.S │ └── xori.S │ ├── rv64um │ ├── Makefrag │ ├── div.S │ ├── divu.S │ ├── divuw.S │ ├── divw.S │ ├── mul.S │ ├── mulh.S │ ├── mulhsu.S │ ├── mulhu.S │ ├── mulw.S │ ├── rem.S │ ├── remu.S │ ├── remuw.S │ └── remw.S │ ├── rv64uzba │ ├── Makefrag │ ├── add_uw.S │ ├── sh1add.S │ ├── sh1add_uw.S │ ├── sh2add.S │ ├── sh2add_uw.S │ ├── sh3add.S │ ├── sh3add_uw.S │ └── slli_uw.S │ ├── rv64uzbb │ ├── Makefrag │ ├── andn.S │ ├── clz.S │ ├── clzw.S │ ├── cpop.S │ ├── cpopw.S │ ├── ctz.S │ ├── ctzw.S │ ├── max.S │ ├── maxu.S │ ├── min.S │ ├── minu.S │ ├── orc_b.S │ ├── orn.S │ ├── rev8.S │ ├── rol.S │ ├── rolw.S │ ├── ror.S │ ├── rori.S │ ├── roriw.S │ ├── rorw.S │ ├── sext_b.S │ ├── sext_h.S │ ├── xnor.S │ └── zext_h.S │ ├── rv64uzbc │ ├── Makefrag │ ├── clmul.S │ ├── clmulh.S │ └── clmulr.S │ ├── rv64uzbs │ ├── Makefrag │ ├── bclr.S │ ├── bclri.S │ ├── bext.S │ ├── bexti.S │ ├── binv.S │ ├── binvi.S │ ├── bset.S │ └── bseti.S │ └── rv64uzfh │ ├── Makefrag │ ├── fadd.S │ ├── fclass.S │ ├── fcmp.S │ ├── fcvt.S │ ├── fcvt_w.S │ ├── fdiv.S │ ├── fmadd.S │ ├── fmin.S │ ├── ldst.S │ ├── move.S │ └── recoding.S ├── run_examples.py ├── runner ├── Cargo.toml ├── README.md ├── benches │ └── fibonacci.rs └── src │ ├── code.rs │ ├── decode.rs │ ├── ecall.rs │ ├── elf.rs │ ├── instruction.rs │ ├── lib.rs │ ├── poseidon2.rs │ ├── state.rs │ ├── test_utils.rs │ └── vm.rs ├── rust-toolchain.toml ├── rustfmt.toml ├── scripts ├── nixdo └── test_bundle_tx.sh ├── sdk ├── Cargo.lock ├── Cargo.toml └── src │ ├── common │ ├── merkle.rs │ ├── mod.rs │ ├── system.rs │ ├── traits.rs │ └── types │ │ ├── cross_program_call.rs │ │ ├── event.rs │ │ ├── mod.rs │ │ ├── poseidon2hash.rs │ │ ├── program_identifier.rs │ │ ├── raw_message.rs │ │ ├── state_address.rs │ │ ├── state_object.rs │ │ └── system_tape.rs │ ├── core │ ├── alloc.rs │ ├── debug_macros.rs │ ├── ecall.rs │ ├── env.rs │ ├── mod.rs │ └── reg_abi.rs │ ├── lib.rs │ ├── mozakvm │ ├── calltape.rs │ ├── eventtape.rs │ ├── inputtape.rs │ ├── mod.rs │ └── poseidon.rs │ └── native │ ├── calltape.rs │ ├── eventtape.rs │ ├── identity.rs │ ├── inputtape.rs │ ├── mod.rs │ ├── poseidon.rs │ └── systemtape.rs ├── signatures ├── Cargo.toml ├── benches │ └── zksigs.rs └── src │ ├── lib.rs │ └── zk_friendly │ ├── keccak256.rs │ ├── mod.rs │ ├── poseidon.rs │ ├── sha256.rs │ ├── sig.rs │ ├── test_utils.rs │ └── utils.rs ├── taplo.toml ├── update_testdata └── wasm-demo ├── Cargo.toml ├── README.md ├── index.html └── src ├── bin └── demo.rs └── lib.rs /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.cargo/riscv32im-mozak-mozakvm-elf.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.cargo/riscv32im-mozak-mozakvm-elf.json -------------------------------------------------------------------------------- /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/actions/ci-deps/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.github/actions/ci-deps/action.yml -------------------------------------------------------------------------------- /.github/actions/rust/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.github/actions/rust/action.yml -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/coverage.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.github/workflows/coverage.yml -------------------------------------------------------------------------------- /.github/workflows/macos-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.github/workflows/macos-ci.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/riscv-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.github/workflows/riscv-tests.yml -------------------------------------------------------------------------------- /.github/workflows/unused-deps.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.github/workflows/unused-deps.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.gitignore -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/README.md -------------------------------------------------------------------------------- /book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book.toml -------------------------------------------------------------------------------- /book/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/README.md -------------------------------------------------------------------------------- /book/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/SUMMARY.md -------------------------------------------------------------------------------- /book/assets/air.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/assets/air.svg -------------------------------------------------------------------------------- /book/assets/ctlarg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/assets/ctlarg.svg -------------------------------------------------------------------------------- /book/assets/main-logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/assets/main-logo.svg -------------------------------------------------------------------------------- /book/assets/permutationarg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/assets/permutationarg.svg -------------------------------------------------------------------------------- /book/assets/subsetarg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/assets/subsetarg.svg -------------------------------------------------------------------------------- /book/cli/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/cli/README.md -------------------------------------------------------------------------------- /book/cli/bench.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/cli/bench.md -------------------------------------------------------------------------------- /book/cli/decode.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/cli/decode.md -------------------------------------------------------------------------------- /book/cli/memory-init-hash.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/cli/memory-init-hash.md -------------------------------------------------------------------------------- /book/cli/program-rom-hash.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/cli/program-rom-hash.md -------------------------------------------------------------------------------- /book/cli/prove-and-verify.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/cli/prove-and-verify.md -------------------------------------------------------------------------------- /book/cli/prove.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/cli/prove.md -------------------------------------------------------------------------------- /book/cli/run.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/cli/run.md -------------------------------------------------------------------------------- /book/cli/verify.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/cli/verify.md -------------------------------------------------------------------------------- /book/guide/installation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/guide/installation.md -------------------------------------------------------------------------------- /book/guide/writing-programs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/guide/writing-programs.md -------------------------------------------------------------------------------- /book/intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/intro.md -------------------------------------------------------------------------------- /book/technical/lookups/logup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/technical/lookups/logup.md -------------------------------------------------------------------------------- /book/technical/lookups/main.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/technical/lookups/main.md -------------------------------------------------------------------------------- /book/technical/starky.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/technical/starky.md -------------------------------------------------------------------------------- /book/technical/trace_generation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/book/technical/trace_generation.md -------------------------------------------------------------------------------- /circuits/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/Cargo.toml -------------------------------------------------------------------------------- /circuits/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/README.md -------------------------------------------------------------------------------- /circuits/benches/simple_prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/benches/simple_prover.rs -------------------------------------------------------------------------------- /circuits/derive/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/derive/Cargo.toml -------------------------------------------------------------------------------- /circuits/derive/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/derive/src/lib.rs -------------------------------------------------------------------------------- /circuits/src/bitshift/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/bitshift/columns.rs -------------------------------------------------------------------------------- /circuits/src/bitshift/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/bitshift/generation.rs -------------------------------------------------------------------------------- /circuits/src/bitshift/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/bitshift/mod.rs -------------------------------------------------------------------------------- /circuits/src/bitshift/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/bitshift/stark.rs -------------------------------------------------------------------------------- /circuits/src/columns_view.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/columns_view.rs -------------------------------------------------------------------------------- /circuits/src/cpu/bitwise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/bitwise.rs -------------------------------------------------------------------------------- /circuits/src/cpu/branches.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/branches.rs -------------------------------------------------------------------------------- /circuits/src/cpu/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/columns.rs -------------------------------------------------------------------------------- /circuits/src/cpu/div.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/div.rs -------------------------------------------------------------------------------- /circuits/src/cpu/ecall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/ecall.rs -------------------------------------------------------------------------------- /circuits/src/cpu/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/generation.rs -------------------------------------------------------------------------------- /circuits/src/cpu/jalr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/jalr.rs -------------------------------------------------------------------------------- /circuits/src/cpu/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/memory.rs -------------------------------------------------------------------------------- /circuits/src/cpu/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/mod.rs -------------------------------------------------------------------------------- /circuits/src/cpu/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/mul.rs -------------------------------------------------------------------------------- /circuits/src/cpu/shift.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/shift.rs -------------------------------------------------------------------------------- /circuits/src/cpu/signed_comparison.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/signed_comparison.rs -------------------------------------------------------------------------------- /circuits/src/cpu/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/stark.rs -------------------------------------------------------------------------------- /circuits/src/cpu/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu/sub.rs -------------------------------------------------------------------------------- /circuits/src/cpu_skeleton/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu_skeleton/columns.rs -------------------------------------------------------------------------------- /circuits/src/cpu_skeleton/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu_skeleton/generation.rs -------------------------------------------------------------------------------- /circuits/src/cpu_skeleton/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu_skeleton/mod.rs -------------------------------------------------------------------------------- /circuits/src/cpu_skeleton/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cpu_skeleton/stark.rs -------------------------------------------------------------------------------- /circuits/src/cross_table_lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/cross_table_lookup.rs -------------------------------------------------------------------------------- /circuits/src/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/expr.rs -------------------------------------------------------------------------------- /circuits/src/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/generation.rs -------------------------------------------------------------------------------- /circuits/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/lib.rs -------------------------------------------------------------------------------- /circuits/src/linear_combination.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/linear_combination.rs -------------------------------------------------------------------------------- /circuits/src/linear_combination_typed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/linear_combination_typed.rs -------------------------------------------------------------------------------- /circuits/src/memory/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory/columns.rs -------------------------------------------------------------------------------- /circuits/src/memory/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory/generation.rs -------------------------------------------------------------------------------- /circuits/src/memory/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory/mod.rs -------------------------------------------------------------------------------- /circuits/src/memory/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory/stark.rs -------------------------------------------------------------------------------- /circuits/src/memory/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory/test_utils.rs -------------------------------------------------------------------------------- /circuits/src/memory/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory/trace.rs -------------------------------------------------------------------------------- /circuits/src/memory_fullword/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_fullword/columns.rs -------------------------------------------------------------------------------- /circuits/src/memory_fullword/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_fullword/generation.rs -------------------------------------------------------------------------------- /circuits/src/memory_fullword/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_fullword/mod.rs -------------------------------------------------------------------------------- /circuits/src/memory_fullword/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_fullword/stark.rs -------------------------------------------------------------------------------- /circuits/src/memory_halfword/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_halfword/columns.rs -------------------------------------------------------------------------------- /circuits/src/memory_halfword/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_halfword/generation.rs -------------------------------------------------------------------------------- /circuits/src/memory_halfword/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_halfword/mod.rs -------------------------------------------------------------------------------- /circuits/src/memory_halfword/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_halfword/stark.rs -------------------------------------------------------------------------------- /circuits/src/memory_zeroinit/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_zeroinit/columns.rs -------------------------------------------------------------------------------- /circuits/src/memory_zeroinit/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_zeroinit/generation.rs -------------------------------------------------------------------------------- /circuits/src/memory_zeroinit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_zeroinit/mod.rs -------------------------------------------------------------------------------- /circuits/src/memory_zeroinit/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memory_zeroinit/stark.rs -------------------------------------------------------------------------------- /circuits/src/memoryinit/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memoryinit/columns.rs -------------------------------------------------------------------------------- /circuits/src/memoryinit/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memoryinit/generation.rs -------------------------------------------------------------------------------- /circuits/src/memoryinit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memoryinit/mod.rs -------------------------------------------------------------------------------- /circuits/src/memoryinit/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/memoryinit/stark.rs -------------------------------------------------------------------------------- /circuits/src/ops/add/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/ops/add/mod.rs -------------------------------------------------------------------------------- /circuits/src/ops/add/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/ops/add/stark.rs -------------------------------------------------------------------------------- /circuits/src/ops/blt_taken/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/ops/blt_taken/mod.rs -------------------------------------------------------------------------------- /circuits/src/ops/blt_taken/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/ops/blt_taken/stark.rs -------------------------------------------------------------------------------- /circuits/src/ops/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/ops/mod.rs -------------------------------------------------------------------------------- /circuits/src/poseidon2/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/poseidon2/columns.rs -------------------------------------------------------------------------------- /circuits/src/poseidon2/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/poseidon2/generation.rs -------------------------------------------------------------------------------- /circuits/src/poseidon2/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/poseidon2/mod.rs -------------------------------------------------------------------------------- /circuits/src/poseidon2/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/poseidon2/stark.rs -------------------------------------------------------------------------------- /circuits/src/poseidon2_output_bytes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/poseidon2_output_bytes/mod.rs -------------------------------------------------------------------------------- /circuits/src/poseidon2_sponge/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/poseidon2_sponge/columns.rs -------------------------------------------------------------------------------- /circuits/src/poseidon2_sponge/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/poseidon2_sponge/generation.rs -------------------------------------------------------------------------------- /circuits/src/poseidon2_sponge/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/poseidon2_sponge/mod.rs -------------------------------------------------------------------------------- /circuits/src/poseidon2_sponge/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/poseidon2_sponge/stark.rs -------------------------------------------------------------------------------- /circuits/src/program/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/program/columns.rs -------------------------------------------------------------------------------- /circuits/src/program/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/program/generation.rs -------------------------------------------------------------------------------- /circuits/src/program/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/program/mod.rs -------------------------------------------------------------------------------- /circuits/src/program/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/program/stark.rs -------------------------------------------------------------------------------- /circuits/src/program_multiplicities/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/program_multiplicities/mod.rs -------------------------------------------------------------------------------- /circuits/src/public_sub_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/public_sub_table.rs -------------------------------------------------------------------------------- /circuits/src/rangecheck/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/rangecheck/columns.rs -------------------------------------------------------------------------------- /circuits/src/rangecheck/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/rangecheck/generation.rs -------------------------------------------------------------------------------- /circuits/src/rangecheck/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/rangecheck/mod.rs -------------------------------------------------------------------------------- /circuits/src/rangecheck/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/rangecheck/stark.rs -------------------------------------------------------------------------------- /circuits/src/rangecheck_u8/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/rangecheck_u8/columns.rs -------------------------------------------------------------------------------- /circuits/src/rangecheck_u8/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/rangecheck_u8/generation.rs -------------------------------------------------------------------------------- /circuits/src/rangecheck_u8/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/rangecheck_u8/mod.rs -------------------------------------------------------------------------------- /circuits/src/rangecheck_u8/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/rangecheck_u8/stark.rs -------------------------------------------------------------------------------- /circuits/src/register/general/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/general/columns.rs -------------------------------------------------------------------------------- /circuits/src/register/general/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/general/mod.rs -------------------------------------------------------------------------------- /circuits/src/register/general/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/general/stark.rs -------------------------------------------------------------------------------- /circuits/src/register/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/generation.rs -------------------------------------------------------------------------------- /circuits/src/register/init/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/init/columns.rs -------------------------------------------------------------------------------- /circuits/src/register/init/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/init/mod.rs -------------------------------------------------------------------------------- /circuits/src/register/init/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/init/stark.rs -------------------------------------------------------------------------------- /circuits/src/register/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/mod.rs -------------------------------------------------------------------------------- /circuits/src/register/zero_read/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/zero_read/columns.rs -------------------------------------------------------------------------------- /circuits/src/register/zero_read/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/zero_read/mod.rs -------------------------------------------------------------------------------- /circuits/src/register/zero_read/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/zero_read/stark.rs -------------------------------------------------------------------------------- /circuits/src/register/zero_write/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/zero_write/columns.rs -------------------------------------------------------------------------------- /circuits/src/register/zero_write/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/zero_write/mod.rs -------------------------------------------------------------------------------- /circuits/src/register/zero_write/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/register/zero_write/stark.rs -------------------------------------------------------------------------------- /circuits/src/stark/batch_prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/batch_prover.rs -------------------------------------------------------------------------------- /circuits/src/stark/batch_verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/batch_verifier.rs -------------------------------------------------------------------------------- /circuits/src/stark/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/mod.rs -------------------------------------------------------------------------------- /circuits/src/stark/mozak_stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/mozak_stark.rs -------------------------------------------------------------------------------- /circuits/src/stark/permutation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/permutation.rs -------------------------------------------------------------------------------- /circuits/src/stark/poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/poly.rs -------------------------------------------------------------------------------- /circuits/src/stark/proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/proof.rs -------------------------------------------------------------------------------- /circuits/src/stark/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/prover.rs -------------------------------------------------------------------------------- /circuits/src/stark/recursive_verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/recursive_verifier.rs -------------------------------------------------------------------------------- /circuits/src/stark/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/utils.rs -------------------------------------------------------------------------------- /circuits/src/stark/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/stark/verifier.rs -------------------------------------------------------------------------------- /circuits/src/storage_device/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/storage_device/columns.rs -------------------------------------------------------------------------------- /circuits/src/storage_device/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/storage_device/generation.rs -------------------------------------------------------------------------------- /circuits/src/storage_device/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/storage_device/mod.rs -------------------------------------------------------------------------------- /circuits/src/storage_device/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/storage_device/stark.rs -------------------------------------------------------------------------------- /circuits/src/tape_commitments/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/tape_commitments/columns.rs -------------------------------------------------------------------------------- /circuits/src/tape_commitments/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/tape_commitments/generation.rs -------------------------------------------------------------------------------- /circuits/src/tape_commitments/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/tape_commitments/mod.rs -------------------------------------------------------------------------------- /circuits/src/tape_commitments/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/tape_commitments/stark.rs -------------------------------------------------------------------------------- /circuits/src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/test_utils.rs -------------------------------------------------------------------------------- /circuits/src/unstark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/unstark.rs -------------------------------------------------------------------------------- /circuits/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/utils.rs -------------------------------------------------------------------------------- /circuits/src/xor/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/xor/columns.rs -------------------------------------------------------------------------------- /circuits/src/xor/generation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/xor/generation.rs -------------------------------------------------------------------------------- /circuits/src/xor/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/xor/mod.rs -------------------------------------------------------------------------------- /circuits/src/xor/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/src/xor/stark.rs -------------------------------------------------------------------------------- /circuits/tests/riscv_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/circuits/tests/riscv_tests.rs -------------------------------------------------------------------------------- /cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/Cargo.toml -------------------------------------------------------------------------------- /cli/src/bin/dump-self-prog-id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/bin/dump-self-prog-id.rs -------------------------------------------------------------------------------- /cli/src/bin/run-example.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/bin/run-example.rs -------------------------------------------------------------------------------- /cli/src/cli_benches/benches.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/cli_benches/benches.rs -------------------------------------------------------------------------------- /cli/src/cli_benches/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/cli_benches/mod.rs -------------------------------------------------------------------------------- /cli/src/cli_benches/nop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/cli_benches/nop.rs -------------------------------------------------------------------------------- /cli/src/cli_benches/omni.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/cli_benches/omni.rs -------------------------------------------------------------------------------- /cli/src/cli_benches/poseidon2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/cli_benches/poseidon2.rs -------------------------------------------------------------------------------- /cli/src/cli_benches/sort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/cli_benches/sort.rs -------------------------------------------------------------------------------- /cli/src/cli_benches/vector_alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/cli_benches/vector_alloc.rs -------------------------------------------------------------------------------- /cli/src/cli_benches/xor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/cli_benches/xor.rs -------------------------------------------------------------------------------- /cli/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/lib.rs -------------------------------------------------------------------------------- /cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/main.rs -------------------------------------------------------------------------------- /cli/src/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/runner.rs -------------------------------------------------------------------------------- /cli/src/tests/integration_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/tests/integration_test.rs -------------------------------------------------------------------------------- /cli/src/tests/mod.rs: -------------------------------------------------------------------------------- 1 | mod integration_test; 2 | -------------------------------------------------------------------------------- /cli/src/trace_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/cli/src/trace_utils.rs -------------------------------------------------------------------------------- /docs/building.md: -------------------------------------------------------------------------------- 1 | # Building 2 | -------------------------------------------------------------------------------- /docs/contributing.md: -------------------------------------------------------------------------------- 1 | # Contributing 2 | 3 | ## License information 4 | -------------------------------------------------------------------------------- /docs/memory_layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/docs/memory_layout.png -------------------------------------------------------------------------------- /examples-builder/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples-builder/Cargo.toml -------------------------------------------------------------------------------- /examples-builder/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples-builder/README.md -------------------------------------------------------------------------------- /examples-builder/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples-builder/build.rs -------------------------------------------------------------------------------- /examples-builder/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/vars.rs")); 2 | -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/.gitignore -------------------------------------------------------------------------------- /examples/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/Cargo.lock -------------------------------------------------------------------------------- /examples/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/Cargo.toml -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/bss-tester/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/bss-tester/README.md -------------------------------------------------------------------------------- /examples/bss-tester/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/bss-tester/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/bss-tester/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/bss-tester/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/bss-tester/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/bss-tester/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/counter/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/README.md -------------------------------------------------------------------------------- /examples/counter/core-logic/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/core-logic/Cargo.toml -------------------------------------------------------------------------------- /examples/counter/core-logic/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/core-logic/src/lib.rs -------------------------------------------------------------------------------- /examples/counter/elf-data/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/elf-data/Cargo.toml -------------------------------------------------------------------------------- /examples/counter/elf-data/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/elf-data/build.rs -------------------------------------------------------------------------------- /examples/counter/elf-data/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/vars.rs")); 2 | -------------------------------------------------------------------------------- /examples/counter/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/counter/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/counter/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/counter/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/native/Cargo.toml -------------------------------------------------------------------------------- /examples/counter/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/counter/native/src/main.rs -------------------------------------------------------------------------------- /examples/empty/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/empty/README.md -------------------------------------------------------------------------------- /examples/empty/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/empty/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/empty/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/empty/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/empty/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/empty/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/fibonacci/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/fibonacci/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/fibonacci/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/fibonacci/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/fibonacci/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/fibonacci/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/inputtape/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/README.md -------------------------------------------------------------------------------- /examples/inputtape/core-logic/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/core-logic/Cargo.toml -------------------------------------------------------------------------------- /examples/inputtape/core-logic/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/core-logic/src/lib.rs -------------------------------------------------------------------------------- /examples/inputtape/elf-data/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/elf-data/Cargo.toml -------------------------------------------------------------------------------- /examples/inputtape/elf-data/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/elf-data/build.rs -------------------------------------------------------------------------------- /examples/inputtape/elf-data/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/vars.rs")); 2 | -------------------------------------------------------------------------------- /examples/inputtape/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/inputtape/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/inputtape/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/inputtape/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/native/Cargo.toml -------------------------------------------------------------------------------- /examples/inputtape/native/self_prog_id.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/native/self_prog_id.txt -------------------------------------------------------------------------------- /examples/inputtape/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/inputtape/native/src/main.rs -------------------------------------------------------------------------------- /examples/memory-access/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/memory-access/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/memory-access/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/memory-access/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/memory-access/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/memory-access/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/min-max/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/min-max/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/min-max/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/min-max/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/min-max/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/min-max/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/mozak-sort/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/mozak-sort/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/mozak-sort/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/mozak-sort/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/mozak-sort/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/mozak-sort/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/panic/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/panic/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/panic/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/panic/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/panic/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/panic/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/scripts/all_mozakvm_examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/scripts/all_mozakvm_examples -------------------------------------------------------------------------------- /examples/scripts/run_script.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/scripts/run_script.sh -------------------------------------------------------------------------------- /examples/scripts/update_progams_map.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/scripts/update_progams_map.py -------------------------------------------------------------------------------- /examples/sha2/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/sha2/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/sha2/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/sha2/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/sha2/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/sha2/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/token/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/token/README.md -------------------------------------------------------------------------------- /examples/token/core-logic/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/token/core-logic/Cargo.toml -------------------------------------------------------------------------------- /examples/token/core-logic/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/token/core-logic/src/lib.rs -------------------------------------------------------------------------------- /examples/token/elf-data/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/token/elf-data/Cargo.toml -------------------------------------------------------------------------------- /examples/token/elf-data/build.rs: -------------------------------------------------------------------------------- 1 | fn main() -> Result<(), std::io::Error> { build_scripts::dump_self_prog_id("token") } 2 | -------------------------------------------------------------------------------- /examples/token/elf-data/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/vars.rs")); 2 | -------------------------------------------------------------------------------- /examples/token/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/token/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/token/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/token/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/token/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/token/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/token/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/token/native/Cargo.toml -------------------------------------------------------------------------------- /examples/token/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/token/native/src/main.rs -------------------------------------------------------------------------------- /examples/trace/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/trace/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/trace/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/trace/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/trace/mozakvm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/trace/mozakvm/README.md -------------------------------------------------------------------------------- /examples/trace/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/trace/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/vector-alloc/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/vector-alloc/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/vector-alloc/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/vector-alloc/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/vector-alloc/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/vector-alloc/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/wallet/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/wallet/README.md -------------------------------------------------------------------------------- /examples/wallet/core-logic/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/wallet/core-logic/Cargo.toml -------------------------------------------------------------------------------- /examples/wallet/core-logic/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/wallet/core-logic/src/lib.rs -------------------------------------------------------------------------------- /examples/wallet/elf-data/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/wallet/elf-data/Cargo.toml -------------------------------------------------------------------------------- /examples/wallet/elf-data/build.rs: -------------------------------------------------------------------------------- 1 | fn main() -> Result<(), std::io::Error> { build_scripts::dump_self_prog_id("wallet") } 2 | -------------------------------------------------------------------------------- /examples/wallet/elf-data/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/vars.rs")); 2 | -------------------------------------------------------------------------------- /examples/wallet/mozakvm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/wallet/mozakvm/Cargo.lock -------------------------------------------------------------------------------- /examples/wallet/mozakvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/wallet/mozakvm/Cargo.toml -------------------------------------------------------------------------------- /examples/wallet/mozakvm/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/wallet/mozakvm/src/main.rs -------------------------------------------------------------------------------- /examples/wallet/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/wallet/native/Cargo.toml -------------------------------------------------------------------------------- /examples/wallet/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/examples/wallet/native/src/main.rs -------------------------------------------------------------------------------- /expr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/expr/Cargo.toml -------------------------------------------------------------------------------- /expr/README.md: -------------------------------------------------------------------------------- 1 | # Basic Expression Language 2 | -------------------------------------------------------------------------------- /expr/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/expr/src/lib.rs -------------------------------------------------------------------------------- /expr/src/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/expr/src/ops.rs -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/flake.nix -------------------------------------------------------------------------------- /mozak-runner/.dockerignore: -------------------------------------------------------------------------------- 1 | * 2 | -------------------------------------------------------------------------------- /mozak-runner/.gitignore: -------------------------------------------------------------------------------- 1 | .env 2 | -------------------------------------------------------------------------------- /mozak-runner/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/mozak-runner/Dockerfile -------------------------------------------------------------------------------- /mozak-runner/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/mozak-runner/README.md -------------------------------------------------------------------------------- /mozak-runner/compose.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/mozak-runner/compose.yaml -------------------------------------------------------------------------------- /mozak-runner/template.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/mozak-runner/template.env -------------------------------------------------------------------------------- /node/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/node/Cargo.toml -------------------------------------------------------------------------------- /node/src/block_proposer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/node/src/block_proposer.rs -------------------------------------------------------------------------------- /node/src/block_proposer/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/node/src/block_proposer/block.rs -------------------------------------------------------------------------------- /node/src/block_proposer/matches.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/node/src/block_proposer/matches.rs -------------------------------------------------------------------------------- /node/src/block_proposer/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/node/src/block_proposer/state.rs -------------------------------------------------------------------------------- /node/src/block_proposer/transactions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/node/src/block_proposer/transactions.rs -------------------------------------------------------------------------------- /node/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/node/src/lib.rs -------------------------------------------------------------------------------- /node/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/node/src/types.rs -------------------------------------------------------------------------------- /perftool/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/perftool/README.md -------------------------------------------------------------------------------- /perftool/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/perftool/config.json -------------------------------------------------------------------------------- /perftool/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/perftool/config.py -------------------------------------------------------------------------------- /perftool/path.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/perftool/path.py -------------------------------------------------------------------------------- /perftool/perftool/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /perftool/perftool/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/perftool/perftool/main.py -------------------------------------------------------------------------------- /perftool/perftool/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/perftool/perftool/utils.py -------------------------------------------------------------------------------- /perftool/plotter/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/perftool/plotter/plot.py -------------------------------------------------------------------------------- /perftool/poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/perftool/poetry.lock -------------------------------------------------------------------------------- /perftool/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/perftool/pyproject.toml -------------------------------------------------------------------------------- /perftool/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /recproofs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/Cargo.toml -------------------------------------------------------------------------------- /recproofs/benches/recproof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/benches/recproof.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/accumulate_delta.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/accumulate_delta.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/build_event_root.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/build_event_root.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/match_delta.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/match_delta.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/match_delta/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/match_delta/core.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/merge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/merge.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/merge/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/merge/core.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/merge/embed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/merge/embed.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/mod.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/state_update.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/state_update.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/verify_block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/verify_block.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/verify_block/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/verify_block/core.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/verify_program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/verify_program.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/verify_tx.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/verify_tx.rs -------------------------------------------------------------------------------- /recproofs/src/circuits/verify_tx/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/circuits/verify_tx/core.rs -------------------------------------------------------------------------------- /recproofs/src/indices.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/indices.rs -------------------------------------------------------------------------------- /recproofs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/lib.rs -------------------------------------------------------------------------------- /recproofs/src/subcircuits/bounded.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/subcircuits/bounded.rs -------------------------------------------------------------------------------- /recproofs/src/subcircuits/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/subcircuits/mod.rs -------------------------------------------------------------------------------- /recproofs/src/subcircuits/propagate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/subcircuits/propagate.rs -------------------------------------------------------------------------------- /recproofs/src/subcircuits/summarized.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/subcircuits/summarized.rs -------------------------------------------------------------------------------- /recproofs/src/subcircuits/unbounded.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/subcircuits/unbounded.rs -------------------------------------------------------------------------------- /recproofs/src/subcircuits/unpruned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/subcircuits/unpruned.rs -------------------------------------------------------------------------------- /recproofs/src/subcircuits/verify_address.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/recproofs/src/subcircuits/verify_address.rs -------------------------------------------------------------------------------- /riscv-testdata/create_testdata/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/create_testdata/Dockerfile -------------------------------------------------------------------------------- /riscv-testdata/testdata/.testdata_generated_from_this_commit: -------------------------------------------------------------------------------- 1 | 68c70f52115267097bc1381f3e85a18df15bbad4 2 | -------------------------------------------------------------------------------- /riscv-testdata/testdata/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/Makefile -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/breakpoint.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/breakpoint.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/csr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/csr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/illegal.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/illegal.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/ma_addr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/ma_addr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/ma_fetch.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/ma_fetch.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/mcsr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/mcsr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/sbreak.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/sbreak.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/scall.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/scall.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/shamt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/shamt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32mi/zicntr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32mi/zicntr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32si/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32si/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32si/csr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32si/csr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32si/dirty.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32si/dirty.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32si/ma_fetch.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32si/ma_fetch.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32si/sbreak.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32si/sbreak.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32si/scall.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32si/scall.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32si/wfi.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32si/wfi.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/amoadd_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/amoadd_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/amoand_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/amoand_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/amomax_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/amomax_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/amomaxu_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/amomaxu_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/amomin_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/amomin_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/amominu_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/amominu_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/amoor_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/amoor_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/amoswap_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/amoswap_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/amoxor_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/amoxor_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ua/lrsc.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ua/lrsc.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uc/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uc/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uc/rvc.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uc/rvc.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/fadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/fadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/fclass.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/fclass.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/fcmp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/fcmp.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/fcvt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/fcvt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/fcvt_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/fcvt_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/fdiv.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/fdiv.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/fmadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/fmadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/fmin.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/fmin.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/ldst.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/ldst.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/move.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/move.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ud/recoding.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ud/recoding.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/fadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/fadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/fclass.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/fclass.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/fcmp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/fcmp.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/fcvt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/fcvt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/fcvt_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/fcvt_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/fdiv.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/fdiv.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/fmadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/fmadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/fmin.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/fmin.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/ldst.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/ldst.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/move.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/move.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uf/recoding.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uf/recoding.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-add: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-add -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-add.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-add.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-addi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-addi -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-addi.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-addi.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-and: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-and -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-and.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-and.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-andi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-andi -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-andi.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-andi.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-auipc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-auipc -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-auipc.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-auipc.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-beq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-beq -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-beq.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-beq.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-bge: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-bge -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-bge.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-bge.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-bgeu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-bgeu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-bgeu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-bgeu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-blt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-blt -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-blt.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-blt.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-bltu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-bltu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-bltu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-bltu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-bne: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-bne -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-bne.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-bne.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-fence_i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-fence_i -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-jal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-jal -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-jal.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-jal.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-jalr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-jalr -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-jalr.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-jalr.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lb -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lb.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lb.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lbu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lbu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lbu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lbu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lh -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lh.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lh.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lhu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lhu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lhu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lhu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lui -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lui.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lui.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lw -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-lw.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-lw.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-ma_data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-ma_data -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-or: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-or -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-or.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-or.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-ori: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-ori -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-ori.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-ori.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sb -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sb.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sb.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sh -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sh.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sh.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-simple -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sll -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sll.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sll.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-slli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-slli -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-slli.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-slli.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-slt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-slt -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-slt.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-slt.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-slti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-slti -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-slti.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-slti.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sltiu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sltiu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sltiu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sltiu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sltu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sltu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sltu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sltu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sra -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sra.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sra.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-srai: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-srai -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-srai.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-srai.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-srl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-srl -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-srl.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-srl.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-srli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-srli -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-srli.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-srli.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sub -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sub.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sub.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sw -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-sw.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-sw.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-xor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-xor -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-xor.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-xor.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-xori: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-xori -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-p-xori.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-p-xori.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-add: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-add -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-add.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-add.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-addi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-addi -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-addi.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-addi.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-and: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-and -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-and.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-and.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-andi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-andi -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-andi.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-andi.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-auipc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-auipc -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-auipc.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-auipc.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-beq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-beq -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-beq.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-beq.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-bge: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-bge -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-bge.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-bge.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-bgeu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-bgeu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-bgeu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-bgeu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-blt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-blt -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-blt.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-blt.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-bltu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-bltu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-bltu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-bltu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-bne: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-bne -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-bne.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-bne.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-fence_i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-fence_i -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-jal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-jal -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-jal.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-jal.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-jalr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-jalr -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-jalr.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-jalr.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lb -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lb.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lb.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lbu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lbu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lbu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lbu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lh -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lh.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lh.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lhu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lhu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lhu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lhu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lui -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lui.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lui.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lw -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-lw.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-lw.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-ma_data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-ma_data -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-or: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-or -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-or.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-or.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-ori: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-ori -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-ori.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-ori.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sb -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sb.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sb.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sh -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sh.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sh.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-simple -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sll -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sll.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sll.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-slli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-slli -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-slli.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-slli.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-slt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-slt -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-slt.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-slt.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-slti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-slti -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-slti.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-slti.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sltiu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sltiu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sltiu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sltiu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sltu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sltu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sltu.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sltu.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sra -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-srai: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-srai -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-srl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-srl -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-srli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-srli -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sub -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sw -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-sw.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-sw.dump -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-xor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-xor -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui-v-xori: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui-v-xori -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/add.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/add.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/addi.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/addi.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/and.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/and.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/andi.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/andi.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/auipc.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/auipc.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/beq.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/beq.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/bge.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/bge.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/bgeu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/bgeu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/blt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/blt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/bltu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/bltu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/bne.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/bne.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/fence_i.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/fence_i.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/jal.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/jal.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/jalr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/jalr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/lb.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/lb.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/lbu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/lbu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/lh.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/lh.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/lhu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/lhu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/lui.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/lui.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/lw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/lw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/ma_data.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/ma_data.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/or.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/or.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/ori.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/ori.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/sb.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/sb.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/sh.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/sh.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/simple.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/simple.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/sll.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/sll.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/slli.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/slli.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/slt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/slt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/slti.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/slti.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/sltiu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/sltiu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/sltu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/sltu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/sra.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/sra.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/srai.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/srai.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/srl.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/srl.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/srli.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/srli.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/sub.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/sub.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/sw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/sw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/xor.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/xor.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32ui/xori.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32ui/xori.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-p-div: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-p-div -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-p-divu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-p-divu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-p-mul: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-p-mul -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-p-mulh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-p-mulh -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-p-mulhsu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-p-mulhsu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-p-mulhu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-p-mulhu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-p-rem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-p-rem -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-p-remu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-p-remu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-v-div: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-v-div -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-v-divu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-v-divu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-v-mul: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-v-mul -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-v-mulh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-v-mulh -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-v-mulhsu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-v-mulhsu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-v-mulhu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-v-mulhu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-v-rem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-v-rem -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um-v-remu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um-v-remu -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um/div.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um/div.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um/divu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um/divu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um/mul.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um/mul.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um/mulh.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um/mulh.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um/mulhsu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um/mulhsu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um/mulhu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um/mulhu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um/rem.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um/rem.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32um/remu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32um/remu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/andn.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/andn.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/clz.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/clz.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/cpop.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/cpop.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/ctz.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/ctz.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/max.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/max.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/maxu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/maxu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/min.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/min.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/minu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/minu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/orc_b.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/orc_b.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/orn.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/orn.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/rev8.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/rev8.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/rol.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/rol.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/ror.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/ror.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/rori.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/rori.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbb/xnor.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbb/xnor.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbc/clmul.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbc/clmul.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbs/bclr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbs/bclr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbs/bclri.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbs/bclri.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbs/bext.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbs/bext.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbs/bexti.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbs/bexti.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbs/binv.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbs/binv.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbs/binvi.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbs/binvi.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbs/bset.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbs/bset.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzbs/bseti.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzbs/bseti.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzfh/fadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzfh/fadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzfh/fcmp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzfh/fcmp.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzfh/fcvt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzfh/fcvt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzfh/fdiv.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzfh/fdiv.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzfh/fmadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzfh/fmadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzfh/fmin.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzfh/fmin.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzfh/ldst.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzfh/ldst.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv32uzfh/move.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv32uzfh/move.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64mi/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64mi/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64mi/access.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64mi/access.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64mi/csr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64mi/csr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64mi/illegal.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64mi/illegal.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64mi/ma_addr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64mi/ma_addr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64mi/mcsr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64mi/mcsr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64mi/sbreak.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64mi/sbreak.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64mi/scall.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64mi/scall.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64mi/zicntr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64mi/zicntr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64si/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64si/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64si/csr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64si/csr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64si/dirty.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64si/dirty.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64si/sbreak.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64si/sbreak.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64si/scall.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64si/scall.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64si/wfi.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64si/wfi.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ua/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ua/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ua/amoor_d.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ua/amoor_d.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ua/amoor_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ua/amoor_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ua/lrsc.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ua/lrsc.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uc/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uc/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uc/rvc.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uc/rvc.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/fadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/fadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/fclass.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/fclass.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/fcmp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/fcmp.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/fcvt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/fcvt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/fcvt_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/fcvt_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/fdiv.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/fdiv.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/fmadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/fmadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/fmin.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/fmin.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/ldst.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/ldst.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ud/move.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ud/move.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/fadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/fadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/fclass.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/fclass.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/fcmp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/fcmp.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/fcvt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/fcvt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/fcvt_w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/fcvt_w.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/fdiv.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/fdiv.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/fmadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/fmadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/fmin.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/fmin.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/ldst.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/ldst.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uf/move.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uf/move.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/add.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/add.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/addi.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/addi.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/addiw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/addiw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/addw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/addw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/and.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/and.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/andi.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/andi.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/auipc.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/auipc.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/beq.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/beq.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/bge.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/bge.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/bgeu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/bgeu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/blt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/blt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/bltu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/bltu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/bne.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/bne.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/fence_i.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/fence_i.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/jal.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/jal.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/jalr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/jalr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/lb.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/lb.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/lbu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/lbu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/ld.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/ld.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/lh.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/lh.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/lhu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/lhu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/lui.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/lui.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/lw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/lw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/lwu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/lwu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/ma_data.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/ma_data.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/or.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/or.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/ori.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/ori.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sb.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sb.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sh.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sh.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/simple.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/simple.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sll.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sll.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/slli.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/slli.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/slliw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/slliw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sllw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sllw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/slt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/slt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/slti.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/slti.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sltiu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sltiu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sltu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sltu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sra.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sra.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/srai.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/srai.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sraiw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sraiw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sraw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sraw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/srl.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/srl.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/srli.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/srli.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/srliw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/srliw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/srlw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/srlw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sub.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sub.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/subw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/subw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/sw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/sw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/xor.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/xor.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64ui/xori.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64ui/xori.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/Makefrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/Makefrag -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/div.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/div.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/divu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/divu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/divuw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/divuw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/divw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/divw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/mul.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/mul.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/mulh.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/mulh.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/mulhsu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/mulhsu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/mulhu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/mulhu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/mulw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/mulw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/rem.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/rem.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/remu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/remu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/remuw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/remuw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64um/remw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64um/remw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/andn.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/andn.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/clz.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/clz.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/clzw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/clzw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/cpop.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/cpop.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/cpopw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/cpopw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/ctz.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/ctz.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/ctzw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/ctzw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/max.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/max.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/maxu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/maxu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/min.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/min.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/minu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/minu.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/orc_b.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/orc_b.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/orn.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/orn.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/rev8.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/rev8.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/rol.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/rol.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/rolw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/rolw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/ror.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/ror.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/rori.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/rori.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/roriw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/roriw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/rorw.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/rorw.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbb/xnor.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbb/xnor.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbc/clmul.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbc/clmul.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbs/bclr.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbs/bclr.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbs/bclri.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbs/bclri.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbs/bext.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbs/bext.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbs/bexti.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbs/bexti.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbs/binv.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbs/binv.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbs/binvi.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbs/binvi.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbs/bset.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbs/bset.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzbs/bseti.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzbs/bseti.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzfh/fadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzfh/fadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzfh/fcmp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzfh/fcmp.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzfh/fcvt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzfh/fcvt.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzfh/fdiv.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzfh/fdiv.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzfh/fmadd.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzfh/fmadd.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzfh/fmin.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzfh/fmin.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzfh/ldst.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzfh/ldst.S -------------------------------------------------------------------------------- /riscv-testdata/testdata/rv64uzfh/move.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/riscv-testdata/testdata/rv64uzfh/move.S -------------------------------------------------------------------------------- /run_examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/run_examples.py -------------------------------------------------------------------------------- /runner/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/Cargo.toml -------------------------------------------------------------------------------- /runner/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/README.md -------------------------------------------------------------------------------- /runner/benches/fibonacci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/benches/fibonacci.rs -------------------------------------------------------------------------------- /runner/src/code.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/code.rs -------------------------------------------------------------------------------- /runner/src/decode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/decode.rs -------------------------------------------------------------------------------- /runner/src/ecall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/ecall.rs -------------------------------------------------------------------------------- /runner/src/elf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/elf.rs -------------------------------------------------------------------------------- /runner/src/instruction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/instruction.rs -------------------------------------------------------------------------------- /runner/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/lib.rs -------------------------------------------------------------------------------- /runner/src/poseidon2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/poseidon2.rs -------------------------------------------------------------------------------- /runner/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/state.rs -------------------------------------------------------------------------------- /runner/src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/test_utils.rs -------------------------------------------------------------------------------- /runner/src/vm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/runner/src/vm.rs -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /scripts/nixdo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/scripts/nixdo -------------------------------------------------------------------------------- /scripts/test_bundle_tx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/scripts/test_bundle_tx.sh -------------------------------------------------------------------------------- /sdk/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/Cargo.lock -------------------------------------------------------------------------------- /sdk/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/Cargo.toml -------------------------------------------------------------------------------- /sdk/src/common/merkle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/merkle.rs -------------------------------------------------------------------------------- /sdk/src/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/mod.rs -------------------------------------------------------------------------------- /sdk/src/common/system.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/system.rs -------------------------------------------------------------------------------- /sdk/src/common/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/traits.rs -------------------------------------------------------------------------------- /sdk/src/common/types/event.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/types/event.rs -------------------------------------------------------------------------------- /sdk/src/common/types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/types/mod.rs -------------------------------------------------------------------------------- /sdk/src/common/types/poseidon2hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/types/poseidon2hash.rs -------------------------------------------------------------------------------- /sdk/src/common/types/raw_message.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/types/raw_message.rs -------------------------------------------------------------------------------- /sdk/src/common/types/state_address.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/types/state_address.rs -------------------------------------------------------------------------------- /sdk/src/common/types/state_object.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/types/state_object.rs -------------------------------------------------------------------------------- /sdk/src/common/types/system_tape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/common/types/system_tape.rs -------------------------------------------------------------------------------- /sdk/src/core/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/core/alloc.rs -------------------------------------------------------------------------------- /sdk/src/core/debug_macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/core/debug_macros.rs -------------------------------------------------------------------------------- /sdk/src/core/ecall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/core/ecall.rs -------------------------------------------------------------------------------- /sdk/src/core/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/core/env.rs -------------------------------------------------------------------------------- /sdk/src/core/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/core/mod.rs -------------------------------------------------------------------------------- /sdk/src/core/reg_abi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/core/reg_abi.rs -------------------------------------------------------------------------------- /sdk/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/lib.rs -------------------------------------------------------------------------------- /sdk/src/mozakvm/calltape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/mozakvm/calltape.rs -------------------------------------------------------------------------------- /sdk/src/mozakvm/eventtape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/mozakvm/eventtape.rs -------------------------------------------------------------------------------- /sdk/src/mozakvm/inputtape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/mozakvm/inputtape.rs -------------------------------------------------------------------------------- /sdk/src/mozakvm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/mozakvm/mod.rs -------------------------------------------------------------------------------- /sdk/src/mozakvm/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/mozakvm/poseidon.rs -------------------------------------------------------------------------------- /sdk/src/native/calltape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/native/calltape.rs -------------------------------------------------------------------------------- /sdk/src/native/eventtape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/native/eventtape.rs -------------------------------------------------------------------------------- /sdk/src/native/identity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/native/identity.rs -------------------------------------------------------------------------------- /sdk/src/native/inputtape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/native/inputtape.rs -------------------------------------------------------------------------------- /sdk/src/native/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/native/mod.rs -------------------------------------------------------------------------------- /sdk/src/native/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/native/poseidon.rs -------------------------------------------------------------------------------- /sdk/src/native/systemtape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/sdk/src/native/systemtape.rs -------------------------------------------------------------------------------- /signatures/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/signatures/Cargo.toml -------------------------------------------------------------------------------- /signatures/benches/zksigs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/signatures/benches/zksigs.rs -------------------------------------------------------------------------------- /signatures/src/lib.rs: -------------------------------------------------------------------------------- 1 | pub mod zk_friendly; 2 | -------------------------------------------------------------------------------- /signatures/src/zk_friendly/keccak256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/signatures/src/zk_friendly/keccak256.rs -------------------------------------------------------------------------------- /signatures/src/zk_friendly/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/signatures/src/zk_friendly/mod.rs -------------------------------------------------------------------------------- /signatures/src/zk_friendly/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/signatures/src/zk_friendly/poseidon.rs -------------------------------------------------------------------------------- /signatures/src/zk_friendly/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/signatures/src/zk_friendly/sha256.rs -------------------------------------------------------------------------------- /signatures/src/zk_friendly/sig.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/signatures/src/zk_friendly/sig.rs -------------------------------------------------------------------------------- /signatures/src/zk_friendly/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/signatures/src/zk_friendly/test_utils.rs -------------------------------------------------------------------------------- /signatures/src/zk_friendly/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/signatures/src/zk_friendly/utils.rs -------------------------------------------------------------------------------- /taplo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/taplo.toml -------------------------------------------------------------------------------- /update_testdata: -------------------------------------------------------------------------------- 1 | riscv-testdata/create_testdata/update_testdata -------------------------------------------------------------------------------- /wasm-demo/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/wasm-demo/Cargo.toml -------------------------------------------------------------------------------- /wasm-demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/wasm-demo/README.md -------------------------------------------------------------------------------- /wasm-demo/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/wasm-demo/index.html -------------------------------------------------------------------------------- /wasm-demo/src/bin/demo.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/wasm-demo/src/bin/demo.rs -------------------------------------------------------------------------------- /wasm-demo/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/0xmozak/mozak-vm/HEAD/wasm-demo/src/lib.rs --------------------------------------------------------------------------------