Runner for the Certora Prover

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for shellyg from gravatar.com shellyg

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License
  • Author: Certora
  • Requires: Python >=3.8
Classifiers

Project description

Commit 94bbe01. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for shellyg from gravatar.com shellyg

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License
  • Author: Certora
  • Requires: Python >=3.8
Classifiers

Release history Release notifications | RSS feed

This version

20241128.13.35.61632

20241128.9.57.333374

20241128.9.29.832828

20241127.7.38.905715

20241126.17.2.720094

20241126.15.53.751402

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz (15.5 MB view details)

Uploaded Source

Built Distributions

certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-manylinux_2_28_x86_64.whl (17.1 MB view details)

Uploaded Python 3 manylinux: glibc 2.28+ x86-64

certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-macosx_10_9_universal2.whl (17.0 MB view details)

Uploaded Python 3 macOS 10.9+ universal2 (ARM64, x86-64)

certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl (15.5 MB view details)

Uploaded Python 3

File details

Details for the file certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz.

File metadata

File hashes

Hashes for certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz
Algorithm Hash digest
SHA256 1fa6baf4b5a56f8b46c47f8f3e239922f507572032959cfab2e5f53cc11770d9
MD5 b56b476e67b7c96063aca16f3936070b
BLAKE2b-256 1d2aae49c7738937fbd12fa699b3c6954c1f5a20f149b0e86f3378bbf34d19bf

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 c148f2fc7651f3b9aac17094a1bc6738186a3174143666fd80657f78b887bc2c
MD5 c6211f83a1510eb27619c26a4c3f91e5
BLAKE2b-256 1305688c92802a0bd7427a5c2c6c331ee9e061ba6b749ad24cf44769c70b17dd

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 a209b9c078905f740b3eb80a3cf1aebcc3568ff4931bd3587b6d72a68d523039
MD5 5811f17070e322cf0fbba4812d618c20
BLAKE2b-256 e3c48452ade67f3dbed5f82f937db82ed43a8e79e118d6a040abb5093177d49c

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl
Algorithm Hash digest
SHA256 21fd4bc9fa8eb01937e7549aedff8c87e62402a92841852651f642915de25b66
MD5 6942bd8614bc13383122bb429c6fa10b
BLAKE2b-256 372ac6ed61ae5b51cfd94e92b981d584b2d48dbfda9fab52800e1b5c6c6d29cf

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page