The latest version of certora-cli-beta-mirror with no known security vulnerabilities is 7.21.1. We recommend installing version 7.21.1.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v7.21.1 at Dec. 5, 2024
- License
-
MIT (MIT License)
Description
Runner for the Certora Prover
No known vulnerabilities found
Has known vulnerabilities
- 7.21.1
- 7.21.0
- 7.20.3
- 7.20.2
- 7.20.1
- 7.20.0
- 7.19.0
- 7.18.2
- 7.18.1
- 7.18.0
- 7.17.2
- 7.17.1
- 7.17.0