8356268251
Each convolution's term hull and partial-sum interval come from four sums per output channel (least and greatest weight, sum of the positive and of the negative weights; per residue for conv_transpose), and each igdn row folds in i128, wherever no operation of the rule's fold can saturate; elsewhere the rule folds tap by tap as before. The pass before this change is kept, test-only (feature `oracle` for other crates), as bounds_oracle, with a differential over the committed graphs, the pretrained set when present, and random and adversarial operators and graphs. Co-Authored-By: Claude Opus 5.5 <[email protected]>
38 lines
1.4 KiB
TOML
38 lines
1.4 KiB
TOML
# 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]
|
|
# `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
|