1#![warn(clippy::pedantic)]
4#![allow(clippy::similar_names)]
5#![allow(clippy::cast_possible_wrap)]
6#![allow(clippy::cast_possible_truncation)]
7#![allow(clippy::cast_sign_loss)]
8#![allow(clippy::module_name_repetitions)]
9#![allow(clippy::needless_range_loop)]
10#![allow(clippy::cast_lossless)]
11#![allow(clippy::bool_to_int_with_if)]
12#![allow(clippy::should_panic_without_expect)]
13#![allow(clippy::field_reassign_with_default)]
14#![allow(clippy::manual_assert)]
15#![allow(clippy::unreadable_literal)]
16#![allow(clippy::match_wildcard_for_single_variants)]
17#![allow(clippy::missing_panics_doc)]
18#![allow(clippy::missing_errors_doc)]
19#![allow(clippy::explicit_iter_loop)]
20#![allow(clippy::if_not_else)]
21#![warn(missing_docs)]
22
23pub mod air;
24mod chip;
25mod debug;
26mod folder;
27pub mod ir;
28mod logup_gkr;
29mod lookup;
30mod machine;
31pub mod operations;
32pub mod prover;
33mod record;
34pub mod septic_curve;
35pub mod septic_digest;
36pub mod septic_extension;
37pub mod shape;
38mod util;
39mod verifier;
40mod word;
41pub use chip::*;
42pub use debug::{debug_constraints, debug_constraints_all_chips, DebugConstraintBuilder};
43pub use folder::*;
44pub use logup_gkr::*;
45pub use lookup::*;
46pub use machine::*;
47pub use record::*;
48pub use util::*;
49pub use verifier::*;
50pub use word::*;