Sign in Sign up
cargo

tla-checker

Latest release
Jun 02, 2026
Releases
23
Known CVEs
0
First release
Feb 05, 2026
License
MIT OR Apache-2.0
View on Cargo
Insights

Activity

Total releases
23
Last 12 months
23
Cadence
~daily
Dependencies
16

Releases per month

last 12 months

Release mix

  • minor 5
  • patch 17
23 releases
Dependencies

Depends on

0.6.3
1–10 of 16

Used by

2
Releases
Version Released
0.6.3 patch
0.6.1 patch
0.6.0 minor
0.5.5 patch
0.5.4 patch
0.5.3 patch
0.5.2 patch
0.5.1 minor
0.4.3 patch
0.4.2 patch
0.4.1 minor
0.3.11 patch
0.3.9 patch
0.3.7 patch
0.3.6 patch
0.3.4 patch
0.3.3 patch
0.3.2 patch
0.3.1 patch
0.3.0 minor
1–20 of 23