openvm_rv32im_circuit/loadstore/
mod.rs

1mod core;
2
3pub use core::*;
4
5use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
6
7use super::adapters::RV32_REGISTER_NUM_LIMBS;
8use crate::adapters::{Rv32LoadStoreAdapterAir, Rv32LoadStoreAdapterExecutor};
9
10mod execution;
11
12#[cfg(feature = "cuda")]
13mod cuda;
14#[cfg(feature = "cuda")]
15pub use cuda::*;
16
17#[cfg(test)]
18mod tests;
19
20pub type Rv32LoadStoreAir =
21    VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<RV32_REGISTER_NUM_LIMBS>>;
22pub type Rv32LoadStoreExecutor =
23    LoadStoreExecutor<Rv32LoadStoreAdapterExecutor, RV32_REGISTER_NUM_LIMBS>;
24pub type Rv32LoadStoreChip<F> = VmChipWrapper<F, LoadStoreFiller>;