piwheels

certora-cli-beta-mirror

Runner for the Certora Prover

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install certora-cli-beta-mirror

Dependencies

• typing-extensions
• strenum
• requests
• click
• tqdm
• wcmatch
• jinja2
• json5
• rich
• sly
• tabulate
• pycryptodome
• universalmutator

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
8.2.3	2025-09-11
8.2.2	2025-09-04
certora_cli_beta_mirror-8.2.2-py3-none-any.whl (31 MB)
8.2.1	2025-08-28
certora_cli_beta_mirror-8.2.1-py3-none-any.whl (31 MB)
8.2.0	2025-08-21
certora_cli_beta_mirror-8.2.0-py3-none-any.whl (31 MB)
8.1.1	2025-08-12
certora_cli_beta_mirror-8.1.1-py3-none-any.whl (31 MB)
8.1.0	2025-08-04
certora_cli_beta_mirror-8.1.0-py3-none-any.whl (31 MB)
8.0.0	2025-07-21
certora_cli_beta_mirror-8.0.0-py3-none-any.whl (31 MB)
7.31.2	2025-08-12
certora_cli_beta_mirror-7.31.2-py3-none-any.whl (15 MB)
7.31.1	2025-08-07
certora_cli_beta_mirror-7.31.1-py3-none-any.whl (15 MB)
7.31.0	2025-06-24
certora_cli_beta_mirror-7.31.0-py3-none-any.whl (15 MB)
7.30.1	2025-06-04
certora_cli_beta_mirror-7.30.1-py3-none-any.whl (15 MB)
7.30.0	2025-05-27
certora_cli_beta_mirror-7.30.0-py3-none-any.whl (15 MB)
7.29.3	2025-06-11
certora_cli_beta_mirror-7.29.3-py3-none-any.whl (15 MB)
7.29.2	2025-06-03
certora_cli_beta_mirror-7.29.2-py3-none-any.whl (15 MB)
7.29.1	2025-05-13
certora_cli_beta_mirror-7.29.1-py3-none-any.whl (15 MB)
7.29.0	2025-05-08
certora_cli_beta_mirror-7.29.0-py3-none-any.whl (15 MB)
7.28.0	2025-04-08
certora_cli_beta_mirror-7.28.0-py3-none-any.whl (15 MB)
7.27.1	2025-04-07
certora_cli_beta_mirror-7.27.1-py3-none-any.whl (15 MB)
7.27.0	2025-03-27
certora_cli_beta_mirror-7.27.0-py3-none-any.whl (15 MB)
7.26.0	2025-03-07
certora_cli_beta_mirror-7.26.0-py3-none-any.whl (15 MB)
7.25.4	2025-03-06
certora_cli_beta_mirror-7.25.4-py3-none-any.whl (15 MB)
7.25.3	2025-02-26
certora_cli_beta_mirror-7.25.3-py3-none-any.whl (15 MB)
7.25.2	2025-02-19
certora_cli_beta_mirror-7.25.2-py3-none-any.whl (15 MB)
7.25.1	2025-02-16
certora_cli_beta_mirror-7.25.1-py3-none-any.whl (15 MB)
7.25.0	2025-02-13
certora_cli_beta_mirror-7.25.0-py3-none-any.whl (15 MB)
7.24.0	2025-01-27
certora_cli_beta_mirror-7.24.0-py3-none-any.whl (15 MB)
7.23.0	2025-01-17
certora_cli_beta_mirror-7.23.0-py3-none-any.whl (15 MB)
7.22.3	2025-02-05
certora_cli_beta_mirror-7.22.3-py3-none-any.whl (15 MB)
7.22.2	2025-01-09
certora_cli_beta_mirror-7.22.2-py3-none-any.whl (15 MB)
7.22.1	2025-01-06
certora_cli_beta_mirror-7.22.1-py3-none-any.whl (15 MB)
7.22.0	2025-01-03
certora_cli_beta_mirror-7.22.0-py3-none-any.whl (15 MB)
7.21.1	2024-12-05
certora_cli_beta_mirror-7.21.1-py3-none-any.whl (15 MB)
7.21.0	2024-11-25
certora_cli_beta_mirror-7.21.0-py3-none-any.whl (15 MB)
7.20.3	2024-11-25
certora_cli_beta_mirror-7.20.3-py3-none-any.whl (15 MB)
7.20.2	2024-11-21
certora_cli_beta_mirror-7.20.2-py3-none-any.whl (15 MB)
7.20.1	2024-11-19
certora_cli_beta_mirror-7.20.1-py3-none-any.whl (15 MB)
7.20.0	2024-11-18
certora_cli_beta_mirror-7.20.0-py3-none-any.whl (15 MB)
7.19.0	2024-11-07
certora_cli_beta_mirror-7.19.0-py3-none-any.whl (15 MB)
7.18.2	2024-10-25
certora_cli_beta_mirror-7.18.2-py3-none-any.whl (15 MB)
7.18.1	2024-10-15
certora_cli_beta_mirror-7.18.1-py3-none-any.whl (15 MB)
7.18.0	2024-10-13
certora_cli_beta_mirror-7.18.0-py3-none-any.whl (15 MB)
7.17.2	2024-10-04
certora_cli_beta_mirror-7.17.2-py3-none-any.whl (15 MB)
7.17.1	2024-09-30
certora_cli_beta_mirror-7.17.1-py3-none-any.whl (15 MB)
7.17.0	2024-09-27
certora_cli_beta_mirror-7.17.0-py3-none-any.whl (14 MB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue