Module riscv

Module with traits and constants for RISC-V instruction definitions for custom OpenVM instructions.

Constants

• RV32_CELL_BITS
• RV32_IMM_AS
• RV32_MEMORY_AS
• RV32_REGISTER_AS
• RV32_REGISTER_NUM_LIMBS
  32-bit register stored as 4 bytes (4 limbs of 8-bits) in OpenVM memory.