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.16
Classifiers

Project description

Commit 8bcc2d4. 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.16
Classifiers

Release history Release notifications | RSS feed

This version

20230516.10.21.342035

20230516.9.9.146614

20230516.8.33.421555

20230515.12.45.606462

20230515.11.46.242935

20230515.9.46.287339

20230514.15.14.417100

20230514.13.35.499127

20230514.10.59.61006

20230511.11.55.578904

20230510.16.25.619896

20230510.15.36.750542

20230510.15.2.782635

20230510.12.7.55281

20230510.9.51.843026

20230509.17.43.306305

20230509.16.29.808103

20230509.15.44.285120

20230509.15.20.621163

20230509.13.16.449997

20230509.12.59.399222

20230509.12.47.289540

20230508.16.53.306931

20230508.15.38.428722

20230508.12.19.327603

20230507.18.42.247566

20230507.17.39.646619

20230507.16.52.673315

20230507.14.10.356139

20230507.12.41.550958

20230503.8.59.821391

20230502.11.32.151823

20230502.10.44.12804

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-roy-CERT-1955-assertHits-20230516.10.21.342035.tar.gz (39.0 MB view details)

Uploaded Source

Built Distribution

certora_cli_alpha_roy_CERT_1955_assertHits-20230516.10.21.342035-py3-none-any.whl (39.0 MB view details)

Uploaded Python 3

File details

Details for the file certora-cli-alpha-roy-CERT-1955-assertHits-20230516.10.21.342035.tar.gz.

File metadata

File hashes

Hashes for certora-cli-alpha-roy-CERT-1955-assertHits-20230516.10.21.342035.tar.gz
Algorithm Hash digest
SHA256 39070cb7aae11fed85e8048ea95bd21ffedc5d2375d9c6746f181b7a3f10990a
MD5 8f7e050f41ac09bae43ee0fbb2f561c5
BLAKE2b-256 9f1a021295a4cfd22136503347fa3f5d30f40d9aa82ed3a62d70ccf5d2974ea2

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_roy_CERT_1955_assertHits-20230516.10.21.342035-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_roy_CERT_1955_assertHits-20230516.10.21.342035-py3-none-any.whl
Algorithm Hash digest
SHA256 cf513a2f42992548e56e03e81271c3b11f9fe4c686cd815bba1ff0bff4522f8f
MD5 e4a248b6fd5969dee1049d381c3802cc
BLAKE2b-256 12745c91cd63f5cf7ae4d34d157c0629c032a61826681a1c2864a3547c259123

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 Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page