certora-cli-alpha-oz-docker-json5
Runner for the Certora Prover
Installation
In a virtualenv (see these instructions if you need to create one):
pip3 install certora-cli-alpha-oz-docker-json5
Dependencies
Releases
| Version | Released | Bookworm Python 3.11 |
Trixie Python 3.13 |
Files |
|---|---|---|---|---|
| 20230515.12.22.699042 | 2023-05-15 | |||
| 20230515.11.28.890873 | 2023-05-15 | |||
| 20230515.10.31.651606 | 2023-05-15 | |||
| 20230515.6.54.219876 | 2023-05-15 | |||
| 20230514.19.13.360396 | 2023-05-14 | |||
| 20230514.14.24.681507 | 2023-05-14 | |||
| 20230514.5.51.278588 | 2023-05-14 | |||
| 20230504.18.44.719551 | 2023-05-04 | |||
| 20230504.17.58.502739 | 2023-05-04 | |||
| 20230504.17.20.90759 | 2023-05-04 | |||
| 20230504.15.35.189632 | 2023-05-04 | |||
| 20230504.14.38.980559 | 2023-05-04 | |||
| 20230504.14.2.24180 | 2023-05-04 | |||
| 20230504.13.30.350201 | 2023-05-04 | |||
| 20230504.12.39.10016 | 2023-05-04 | |||
| 20230504.11.46.529156 | 2023-05-04 | |||
| 20230504.10.57.548446 | 2023-05-04 | |||
| 20230504.10.8.680838 | 2023-05-04 | |||
| 20230504.8.42.61246 | 2023-05-04 | |||
| 20230503.11.53.297815 | 2023-05-03 | |||
Issues with this package?
- Search issues for this package
- Package or version missing? Open a new issue
- Something else? Open a new issue