# The reference implementation of `wai-ops/1`, the integer operator set
# (`extensions/integer-operators.md`): the `WHG1` graph form, the load and run-time
# plans, the interpreter, the stage operators, the canonical lowerings of the
# registered integer network forms, the bounds pass with its certificate (load step
# 8), and the conformance vectors of `../ops-conformance/`.
#
# `no_std` with `alloc`, and no dependencies, so that a model checker can include
# its sources by `#[path]` the way `wai-verify` includes the other integer sources.
[package]
name = "wai-ops"
version = "0.1.0"
edition = "2024"
rust-version = "1.97"
license = "Apache-2.0"
publish = false
description = "WAI integer operator set wai-ops/1: WHG1 graphs, plans, interpreter, stage operators, lowerings, bounds certificates and conformance vectors"

[lib]
name = "wai_ops"
path = "src/lib.rs"

# The tool that drives this library (the certifier, the lowerings and the corpus) is
# `wai-verify`, a binary of `../wai-verify` behind its `cli` feature.

[lints.rust]
unexpected_cfgs = { level = "warn", check-cfg = ["cfg(kani)"] }

[dependencies]
# none

[features]
# `i32_forms`: the 32-bit forms of the stage operators that have one by identity, E9's
# (`stage::residual_step_i32`, `stage::i32_form_fits`, §5E E9 *Width*), the arithmetic a
# 32-bit fabric runs. For the integer GPU legs and the parity tests that hold those
# forms to the exact ones; this crate's tests and the model checker compile them
# without it. Never on a decode's default path.
i32_forms = []
# `bounds_oracle`: the bounds pass as it stood before its closed forms, for another
# crate's tests to hold `bounds::pass` to (wai-rs's random-set differential). This
# crate's own tests see it without the feature. Never on a decode's path.
oracle = []

[profile.release]
debug = false