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

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

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
20251014.17.18.422429	2025-10-14
certora_cli_alpha_master-20251014.17.18.422429-py3-none-any.whl (37 MB)
20251013.17.45.295482	2025-10-13
certora_cli_alpha_master-20251013.17.45.295482-py3-none-any.whl (37 MB)
20251013.11.2.700996	2025-10-13
certora_cli_alpha_master-20251013.11.2.700996-py3-none-any.whl (37 MB)
20251012.20.20.862738	2025-10-12
certora_cli_alpha_master-20251012.20.20.862738-py3-none-any.whl (37 MB)
20251012.10.16.14285	2025-10-12
certora_cli_alpha_master-20251012.10.16.14285-py3-none-any.whl (37 MB)
20251012.8.16.603503	2025-10-12
certora_cli_alpha_master-20251012.8.16.603503-py3-none-any.whl (37 MB)
20251011.1.15.435894	2025-10-11
certora_cli_alpha_master-20251011.1.15.435894-py3-none-any.whl (37 MB)
20251010.8.40.372967	2025-10-10
certora_cli_alpha_master-20251010.8.40.372967-py3-none-any.whl (37 MB)
20251009.8.1.48108	2025-10-09
certora_cli_alpha_master-20251009.8.1.48108-py3-none-any.whl (37 MB)
20251008.22.19.660157	2025-10-08
certora_cli_alpha_master-20251008.22.19.660157-py3-none-any.whl (37 MB)
20251008.16.8.744214	2025-10-08
certora_cli_alpha_master-20251008.16.8.744214-py3-none-any.whl (37 MB)
20251008.9.8.448739	2025-10-08
certora_cli_alpha_master-20251008.9.8.448739-py3-none-any.whl (37 MB)
20251005.14.4.696486	2025-10-05
certora_cli_alpha_master-20251005.14.4.696486-py3-none-any.whl (37 MB)
20251004.16.53.311323	2025-10-04
certora_cli_alpha_master-20251004.16.53.311323-py3-none-any.whl (37 MB)
20251003.2.50.611585	2025-10-03
certora_cli_alpha_master-20251003.2.50.611585-py3-none-any.whl (37 MB)
20251003.0.12.342739	2025-10-03
certora_cli_alpha_master-20251003.0.12.342739-py3-none-any.whl (37 MB)
20251002.23.2.11225	2025-10-02
certora_cli_alpha_master-20251002.23.2.11225-py3-none-any.whl (37 MB)
20251002.20.31.252325	2025-10-02
certora_cli_alpha_master-20251002.20.31.252325-py3-none-any.whl (37 MB)
20251002.19.34.460373	2025-10-02
certora_cli_alpha_master-20251002.19.34.460373-py3-none-any.whl (37 MB)
20251002.18.40.665446	2025-10-02
certora_cli_alpha_master-20251002.18.40.665446-py3-none-any.whl (37 MB)
20251002.3.8.824092	2025-10-02
certora_cli_alpha_master-20251002.3.8.824092-py3-none-any.whl (37 MB)
20251001.21.56.577903	2025-10-01
certora_cli_alpha_master-20251001.21.56.577903-py3-none-any.whl (37 MB)
20251001.16.55.47244	2025-10-01
certora_cli_alpha_master-20251001.16.55.47244-py3-none-any.whl (37 MB)
20250930.23.43.373106	2025-09-30
certora_cli_alpha_master-20250930.23.43.373106-py3-none-any.whl (37 MB)
20250930.22.48.736735	2025-09-30
certora_cli_alpha_master-20250930.22.48.736735-py3-none-any.whl (37 MB)
20250930.14.57.423664	2025-09-30
certora_cli_alpha_master-20250930.14.57.423664-py3-none-any.whl (37 MB)
20250930.6.59.556139	2025-09-30
certora_cli_alpha_master-20250930.6.59.556139-py3-none-any.whl (37 MB)
20250928.8.56.931778	2025-09-28
certora_cli_alpha_master-20250928.8.56.931778-py3-none-any.whl (37 MB)
20250926.22.58.223100	2025-09-26
certora_cli_alpha_master-20250926.22.58.223100-py3-none-any.whl (37 MB)
20250926.18.13.526732	2025-09-26
certora_cli_alpha_master-20250926.18.13.526732-py3-none-any.whl (37 MB)
20250926.2.20.643182	2025-09-26
certora_cli_alpha_master-20250926.2.20.643182-py3-none-any.whl (37 MB)
20250926.1.32.577495	2025-09-26
certora_cli_alpha_master-20250926.1.32.577495-py3-none-any.whl (31 MB)
20250925.23.41.511158	2025-09-25
certora_cli_alpha_master-20250925.23.41.511158-py3-none-any.whl (31 MB)
20250925.21.32.629319	2025-09-25
certora_cli_alpha_master-20250925.21.32.629319-py3-none-any.whl (31 MB)
20250924.20.27.347903	2025-09-24
certora_cli_alpha_master-20250924.20.27.347903-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