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

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

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
8.19.2	2026-09-07
certora_cli_beta_mirror-8.19.2-py3-none-any.whl (41 MB)
8.19.1	2026-08-28
certora_cli_beta_mirror-8.19.1-py3-none-any.whl (41 MB)
8.19.0	2026-08-25
certora_cli_beta_mirror-8.19.0-py3-none-any.whl (41 MB)
8.18.0	2026-07-21
certora_cli_beta_mirror-8.18.0-py3-none-any.whl (41 MB)
8.17.1	2026-07-07
certora_cli_beta_mirror-8.17.1-py3-none-any.whl (41 MB)
8.17.0	2026-06-29
certora_cli_beta_mirror-8.17.0-py3-none-any.whl (41 MB)
8.16.2	2026-06-25
certora_cli_beta_mirror-8.16.2-py3-none-any.whl (41 MB)
8.16.1	2026-06-03
certora_cli_beta_mirror-8.16.1-py3-none-any.whl (41 MB)
8.16.0	2026-05-25
certora_cli_beta_mirror-8.16.0-py3-none-any.whl (41 MB)
8.15.0	2026-05-14
certora_cli_beta_mirror-8.15.0-py3-none-any.whl (41 MB)
8.14.0	2026-05-10
certora_cli_beta_mirror-8.14.0-py3-none-any.whl (41 MB)
8.13.1	2026-05-19
certora_cli_beta_mirror-8.13.1-py3-none-any.whl (41 MB)
8.13.0	2026-04-27
certora_cli_beta_mirror-8.13.0-py3-none-any.whl (41 MB)
8.12.0	2026-04-10
certora_cli_beta_mirror-8.12.0-py3-none-any.whl (41 MB)
8.11.3	2026-04-21
certora_cli_beta_mirror-8.11.3-py3-none-any.whl (41 MB)
8.11.2	2026-04-20
certora_cli_beta_mirror-8.11.2-py3-none-any.whl (41 MB)
8.11.1	2026-03-29
certora_cli_beta_mirror-8.11.1-py3-none-any.whl (41 MB)
8.11.0	2026-03-18
certora_cli_beta_mirror-8.11.0-py3-none-any.whl (41 MB)
8.10.1	2026-02-26
certora_cli_beta_mirror-8.10.1-py3-none-any.whl (41 MB)
8.10.0	2026-02-18
certora_cli_beta_mirror-8.10.0-py3-none-any.whl (41 MB)
8.9.0	2026-02-12
certora_cli_beta_mirror-8.9.0-py3-none-any.whl (41 MB)
8.8.1	2026-02-24
certora_cli_beta_mirror-8.8.1-py3-none-any.whl (39 MB)
8.8.0	2026-02-02
certora_cli_beta_mirror-8.8.0-py3-none-any.whl (39 MB)
8.7.0	2026-01-21
certora_cli_beta_mirror-8.7.0-py3-none-any.whl (39 MB)
8.6.4	2026-02-04
certora_cli_beta_mirror-8.6.4-py3-none-any.whl (39 MB)
8.6.3	2025-12-18
certora_cli_beta_mirror-8.6.3-py3-none-any.whl (39 MB)
8.6.2	2025-12-15
certora_cli_beta_mirror-8.6.2-py3-none-any.whl (39 MB)
8.6.1	2025-12-03
certora_cli_beta_mirror-8.6.1-py3-none-any.whl (39 MB)
8.6.0	2025-11-27
certora_cli_beta_mirror-8.6.0-py3-none-any.whl (39 MB)
8.5.1	2025-11-20
certora_cli_beta_mirror-8.5.1-py3-none-any.whl (39 MB)
8.5.0	2025-11-16
certora_cli_beta_mirror-8.5.0-py3-none-any.whl (39 MB)
8.4.4	2025-10-30
8.4.3	2025-10-30
8.4.2	2025-10-24
certora_cli_beta_mirror-8.4.2-py3-none-any.whl (37 MB)
8.4.1	2025-10-21
certora_cli_beta_mirror-8.4.1-py3-none-any.whl (37 MB)
8.4.0	2025-10-12
certora_cli_beta_mirror-8.4.0-py3-none-any.whl (37 MB)
8.3.1	2025-10-10
certora_cli_beta_mirror-8.3.1-py3-none-any.whl (31 MB)
8.3.0	2025-09-25
certora_cli_beta_mirror-8.3.0-py3-none-any.whl (31 MB)
8.2.3	2025-09-11
certora_cli_beta_mirror-8.2.3-py3-none-any.whl (31 MB)
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
8.1.0	2025-08-04
8.0.0	2025-07-21
7.31.2	2025-08-12
7.31.1	2025-08-07
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
7.30.0	2025-05-27
7.29.3	2025-06-11
7.29.2	2025-06-03
7.29.1	2025-05-13
7.29.0	2025-05-08
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