Module o1vm::interpreters::riscv32im

An interpreter for the RISC-V 32IM instruction set, following the specification on riscv.org.

Modules

• column
  List all columns used by the interpreter
• constraints
• interpreter
  This module implement an interpreter for the RISCV32 IM instruction set architecture.
• registers
  All the registers used by the ISA
• witness

Constants

• INSTRUCTION_SET_SIZE
  Number of instructions in the ISA
• PAGE_ADDRESS_MASK
• PAGE_ADDRESS_SIZE
• PAGE_SIZE
• SCRATCH_SIZE
  The minimal number of columns required for the VM