Sign in Sign up
cargo

spec-checker

Property-based and runtime-gate checker for Lex specs.

cargo View on Cargo github View on Github

Activity

Latest release
1h ago
Total releases
51
Cadence
~daily
Last 12 months
51

Reach

Downloads
669
Stars
3

Details

License
EUPL-1.2
First release
May 06, 2026
Releases
Version Released
0.11.23 patch
0.11.22 patch
0.11.21 patch
0.11.20 patch
0.11.19 patch
0.11.18 patch
0.11.17 patch
0.11.16 patch
0.11.15 patch
0.11.14 patch
0.11.13 patch
0.11.12 patch
0.11.11 patch
0.11.10 patch
0.11.9 patch
0.11.8 patch
0.11.7 patch
0.11.6 patch
0.11.5 patch
0.11.4 patch
0.11.3 patch
0.11.2 patch
0.11.1 patch
0.11.0 minor
0.10.17 patch
0.10.9 patch
0.10.0 minor
0.9.14 patch
0.9.13 patch
0.9.12 patch
0.9.11 patch
0.9.10 patch
0.9.8 patch
0.9.7 patch
0.9.6 patch
0.9.5 patch
0.9.4 patch
0.9.3 patch
0.9.2 patch
0.9.1 minor
0.8.2 patch
0.8.0 minor
0.7.1 patch
0.7.0 minor
0.6.0 minor
0.5.0 minor
0.4.0 minor
0.3.0 minor
0.2.2 patch
0.2.1 patch
1–50 of 51