piwheels

certora-cli-alpha-master

Runner for the Certora Prover

Installation

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

pip3 install certora-cli-alpha-master

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
20250913.0.7.15157	2025-09-13
20250911.18.57.988170	2025-09-11
20250911.18.4.464294	2025-09-11
20250911.4.3.565758	2025-09-11
20250910.23.25.331371	2025-09-10
20250910.12.48.121451	2025-09-10
20250909.22.59.617808	2025-09-09
20250909.22.6.959371	2025-09-09
20250909.20.7.573256	2025-09-09
20250909.18.37.588292	2025-09-09
20250909.15.9.754738	2025-09-09
20250908.16.28.715644	2025-09-08
certora_cli_alpha_master-20250908.16.28.715644-py3-none-any.whl (31 MB)
20250907.14.55.588177	2025-09-07
certora_cli_alpha_master-20250907.14.55.588177-py3-none-any.whl (31 MB)
20250904.20.14.237224	2025-09-04
certora_cli_alpha_master-20250904.20.14.237224-py3-none-any.whl (31 MB)
20250904.17.25.156319	2025-09-04
certora_cli_alpha_master-20250904.17.25.156319-py3-none-any.whl (31 MB)
20250904.14.49.351376	2025-09-04
certora_cli_alpha_master-20250904.14.49.351376-py3-none-any.whl (31 MB)
20250904.9.39.783604	2025-09-04
certora_cli_alpha_master-20250904.9.39.783604-py3-none-any.whl (31 MB)
20250904.8.44.96449	2025-09-04
certora_cli_alpha_master-20250904.8.44.96449-py3-none-any.whl (31 MB)
20250904.1.25.219320	2025-09-04
certora_cli_alpha_master-20250904.1.25.219320-py3-none-any.whl (31 MB)
20250903.21.44.864377	2025-09-03
certora_cli_alpha_master-20250903.21.44.864377-py3-none-any.whl (31 MB)
20250903.19.24.37469	2025-09-03
certora_cli_alpha_master-20250903.19.24.37469-py3-none-any.whl (31 MB)
20250903.18.37.367236	2025-09-03
certora_cli_alpha_master-20250903.18.37.367236-py3-none-any.whl (31 MB)
20250903.13.1.756605	2025-09-03
certora_cli_alpha_master-20250903.13.1.756605-py3-none-any.whl (31 MB)
20250903.12.3.129706	2025-09-03
certora_cli_alpha_master-20250903.12.3.129706-py3-none-any.whl (31 MB)
20250903.9.21.111512	2025-09-03
certora_cli_alpha_master-20250903.9.21.111512-py3-none-any.whl (31 MB)
20250902.15.11.302216	2025-09-02
certora_cli_alpha_master-20250902.15.11.302216-py3-none-any.whl (31 MB)
20250902.7.17.227451	2025-09-02
certora_cli_alpha_master-20250902.7.17.227451-py3-none-any.whl (31 MB)
20250902.6.13.419228	2025-09-02
certora_cli_alpha_master-20250902.6.13.419228-py3-none-any.whl (31 MB)
20250902.4.14.555313	2025-09-02
certora_cli_alpha_master-20250902.4.14.555313-py3-none-any.whl (31 MB)
20250901.10.11.347209	2025-09-01
certora_cli_alpha_master-20250901.10.11.347209-py3-none-any.whl (31 MB)
20250829.13.40.732046	2025-08-29
certora_cli_alpha_master-20250829.13.40.732046-py3-none-any.whl (31 MB)
20250828.20.19.775699	2025-08-28
20250828.18.43.245709	2025-08-28
certora_cli_alpha_master-20250828.18.43.245709-py3-none-any.whl (31 MB)
20250828.17.53.526204	2025-08-28
certora_cli_alpha_master-20250828.17.53.526204-py3-none-any.whl (31 MB)
20250828.14.20.863107	2025-08-28
certora_cli_alpha_master-20250828.14.20.863107-py3-none-any.whl (31 MB)
20250828.9.2.638125	2025-08-28
certora_cli_alpha_master-20250828.9.2.638125-py3-none-any.whl (31 MB)
20250827.19.14.868351	2025-08-27
certora_cli_alpha_master-20250827.19.14.868351-py3-none-any.whl (31 MB)
20250827.12.48.449321	2025-08-27
certora_cli_alpha_master-20250827.12.48.449321-py3-none-any.whl (31 MB)
20250826.20.6.86325	2025-08-26
certora_cli_alpha_master-20250826.20.6.86325-py3-none-any.whl (31 MB)
20250826.2.54.225343	2025-08-26
certora_cli_alpha_master-20250826.2.54.225343-py3-none-any.whl (31 MB)
20250825.14.33.734588	2025-08-25
certora_cli_alpha_master-20250825.14.33.734588-py3-none-any.whl (31 MB)
20250825.8.47.780977	2025-08-25
certora_cli_alpha_master-20250825.8.47.780977-py3-none-any.whl (31 MB)
20230531.9.54.740119	2023-05-31

Issues with this package?

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