certora-cli-alpha-eyalf-clean-EvaldCVLExp
Runner for the Certora Prover
- Latest release
- May 18, 2023
- Releases
- 2
- Known CVEs
- 0
- First release
- May 11, 2023
- License
- —
Insights
Activity
- Total releases
- 2
- Last 12 months
- 0
- Cadence
- ~6 days
- Dependencies
- 7
Releases per month
last 12 monthsRelease mix
- major 1
2
releases
Releases
| Version | Released | |
|---|---|---|
20230518.9.27.300058
major
|
20230518.9.27.300058
major
Dependencies (7)
|
|
20230511.12.0.820737
initial
|
20230511.12.0.820737
initial
|