A new specification language for crypto primitives in Rust.
This is the successor of https://github.com/HACS-workshop/hacspec.
Documentation and API reference can be found here.
A formal description of the hacspec language can be found in Language.md
This is a cargo workspace consisting of three crates:
The clippy checker for the hacspec language lives in a separate repository-
There's a set of example specs here.
To run all examples one can either use cargo test --example <name> or the helper script test-examples.sh to run all examples.