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 async_intrinsics;
9pub mod backend;
10pub mod component;
11pub mod dwarf_line;
12pub mod error;
13pub mod ir;
14pub mod proven_safe;
15pub mod provenance;
16pub mod safety_manifest;
17pub mod sbom;
18pub mod stack_depth;
19pub mod static_data_addr;
20pub mod target;
21pub mod wasm_decoder;
22pub mod wasm_op;
23pub mod wasm_stack_check;
24pub mod wcet;
25pub mod wsc_facts;
26
27pub use backend::*;
28pub use component::*;
29pub use error::{Error, Result};
30pub use ir::*;
31pub use safety_manifest::SafetyManifest;
32pub use sbom::{CycloneDxSbom, SbomInputs};
33pub use target::*;
34pub use wasm_decoder::{
35    CallIndirectGuards, DecodedModule, ElemSegmentInfo, FunctionOps, ImportEntry, ImportKind,
36    TableGuards, WasmMemory, decode_wasm_functions, decode_wasm_module,
37};
38pub use wasm_op::{
39    ParamBlockLowering, WasmOp, arm_param_block_lowering, count_params_heuristic,
40    find_param_block_type, find_unlowered_param_block_type, param_block_decline_msg,
41    referenced_locals, rewrite_memory_grow_zero,
42};
43pub use wsc_facts::{FactKind, WSC_FACTS_SECTION_NAME, WscFact, WscFactsParse, parse_wsc_facts};
synth_core/lib.rs

synth_core/
lib.rs
