rename addi to arith_imm

scroll-tech · Sep 26, 2024 · f493af1 · f493af1
1 parent c9a266d
commit f493af1
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/ceno_zkvm/src/instructions/riscv.rs b/ceno_zkvm/src/instructions/riscv.rs
@@ -1,7 +1,7 @@
 use ceno_emul::InsnKind;
 
-pub mod addi;
 pub mod arith;
+pub mod arith_imm;
 pub mod blt;
 pub mod branch;
 pub mod config;

diff --git a/ceno_zkvm/src/instructions/riscv/addi.rs → ..._zkvm/src/instructions/riscv/arith_imm.rs b/ceno_zkvm/src/instructions/riscv/addi.rs → ..._zkvm/src/instructions/riscv/arith_imm.rs