Cargo.toml

# SPDX-License-Identifier: MPL-2.0
[package]
name = "vcl-total"
version = "0.1.0"
edition = "2021"
license = "MPL-2.0"
authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
repository = "https://github.com/hyperpolymath/vcl-ut"
description = "VCL-total: 10-level type-safe query language for VeriSimDB"

# The top-level crate re-exports the formatter and linter for integration testing.
# LSP and DAP are separate binaries with heavier dependencies.

[dependencies]
vcltotal-fmt = { path = "src/interface/fmt" }
vcltotal-lint = { path = "src/interface/lint" }

[dev-dependencies]
criterion = { version = "0.5", features = ["html_reports"] }
proptest = "1"

[[bench]]
name = "vcl_bench"
harness = false

[workspace]
members = [
    ".",
    "src/core",
    "src/interface/fmt",
    "src/interface/lint",
]
# NOTE: `src/interface` (vcltotal-interface) and `src/interface/echidna-client`
# are NOT workspace members here. `src/interface` carries an external
# path-dependency (`echidna-core = { path = "../../../echidna/..." }`) that only
# resolves on the estate's sibling-repo layout; including it breaks `cargo build`
# on any standalone checkout (CI, fresh clone). Those crates are built
# separately only when the echidna sibling is present (the estate e2e CI job).
#
# `src/interface/parse` (vcltotal-parse, #25 P5a) is its own workspace root
# (see `src/interface/parse/Cargo.toml`) — it has no external path-deps and
# builds in isolation; the vclt-gate binary lives there.