synth/Cargo.toml at main · pulseengine/synth · GitHub

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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
[workspace]
members = [
    "crates/synth-cli",
    "crates/synth-core",
    "crates/synth-frontend",
    "crates/synth-analysis",
    "crates/synth-synthesis",
    "crates/synth-backend",
    "crates/synth-wit",
    "crates/synth-qemu",
    "crates/synth-abi",
    "crates/synth-cfg",
    "crates/synth-opt",
    "crates/synth-verify",
    "crates/synth-test",
    "crates/synth-memory",
    "crates/synth-backend-awsm",
    "crates/synth-backend-wasker",
    "crates/synth-backend-riscv",
    "crates/synth-backend-aarch64",
]
resolver = "2"

[workspace.package]
# Bumped from 0.1.0 to match the next release tag (v0.6.0). Prior
# releases (v0.3.x, v0.4.0, v0.5.0) tagged without bumping Cargo
# versions; crates.io trusted publishing (Phase 4) requires a real
# semver to publish, so the convention now catches up: workspace
# version follows the release tag, bumped pre-tag in the release
# checklist. See docs/release-process.md.
version = "0.55.0"
edition = "2024"
rust-version = "1.88"
authors = ["PulseEngine Team"]
license = "Apache-2.0"
repository = "https://github.com/pulseengine/synth"
homepage = "https://github.com/pulseengine/synth"
keywords = ["webassembly", "arm", "cortex-m", "compiler", "embedded"]
categories = ["compilers", "embedded", "wasm", "no-std"]

[workspace.dependencies]
# WebAssembly tooling
wasmparser = "0.255"
wasm-encoder = "0.255"
wit-parser = "0.255"
wit-component = "0.255"
wat = "1.252"
wast = "255.0"

# Serialization
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
toml = "0.8"

# Hashing — SHA-256 for CycloneDX SBOM component digests
sha2 = "0.11"

# Error handling
anyhow = "1.0"
thiserror = "2.0"

# CLI
clap = { version = "4.5", features = ["derive"] }

# Logging
tracing = "0.1"
tracing-subscriber = "0.3"

# Testing
proptest = "1.11"

# ELF parsing
object = { version = "0.39", default-features = false, features = ["read", "elf"] }

# PulseEngine WASM optimizer (feature-gated in synth-cli)
# Uncomment when loom crate is published or available:
# loom-opt = { git = "https://github.com/pulseengine/loom.git" }

[profile.release]
opt-level = 3
lto = true
codegen-units = 1
strip = true