openvm_rv32im_circuit/branch_eq/
mod.rs

1use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
2
3use super::adapters::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
15#[cfg(test)]
16mod tests;
17
18pub type Rv32BranchEqualAir =
19    VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<RV32_REGISTER_NUM_LIMBS>>;
20pub type Rv32BranchEqualExecutor =
21    BranchEqualExecutor<Rv32BranchAdapterExecutor, RV32_REGISTER_NUM_LIMBS>;
22pub type Rv32BranchEqualChip<F> =
23    VmChipWrapper<F, BranchEqualFiller<Rv32BranchAdapterFiller, RV32_REGISTER_NUM_LIMBS>>;