cannon: git mv into cannon sub-dir for monorepo merge

ba1c236f · protolambda · ff823e43 · ba1c236f · ba1c236f · ba1c236f
Commit ba1c236f authored Jun 16, 2023 by protolambda
164 changed files
--- a/.gitignore
+++ b/.gitignore
--- a/LICENSE
+++ b/LICENSE
--- a/Makefile
+++ b/Makefile
--- a/README.md
+++ b/README.md
--- a/cmd/json.go
+++ b/cmd/json.go
--- a/cmd/load_elf.go
+++ b/cmd/load_elf.go
--- a/cmd/log.go
+++ b/cmd/log.go
--- a/cmd/matcher.go
+++ b/cmd/matcher.go
--- a/cmd/run.go
+++ b/cmd/run.go
--- a/contracts/foundry.toml
+++ b/contracts/foundry.toml
--- a/contracts/src/MIPS.sol
+++ b/contracts/src/MIPS.sol
--- a/contracts/src/Oracle.sol
+++ b/contracts/src/Oracle.sol
--- a/docs/README.md
+++ b/docs/README.md
--- a/example/Makefile
+++ b/example/Makefile
--- a/example/claim/go.mod
+++ b/example/claim/go.mod
--- a/example/claim/go.sum
+++ b/example/claim/go.sum
--- a/example/claim/main.go
+++ b/example/claim/main.go
--- a/example/hello/go.mod
+++ b/example/hello/go.mod
--- a/example/hello/main.go
+++ b/example/hello/main.go
--- a/go.mod
+++ b/go.mod
--- a/go.sum
+++ b/go.sum
--- a/main.go
+++ b/main.go
--- a/mipsevm/.gitignore
+++ b/mipsevm/.gitignore
--- a/mipsevm/README.md
+++ b/mipsevm/README.md
--- a/mipsevm/evm.go
+++ b/mipsevm/evm.go
--- a/mipsevm/evm_test.go
+++ b/mipsevm/evm_test.go
--- a/mipsevm/instrumented.go
+++ b/mipsevm/instrumented.go
--- a/mipsevm/logw.go
+++ b/mipsevm/logw.go
--- a/mipsevm/memory.go
+++ b/mipsevm/memory.go
--- a/mipsevm/memory_test.go
+++ b/mipsevm/memory_test.go
--- a/mipsevm/metadata.go
+++ b/mipsevm/metadata.go
--- a/mipsevm/mips.go
+++ b/mipsevm/mips.go
--- a/mipsevm/open_mips_tests/LICENSE
+++ b/mipsevm/open_mips_tests/LICENSE
--- a/mipsevm/open_mips_tests/README.md
+++ b/mipsevm/open_mips_tests/README.md
--- a/mipsevm/open_mips_tests/maketests.py
+++ b/mipsevm/open_mips_tests/maketests.py
--- a/mipsevm/open_mips_tests/test/add.asm
+++ b/mipsevm/open_mips_tests/test/add.asm
--- a/mipsevm/open_mips_tests/test/addi.asm
+++ b/mipsevm/open_mips_tests/test/addi.asm
--- a/mipsevm/open_mips_tests/test/addiu.asm
+++ b/mipsevm/open_mips_tests/test/addiu.asm
--- a/mipsevm/open_mips_tests/test/addu.asm
+++ b/mipsevm/open_mips_tests/test/addu.asm
--- a/mipsevm/open_mips_tests/test/and.asm
+++ b/mipsevm/open_mips_tests/test/and.asm
--- a/mipsevm/open_mips_tests/test/andi.asm
+++ b/mipsevm/open_mips_tests/test/andi.asm
--- a/mipsevm/open_mips_tests/test/beq.asm
+++ b/mipsevm/open_mips_tests/test/beq.asm
--- a/mipsevm/open_mips_tests/test/bgez.asm
+++ b/mipsevm/open_mips_tests/test/bgez.asm
--- a/mipsevm/open_mips_tests/test/bgtz.asm
+++ b/mipsevm/open_mips_tests/test/bgtz.asm
--- a/mipsevm/open_mips_tests/test/bin/add.bin
+++ b/mipsevm/open_mips_tests/test/bin/add.bin
--- a/mipsevm/open_mips_tests/test/bin/addi.bin
+++ b/mipsevm/open_mips_tests/test/bin/addi.bin
--- a/mipsevm/open_mips_tests/test/bin/addiu.bin
+++ b/mipsevm/open_mips_tests/test/bin/addiu.bin
--- a/mipsevm/open_mips_tests/test/bin/addu.bin
+++ b/mipsevm/open_mips_tests/test/bin/addu.bin
--- a/mipsevm/open_mips_tests/test/bin/and.bin
+++ b/mipsevm/open_mips_tests/test/bin/and.bin
--- a/mipsevm/open_mips_tests/test/bin/andi.bin
+++ b/mipsevm/open_mips_tests/test/bin/andi.bin
--- a/mipsevm/open_mips_tests/test/bin/beq.bin
+++ b/mipsevm/open_mips_tests/test/bin/beq.bin
--- a/mipsevm/open_mips_tests/test/bin/bgez.bin
+++ b/mipsevm/open_mips_tests/test/bin/bgez.bin
--- a/mipsevm/open_mips_tests/test/bin/bgtz.bin
+++ b/mipsevm/open_mips_tests/test/bin/bgtz.bin
--- a/mipsevm/open_mips_tests/test/bin/blez.bin
+++ b/mipsevm/open_mips_tests/test/bin/blez.bin
--- a/mipsevm/open_mips_tests/test/bin/bltz.bin
+++ b/mipsevm/open_mips_tests/test/bin/bltz.bin
--- a/mipsevm/open_mips_tests/test/bin/bne.bin
+++ b/mipsevm/open_mips_tests/test/bin/bne.bin
--- a/mipsevm/open_mips_tests/test/bin/clo.bin
+++ b/mipsevm/open_mips_tests/test/bin/clo.bin
--- a/mipsevm/open_mips_tests/test/bin/clz.bin
+++ b/mipsevm/open_mips_tests/test/bin/clz.bin
--- a/mipsevm/open_mips_tests/test/bin/div.bin
+++ b/mipsevm/open_mips_tests/test/bin/div.bin
--- a/mipsevm/open_mips_tests/test/bin/divu.bin
+++ b/mipsevm/open_mips_tests/test/bin/divu.bin
--- a/mipsevm/open_mips_tests/test/bin/j.bin
+++ b/mipsevm/open_mips_tests/test/bin/j.bin
--- a/mipsevm/open_mips_tests/test/bin/jal.bin
+++ b/mipsevm/open_mips_tests/test/bin/jal.bin
--- a/mipsevm/open_mips_tests/test/bin/jalr.bin
+++ b/mipsevm/open_mips_tests/test/bin/jalr.bin
--- a/mipsevm/open_mips_tests/test/bin/jr.bin
+++ b/mipsevm/open_mips_tests/test/bin/jr.bin
--- a/mipsevm/open_mips_tests/test/bin/lb.bin
+++ b/mipsevm/open_mips_tests/test/bin/lb.bin
--- a/mipsevm/open_mips_tests/test/bin/lbu.bin
+++ b/mipsevm/open_mips_tests/test/bin/lbu.bin
--- a/mipsevm/open_mips_tests/test/bin/lh.bin
+++ b/mipsevm/open_mips_tests/test/bin/lh.bin
--- a/mipsevm/open_mips_tests/test/bin/lhu.bin
+++ b/mipsevm/open_mips_tests/test/bin/lhu.bin
--- a/mipsevm/open_mips_tests/test/bin/lui.bin
+++ b/mipsevm/open_mips_tests/test/bin/lui.bin
--- a/mipsevm/open_mips_tests/test/bin/lw.bin
+++ b/mipsevm/open_mips_tests/test/bin/lw.bin
--- a/mipsevm/open_mips_tests/test/bin/lwl.bin
+++ b/mipsevm/open_mips_tests/test/bin/lwl.bin
--- a/mipsevm/open_mips_tests/test/bin/lwr.bin
+++ b/mipsevm/open_mips_tests/test/bin/lwr.bin
--- a/mipsevm/open_mips_tests/test/bin/mfthi.bin
+++ b/mipsevm/open_mips_tests/test/bin/mfthi.bin
--- a/mipsevm/open_mips_tests/test/bin/mftlo.bin
+++ b/mipsevm/open_mips_tests/test/bin/mftlo.bin
--- a/mipsevm/open_mips_tests/test/bin/movn.bin
+++ b/mipsevm/open_mips_tests/test/bin/movn.bin
--- a/mipsevm/open_mips_tests/test/bin/movz.bin
+++ b/mipsevm/open_mips_tests/test/bin/movz.bin
--- a/mipsevm/open_mips_tests/test/bin/mul.bin
+++ b/mipsevm/open_mips_tests/test/bin/mul.bin
--- a/mipsevm/open_mips_tests/test/bin/mult.bin
+++ b/mipsevm/open_mips_tests/test/bin/mult.bin
--- a/mipsevm/open_mips_tests/test/bin/multu.bin
+++ b/mipsevm/open_mips_tests/test/bin/multu.bin
--- a/mipsevm/open_mips_tests/test/bin/nor.bin
+++ b/mipsevm/open_mips_tests/test/bin/nor.bin
--- a/mipsevm/open_mips_tests/test/bin/oracle.bin
+++ b/mipsevm/open_mips_tests/test/bin/oracle.bin
--- a/mipsevm/open_mips_tests/test/bin/ori.bin
+++ b/mipsevm/open_mips_tests/test/bin/ori.bin
--- a/mipsevm/open_mips_tests/test/bin/sb.bin
+++ b/mipsevm/open_mips_tests/test/bin/sb.bin
--- a/mipsevm/open_mips_tests/test/bin/sh.bin
+++ b/mipsevm/open_mips_tests/test/bin/sh.bin
--- a/mipsevm/open_mips_tests/test/bin/sll.bin
+++ b/mipsevm/open_mips_tests/test/bin/sll.bin
--- a/mipsevm/open_mips_tests/test/bin/sllv.bin
+++ b/mipsevm/open_mips_tests/test/bin/sllv.bin
--- a/mipsevm/open_mips_tests/test/bin/slt.bin
+++ b/mipsevm/open_mips_tests/test/bin/slt.bin
--- a/mipsevm/open_mips_tests/test/bin/slti.bin
+++ b/mipsevm/open_mips_tests/test/bin/slti.bin
--- a/mipsevm/open_mips_tests/test/bin/sltiu.bin
+++ b/mipsevm/open_mips_tests/test/bin/sltiu.bin
--- a/mipsevm/open_mips_tests/test/bin/sltu.bin
+++ b/mipsevm/open_mips_tests/test/bin/sltu.bin
--- a/mipsevm/open_mips_tests/test/bin/sra.bin
+++ b/mipsevm/open_mips_tests/test/bin/sra.bin
--- a/mipsevm/open_mips_tests/test/bin/srav.bin
+++ b/mipsevm/open_mips_tests/test/bin/srav.bin
--- a/mipsevm/open_mips_tests/test/bin/srl.bin
+++ b/mipsevm/open_mips_tests/test/bin/srl.bin
--- a/mipsevm/open_mips_tests/test/bin/srlv.bin
+++ b/mipsevm/open_mips_tests/test/bin/srlv.bin
--- a/mipsevm/open_mips_tests/test/bin/sub.bin
+++ b/mipsevm/open_mips_tests/test/bin/sub.bin
--- a/mipsevm/open_mips_tests/test/bin/subu.bin
+++ b/mipsevm/open_mips_tests/test/bin/subu.bin
--- a/mipsevm/open_mips_tests/test/bin/swl.bin
+++ b/mipsevm/open_mips_tests/test/bin/swl.bin
--- a/mipsevm/open_mips_tests/test/bin/swr.bin
+++ b/mipsevm/open_mips_tests/test/bin/swr.bin
--- a/mipsevm/open_mips_tests/test/bin/xor.bin
+++ b/mipsevm/open_mips_tests/test/bin/xor.bin
--- a/mipsevm/open_mips_tests/test/bin/xori.bin
+++ b/mipsevm/open_mips_tests/test/bin/xori.bin
--- a/mipsevm/open_mips_tests/test/blez.asm
+++ b/mipsevm/open_mips_tests/test/blez.asm
--- a/mipsevm/open_mips_tests/test/bltz.asm
+++ b/mipsevm/open_mips_tests/test/bltz.asm
--- a/mipsevm/open_mips_tests/test/bne.asm
+++ b/mipsevm/open_mips_tests/test/bne.asm
--- a/mipsevm/open_mips_tests/test/clo.asm
+++ b/mipsevm/open_mips_tests/test/clo.asm
--- a/mipsevm/open_mips_tests/test/clz.asm
+++ b/mipsevm/open_mips_tests/test/clz.asm
--- a/mipsevm/open_mips_tests/test/div.asm
+++ b/mipsevm/open_mips_tests/test/div.asm
--- a/mipsevm/open_mips_tests/test/divu.asm
+++ b/mipsevm/open_mips_tests/test/divu.asm
--- a/mipsevm/open_mips_tests/test/j.asm
+++ b/mipsevm/open_mips_tests/test/j.asm
--- a/mipsevm/open_mips_tests/test/jal.asm
+++ b/mipsevm/open_mips_tests/test/jal.asm
--- a/mipsevm/open_mips_tests/test/jalr.asm
+++ b/mipsevm/open_mips_tests/test/jalr.asm
--- a/mipsevm/open_mips_tests/test/jr.asm
+++ b/mipsevm/open_mips_tests/test/jr.asm
--- a/mipsevm/open_mips_tests/test/lb.asm
+++ b/mipsevm/open_mips_tests/test/lb.asm
--- a/mipsevm/open_mips_tests/test/lbu.asm
+++ b/mipsevm/open_mips_tests/test/lbu.asm
--- a/mipsevm/open_mips_tests/test/lh.asm
+++ b/mipsevm/open_mips_tests/test/lh.asm
--- a/mipsevm/open_mips_tests/test/lhu.asm
+++ b/mipsevm/open_mips_tests/test/lhu.asm
--- a/mipsevm/open_mips_tests/test/lui.asm
+++ b/mipsevm/open_mips_tests/test/lui.asm
--- a/mipsevm/open_mips_tests/test/lw.asm
+++ b/mipsevm/open_mips_tests/test/lw.asm
--- a/mipsevm/open_mips_tests/test/lwl.asm
+++ b/mipsevm/open_mips_tests/test/lwl.asm
--- a/mipsevm/open_mips_tests/test/lwr.asm
+++ b/mipsevm/open_mips_tests/test/lwr.asm
--- a/mipsevm/open_mips_tests/test/mfthi.asm
+++ b/mipsevm/open_mips_tests/test/mfthi.asm
--- a/mipsevm/open_mips_tests/test/mftlo.asm
+++ b/mipsevm/open_mips_tests/test/mftlo.asm
--- a/mipsevm/open_mips_tests/test/movn.asm
+++ b/mipsevm/open_mips_tests/test/movn.asm
--- a/mipsevm/open_mips_tests/test/movz.asm
+++ b/mipsevm/open_mips_tests/test/movz.asm
--- a/mipsevm/open_mips_tests/test/mul.asm
+++ b/mipsevm/open_mips_tests/test/mul.asm
--- a/mipsevm/open_mips_tests/test/mult.asm
+++ b/mipsevm/open_mips_tests/test/mult.asm
--- a/mipsevm/open_mips_tests/test/multu.asm
+++ b/mipsevm/open_mips_tests/test/multu.asm
--- a/mipsevm/open_mips_tests/test/nor.asm
+++ b/mipsevm/open_mips_tests/test/nor.asm
--- a/mipsevm/open_mips_tests/test/oracle.asm
+++ b/mipsevm/open_mips_tests/test/oracle.asm
--- a/mipsevm/open_mips_tests/test/ori.asm
+++ b/mipsevm/open_mips_tests/test/ori.asm
--- a/mipsevm/open_mips_tests/test/sb.asm
+++ b/mipsevm/open_mips_tests/test/sb.asm
--- a/mipsevm/open_mips_tests/test/sh.asm
+++ b/mipsevm/open_mips_tests/test/sh.asm
--- a/mipsevm/open_mips_tests/test/sll.asm
+++ b/mipsevm/open_mips_tests/test/sll.asm
--- a/mipsevm/open_mips_tests/test/sllv.asm
+++ b/mipsevm/open_mips_tests/test/sllv.asm
--- a/mipsevm/open_mips_tests/test/slt.asm
+++ b/mipsevm/open_mips_tests/test/slt.asm
--- a/mipsevm/open_mips_tests/test/slti.asm
+++ b/mipsevm/open_mips_tests/test/slti.asm
--- a/mipsevm/open_mips_tests/test/sltiu.asm
+++ b/mipsevm/open_mips_tests/test/sltiu.asm
--- a/mipsevm/open_mips_tests/test/sltu.asm
+++ b/mipsevm/open_mips_tests/test/sltu.asm
--- a/mipsevm/open_mips_tests/test/sra.asm
+++ b/mipsevm/open_mips_tests/test/sra.asm
--- a/mipsevm/open_mips_tests/test/srav.asm
+++ b/mipsevm/open_mips_tests/test/srav.asm
--- a/mipsevm/open_mips_tests/test/srl.asm
+++ b/mipsevm/open_mips_tests/test/srl.asm
--- a/mipsevm/open_mips_tests/test/srlv.asm
+++ b/mipsevm/open_mips_tests/test/srlv.asm
--- a/mipsevm/open_mips_tests/test/sub.asm
+++ b/mipsevm/open_mips_tests/test/sub.asm
--- a/mipsevm/open_mips_tests/test/subu.asm
+++ b/mipsevm/open_mips_tests/test/subu.asm
--- a/mipsevm/open_mips_tests/test/swl.asm
+++ b/mipsevm/open_mips_tests/test/swl.asm
--- a/mipsevm/open_mips_tests/test/swr.asm
+++ b/mipsevm/open_mips_tests/test/swr.asm
--- a/mipsevm/open_mips_tests/test/xor.asm
+++ b/mipsevm/open_mips_tests/test/xor.asm
--- a/mipsevm/open_mips_tests/test/xori.asm
+++ b/mipsevm/open_mips_tests/test/xori.asm
--- a/mipsevm/page.go
+++ b/mipsevm/page.go
--- a/mipsevm/page_test.go
+++ b/mipsevm/page_test.go
--- a/mipsevm/patch.go
+++ b/mipsevm/patch.go
--- a/mipsevm/solutil.go
+++ b/mipsevm/solutil.go
--- a/mipsevm/solutil_test.go
+++ b/mipsevm/solutil_test.go
--- a/mipsevm/state.go
+++ b/mipsevm/state.go
--- a/mipsevm/state_test.go
+++ b/mipsevm/state_test.go
--- a/mipsevm/witness.go
+++ b/mipsevm/witness.go
--- a/preimage/filechan.go
+++ b/preimage/filechan.go
--- a/preimage/go.mod
+++ b/preimage/go.mod
--- a/preimage/go.sum
+++ b/preimage/go.sum
--- a/preimage/hash.go
+++ b/preimage/hash.go
--- a/preimage/hints.go
+++ b/preimage/hints.go
--- a/preimage/hints_test.go
+++ b/preimage/hints_test.go
--- a/preimage/iface.go
+++ b/preimage/iface.go
--- a/preimage/oracle.go
+++ b/preimage/oracle.go
--- a/preimage/oracle_test.go
+++ b/preimage/oracle_test.go