synth_core/
lib.rs

1//! Synth Core - Fundamental data structures and types
2//!
3//! This crate defines the core data structures used throughout the Synth synthesizer,
4//! including representations for WebAssembly components, modules, and the intermediate
5//! representation (IR) used for synthesis.
6
7pub mod arena_bind;
8pub mod backend;
9pub mod component;
10pub mod dwarf_line;
11pub mod error;
12pub mod ir;
13pub mod provenance;
14pub mod safety_manifest;
15pub mod sbom;
16pub mod static_data_addr;
17pub mod target;
18pub mod wasm_decoder;
19pub mod wasm_op;
20pub mod wasm_stack_check;
21pub mod wcet;
22pub mod wsc_facts;
23
24pub use backend::*;
25pub use component::*;
26pub use error::{Error, Result};
27pub use ir::*;
28pub use safety_manifest::SafetyManifest;
29pub use sbom::{CycloneDxSbom, SbomInputs};
30pub use target::*;
31pub use wasm_decoder::{
32    CallIndirectGuards, DecodedModule, ElemSegmentInfo, FunctionOps, ImportEntry, ImportKind,
33    TableGuards, WasmMemory, decode_wasm_functions, decode_wasm_module,
34};
35pub use wasm_op::WasmOp;
36pub use wsc_facts::{FactKind, WSC_FACTS_SECTION_NAME, WscFact, WscFactsParse, parse_wsc_facts};
synth_core/lib.rs

synth_core/
lib.rs
