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 bb31_poseidon2;
25mod chip;
26mod config;
27mod debug;
28mod folder;
29mod lookup;
30mod machine;
31mod opts;
32mod permutation;
33mod prover;
34mod quotient;
35mod record;
36pub mod septic_curve;
37pub mod septic_digest;
38pub mod septic_extension;
39pub mod shape;
40mod types;
41mod util;
42mod verifier;
43mod word;
44
45pub use bb31_poseidon2::*;
46pub use chip::*;
47pub use config::*;
48pub use debug::*;
49pub use folder::*;
50pub use lookup::*;
51pub use machine::*;
52pub use opts::*;
53pub use permutation::*;
54pub use prover::*;
55pub use quotient::*;
56pub use record::*;
57pub use types::*;
58pub use verifier::*;
59pub use word::*;