strata-k/Cargo.toml at main · vsov/strata-k · 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
[workspace]
resolver = "2"
members = [
    "crates/strata-ir",
    "crates/strata-front",
    "crates/strata-check",
    "crates/strata-eval",
    "crates/strata-asp",
    "crates/strata-gpu",
    "crates/strata-terms",
    "crates/strata-prob",
    "crates/strata-k",
    "crates/strata-cli",
    "crates/strata-py",
]

[workspace.package]
version = "0.5.0"
edition = "2021"
rust-version = "1.82"
license = "MIT OR Apache-2.0"
repository = "https://github.com/vsov/strata-k"

# Pre-declared for the IR-1 task to switch on (`serde.workspace = true`).
# Declared here does not fetch anything until a member actually references it,
# so the Slice-0 skeleton stays dependency-free and builds offline.
[workspace.dependencies]
strata-ir = { path = "crates/strata-ir" }
strata-front = { path = "crates/strata-front" }
strata-check = { path = "crates/strata-check" }
strata-eval = { path = "crates/strata-eval" }
strata-asp = { path = "crates/strata-asp" }
strata-prob = { path = "crates/strata-prob" }
strata-k = { path = "crates/strata-k" }
serde = { version = "1", features = ["derive"] }
serde_json = "1"
schemars = "0.8"
logos = "0.14"
sha2 = "0.10"
# dev-only: the lexer pin test parses lexer.rs syntactically (LitStr values,
# not spellings) — a raw/escaped token literal must not evade the corpus
syn = { version = "2", features = ["full"] }
proc-macro2 = "1"

[workspace.lints.rust]
unsafe_code = "forbid" # relaxed per-crate when strata-gpu/device-side work arrives

[workspace.lints.clippy]
all = { level = "warn", priority = -1 }

[profile.release]
lto = "thin"