bitwright 0.16.0

Hash-consed fixed-width bit-vector expressions: exact evaluation, bit-level facts, and verified simplification.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! The built-in rule corpus: embedded source, compiled at run time, and its proof ledger.

/// The source of the built-in rules.
pub(crate) const CORE: &str = include_str!("corpus/core.bwr");

/// The ledger that vouches for them.
pub(crate) const CORE_LEDGER: &str = include_str!("corpus/core.bwr.proof");

/// The identities of the equality-saturation search service.
pub(crate) const EQSAT: &str = include_str!("corpus/eqsat.bwr");

/// The ledger that vouches for them.
pub(crate) const EQSAT_LEDGER: &str = include_str!("corpus/eqsat.bwr.proof");