synth-core 0.65.0

Core types, error handling, and backend trait for the Synth compiler
Documentation 
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

//! Synth Core - Fundamental data structures and types
//!
//! This crate defines the core data structures used throughout the Synth synthesizer,
//! including representations for WebAssembly components, modules, and the intermediate
//! representation (IR) used for synthesis.

pub mod arena_bind;
pub mod async_intrinsics;
pub mod backend;
pub mod component;
pub mod dwarf_line;
pub mod error;
pub mod ir;
pub mod proven_safe;
pub mod provenance;
pub mod safety_manifest;
pub mod sbom;
pub mod static_data_addr;
pub mod target;
pub mod wasm_decoder;
pub mod wasm_op;
pub mod wasm_stack_check;
pub mod wcet;
pub mod wsc_facts;

pub use backend::*;
pub use component::*;
pub use error::{Error, Result};
pub use ir::*;
pub use safety_manifest::SafetyManifest;
pub use sbom::{CycloneDxSbom, SbomInputs};
pub use target::*;
pub use wasm_decoder::{
    CallIndirectGuards, DecodedModule, ElemSegmentInfo, FunctionOps, ImportEntry, ImportKind,
    TableGuards, WasmMemory, decode_wasm_functions, decode_wasm_module,
};
pub use wasm_op::{
    ParamBlockLowering, WasmOp, arm_param_block_lowering, count_params_heuristic,
    find_param_block_type, find_unlowered_param_block_type, param_block_decline_msg,
    referenced_locals, rewrite_memory_grow_zero,
};
pub use wsc_facts::{FactKind, WSC_FACTS_SECTION_NAME, WscFact, WscFactsParse, parse_wsc_facts};