d053c8bd6e
The name replaces the working one across the specification, the two checkers and their planted set. The planted module that carries a profile name in a custom section is rebuilt with build.py. CI's step label stays ASCII. Co-Authored-By: Claude Opus 5.5 <[email protected]>
29 lines
1.2 KiB
TOML
29 lines
1.2 KiB
TOML
[package]
|
|
name = "wai-module-check"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
license = "Apache-2.0"
|
|
publish = false
|
|
description = "The checker of WAI's WAISM profile (extensions/waism.md): a module's verdict at the integer or the float level, from rules R1 to R12, on the WebAssembly validator of a pinned wasmparser."
|
|
|
|
[dependencies]
|
|
# Pinned exactly: R2's verdict is this validator's, and the profile's validation limits
|
|
# (waism §4.2) are the ones it enforces. A new version is a reviewed change.
|
|
wasmparser = { version = "=0.262.0", default-features = false, features = ["std", "validate", "features", "simd"] }
|
|
|
|
[dev-dependencies]
|
|
# The differential (examples/differential.rs) generates its modules with wasm-smith, of the
|
|
# same release as the parser.
|
|
wasm-smith = { version = "=0.262.0", default-features = false, features = ["wasmparser"] }
|
|
arbitrary = "1"
|
|
# The specification's test scripts (examples/spectest.rs) are read by the text parser of
|
|
# the same release.
|
|
wast = { version = "=262.0.0", default-features = false, features = ["wasm-module"] }
|
|
|
|
[[example]]
|
|
name = "differential"
|
|
path = "examples/differential.rs"
|
|
|
|
[[example]]
|
|
name = "spectest"
|
|
path = "examples/spectest.rs"
|