Common circuit for R-Instructions #37
Annotations
2 errors and 10 warnings
|
|
|
|
|
ceno_zkvm/src/instructions/riscv/addsub.rs#L15
unused imports: `riscv::config::ExprLtInput` and `set_val`
|
ceno_zkvm/src/instructions/riscv/r_insn.rs#L1
unused import: `std::marker::PhantomData`
|
ceno_zkvm/src/instructions/riscv/r_insn.rs#L5
unused import: `itertools::Itertools`
|
ceno_zkvm/src/instructions/riscv/r_insn.rs#L10
unused imports: `FUNCT3_ADD_SUB`, `FUNCT7_ADD`, `FUNCT7_SUB`, `OPCODE_OP`, `OPType`, `OpcodeType`, and `RIVInstruction`
|
ceno_zkvm/src/instructions/riscv/r_insn.rs#L20
unused import: `Instruction`
|
|
ceno_zkvm/examples/riscv_add.rs#L68
unexpected `cfg` condition value: `non_pow2_rayon_thread`
|
This job was cancelled
Loading