haloumi 0.5.13

Entrypoint crate for the Haloumi framework.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

#![doc = include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/", env!("CARGO_PKG_README")))]
#![deny(rustdoc::broken_intra_doc_links)]
#![deny(missing_debug_implementations)]
#![deny(missing_docs)]

pub mod driver;
pub mod error;

// This crate re-exports some of the other crates in order to reduce the number of crates clients
// may need to add to their dependencies list.

/// Re-export of `haloumi-ir`.
pub mod ir {
    pub use haloumi_ir::*;
    /// Re-export of `haloumi-ir-gen`
    pub mod r#gen {
        pub use haloumi_ir_gen::*;
    }
}

/// Re-export of `haloumi-synthesis`
pub mod synthesis {
    pub use haloumi_synthesis::*;
}
/// Re-export of `haloumi-core`
pub mod core {
    pub use haloumi_core::*;
}

/// Haloumi backends re-exports.
pub mod backends {
    /// Re-export of `haloumi-picus`
    #[cfg(feature = "picus-backend")]
    pub mod picus {
        pub use haloumi_picus::*;
    }

    /// Re-export of `haloumi-llzk`
    #[cfg(feature = "llzk-backend")]
    pub mod llzk {
        pub use haloumi_llzk::*;
    }
}