openvm_rv32im_circuit/auipc/
mod.rs

1use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
2
3use crate::adapters::Rv32RdWriteAdapterAir;
4
5mod core;
6mod execution;
7pub use core::*;
8
9#[cfg(feature = "cuda")]
10mod cuda;
11#[cfg(feature = "cuda")]
12pub use cuda::*;
13
14#[cfg(test)]
15mod tests;
16
17pub type Rv32AuipcAir = VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>;
18pub type Rv32AuipcChip<F> = VmChipWrapper<F, Rv32AuipcFiller>;