openvm_rv32im_circuit/branch_lt/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
use openvm_circuit::arch::VmChipWrapper;

use super::adapters::{RV32_CELL_BITS, RV32_REGISTER_NUM_LIMBS};
use crate::adapters::Rv32BranchAdapterChip;

mod core;
pub use core::*;

#[cfg(test)]
mod tests;

pub type Rv32BranchLessThanChip<F> = VmChipWrapper<
    F,
    Rv32BranchAdapterChip<F>,
    BranchLessThanCoreChip<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>,
>;