openvm_
rv32im_
circuit
1.0.0
In openvm_
rv32im_
circuit::
adapters
Structs
LoadStoreInstruction
Rv32BaseAluAdapterAir
Rv32BaseAluAdapterChip
Rv32BaseAluAdapterCols
Rv32BaseAluReadRecord
Rv32BaseAluWriteRecord
Rv32BranchAdapterAir
Rv32BranchAdapterChip
Rv32BranchAdapterCols
Rv32BranchReadRecord
Rv32BranchWriteRecord
Rv32CondRdWriteAdapterAir
Rv32CondRdWriteAdapterChip
Rv32CondRdWriteAdapterCols
Rv32JalrAdapterAir
Rv32JalrAdapterChip
Rv32JalrAdapterCols
Rv32JalrReadRecord
Rv32JalrWriteRecord
Rv32LoadStoreAdapterAir
Rv32LoadStoreAdapterAirInterface
Rv32LoadStoreAdapterChip
Rv32LoadStoreAdapterCols
Rv32LoadStoreAdapterRuntimeInterface
Rv32LoadStoreReadRecord
Rv32LoadStoreWriteRecord
Rv32MultAdapterAir
Rv32MultAdapterChip
Rv32MultAdapterCols
Rv32MultReadRecord
Rv32MultWriteRecord
Rv32RdWriteAdapterAir
Rv32RdWriteAdapterChip
Rv32RdWriteAdapterCols
Rv32RdWriteWriteRecord
Constants
INT256_NUM_LIMBS
RV32_CELL_BITS
RV32_REGISTER_NUM_LIMBS
RV_B_TYPE_IMM_BITS
RV_IS_TYPE_IMM_BITS
RV_J_TYPE_IMM_BITS
Functions
abstract_compose
compose
decompose
read_rv32_register
unsafe_read_rv32_register
openvm_rv32im_circuit
::
adapters
Constant
RV32_CELL_BITS
Copy item path
Settings
Help
Summary
Source
pub const RV32_CELL_BITS:
usize
= 8; // 8usize