Repository navigation
Verity v1.0.0 — first stable release.
1,726 commits since v0.1.0 (2026-02-16 → 2026-04-22).
Changes by type
| Type | Count |
|---|---|
| Fixes | 240 |
| Proofs | 276 |
| Features | 127 |
| Docs | 103 |
| CI | 103 |
| Refactors | 81 |
| Chores | 75 |
| Tests | 54 |
| Macros | 53 |
| Scripts | 36 |
| Compiler | 29 |
Full changelog: v0.1.0...v1.0.0