loom/Cargo.toml at main · pulseengine/loom · 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
[workspace]
resolver = "2"
members = [
    "loom-shared",
    "loom-core",
    "loom-cli",
    "loom-isle",
    "loom-testing",
]

[workspace.package]
version = "0.5.0"
authors = ["PulseEngine <https://github.com/pulseengine>"]
edition = "2024"
license = "Apache-2.0"
repository = "https://github.com/pulseengine/loom"
rust-version = "1.85"

[workspace.dependencies]
# WebAssembly parsing and encoding
wasmparser = { version = "0.241", features = ["component-model"] }
wasm-encoder = { version = "0.241", features = ["component-model"] }
wasmprinter = "0.241"
wat = "1.241"
wit-component = "0.241"

# ISLE compiler and runtime
cranelift-isle = "0.113"

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

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

# Testing
proptest = "1.5"

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

[profile.dev]
opt-level = 0
debug = true

# WASM profile for wasm32-wasip2 builds (Issue #8)
[profile.release-wasm]
inherits = "release"
opt-level = "z"
lto = true
codegen-units = 1
strip = true
panic = "abort"

# Use forked z3 for WASI support (pulseengine/z3.rs with wasi-sdk patches)
# This enables Z3 verification in WASM builds
[patch.crates-io]
z3 = { git = "https://github.com/pulseengine/z3.rs.git", branch = "wasi-sdk-support" }
z3-sys = { git = "https://github.com/pulseengine/z3.rs.git", branch = "wasi-sdk-support" }