certora-cli-alpha-thomas-tac-type-checker
Runner for the Certora Prover
- Latest release
- May 01, 2023
- Releases
- 5
- Known CVEs
- 0
- First release
- Apr 30, 2023
- License
- —
Insights
Activity
- Total releases
- 5
- Last 12 months
- 0
- Cadence
- ~daily
- Dependencies
- 7
Releases per month
last 12 monthsRelease mix
- major 1
- minor 3
5
releases
Dependencies
Depends on
20230501.15.50.228171Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
20230501.15.50.228171
minor
|
20230501.15.50.228171
minor
Dependencies (7)
|
|
20230501.12.16.186041
minor
|
20230501.12.16.186041
minor
|
|
20230501.11.29.317349
minor
|
20230501.11.29.317349
minor
|
|
20230501.10.38.920152
major
|
20230501.10.38.920152
major
|
|
20230430.18.41.951558
initial
|
20230430.18.41.951558
initial
|