certora-cli
Runner for the Certora Prover
Activity
- Latest release
- 2d ago
- Total releases
- 122
- Cadence
- ~16 days
- Last 12 months
- 19
Details
- License
- unknown
- First release
- May 27, 2020
Releases
| Version | Released | |
|---|---|---|
8.20.3
patch
| ||
8.20.2
patch
| ||
8.20.0
minor
| ||
8.19.2
patch
| ||
8.19.1
patch
| ||
8.19.0
minor
| ||
8.18.0
minor
| ||
8.17.1
minor
| ||
8.16.2
patch
| ||
8.16.1
minor
| ||
8.13.1
patch
| ||
8.13.0
minor
| ||
8.11.3
minor
| ||
8.8.1
patch
| ||
8.8.0
minor
| ||
8.6.4
patch
| ||
8.6.3
patch
| ||
8.6.1
minor
| ||
8.5.1
minor
| ||
8.3.1
patch
| ||
8.3.0
minor
| ||
8.1.1
patch
| ||
7.31.2
patch
| ||
8.1.0
major
| ||
7.31.1
patch
| ||
7.31.0
minor
| ||
7.29.3
patch
| ||
7.29.2
patch
| ||
7.29.1
minor
| ||
7.28.0
minor
| ||
7.26.0
minor
| ||
7.25.3
patch
| ||
7.25.2
minor
| ||
7.22.3
patch
| ||
7.22.2
minor
| ||
7.21.1
minor
| ||
7.20.3
patch
| ||
7.20.1
minor
| ||
7.17.2
minor
| ||
7.14.3
patch
| ||
7.14.2
minor
| ||
7.10.2
patch
| ||
7.10.1
minor
| ||
7.6.3
minor
| ||
7.3.0
minor
| ||
7.0.7
major
| ||
6.3.1
minor
| ||
6.1.4
patch
| ||
6.1.3
major
| ||
5.0.5
major
|
1–50 of 122