openvm_rv32im_circuit/branch_lt/
mod.rs

1use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
2
3use super::adapters::{RV32_CELL_BITS, RV32_REGISTER_NUM_LIMBS};
4use crate::adapters::{Rv32BranchAdapterAir, Rv32BranchAdapterExecutor, Rv32BranchAdapterFiller};
5
6mod core;
7mod execution;
8pub use core::*;
9
10#[cfg(feature = "cuda")]
11mod cuda;
12#[cfg(feature = "cuda")]
13pub use cuda::*;
14#[cfg(feature = "aot")]
15mod aot;
16
17#[cfg(test)]
18mod tests;
19
20pub type Rv32BranchLessThanAir = VmAirWrapper<
21    Rv32BranchAdapterAir,
22    BranchLessThanCoreAir<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>,
23>;
24pub type Rv32BranchLessThanExecutor =
25    BranchLessThanExecutor<Rv32BranchAdapterExecutor, RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>;
26pub type Rv32BranchLessThanChip<F> = VmChipWrapper<
27    F,
28    BranchLessThanFiller<Rv32BranchAdapterFiller, RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>,
29>;