Development tools
How the repository measures, tests, proves and publishes itself.
| Specification | Scope |
|---|---|
| Implementation comparison | Isolated library comparisons, validation, provenance and charts. |
| Fuzzing | Target inputs, oracles, campaigns, regression replay and the libFuzzer adapters. |
| Continuous integration | Triggers, checks, Miri and AddressSanitizer, fuzz campaigns, coverage gating and release publishing. |
| Documentation publishing | Source staging, navigation, section pages, recipe execution, link validation and Pages deployment. |
| Formal verification | Charon/Aeneas translation to Lean 4, function specifications, round-trip theorems and the trusted base. |