spec-execution 0.1.0

Typed spec and proof surface crate with bounded generated-artifact evaluators; not a compiler runtime
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

[package]
name = "spec-execution"
version = "0.1.0"
edition = "2021"
rust-version = "1.75.0"
description = "Typed spec and proof surface crate with bounded generated-artifact evaluators; not a compiler runtime"
license = "MIT"

[dependencies]
schemars = { workspace = true }
serde = { workspace = true, features = ["derive"] }
serde_json = { workspace = true }
stack-ids = { version = "0.1.1", path = "../stack-ids" }
tracing = { workspace = true }

[dev-dependencies]
proptest = { workspace = true }
serde_json = { workspace = true }

# LIB-005: inherit workspace lint policy
[lints]
workspace = true