car-verify
Static plan verification for Agent IR
Activity
- Latest release
- 4d ago
- Total releases
- 47
- Cadence
- ~daily
- Last 12 months
- 47
Reach
- Downloads
- 5.0k
Details
- License
- Apache-2.0
- First release
- Mar 22, 2026
Releases
| Version | Released | |
|---|---|---|
0.53.0
minor
| ||
0.52.1
patch
| ||
0.52.0
minor
| ||
0.51.0
minor
| ||
0.50.0
minor
| ||
0.49.0
minor
| ||
0.48.0
minor
| ||
0.47.0
minor
| ||
0.38.0
unknown
| ||
0.37.0
unknown
| ||
0.36.0
unknown
| ||
0.35.0
unknown
| ||
0.34.0
unknown
| ||
0.33.0
unknown
| ||
0.32.1
unknown
| ||
0.32.0
unknown
| ||
0.31.0
unknown
| ||
0.30.0
unknown
| ||
0.29.0
unknown
| ||
0.28.0
unknown
| ||
0.27.0
unknown
| ||
0.26.0
unknown
| ||
0.25.0
unknown
| ||
0.24.1
unknown
| ||
0.24.0
unknown
| ||
0.23.0
unknown
| ||
0.22.1
unknown
| ||
0.22.0
unknown
| ||
0.21.0
unknown
| ||
0.20.0
unknown
| ||
0.19.0
unknown
| ||
0.18.0
unknown
| ||
0.17.0
unknown
| ||
0.16.1
unknown
| ||
0.16.0
unknown
| ||
0.15.2
unknown
| ||
0.15.1
unknown
| ||
0.15.0
unknown
| ||
0.14.0
unknown
| ||
0.13.0
unknown
| ||
0.12.0
unknown
| ||
0.9.0
unknown
| ||
0.8.0
unknown
| ||
0.7.0
unknown
| ||
0.6.0
unknown
| ||
0.1.1
unknown
| ||
0.1.0
unknown
|