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 feef7a1. 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

20230519.15.42.534360

20230519.6.9.83137

20230519.5.40.145277

20230519.4.15.749769

20230519.3.42.795996

20230518.13.56.201072

20230518.13.41.35974

20230518.13.25.306263

20230518.11.36.486409

20230518.9.46.894574

20230517.14.48.145918

20230517.13.34.354193

20230516.14.7.662290

20230516.7.38.803589

20230516.7.26.734693

20230515.14.30.96275

20230515.12.38.455221

20230515.10.50.245321

20230515.9.38.936699

20230511.5.47.946966

20230511.5.25.666096

20230511.3.37.151044

20230511.3.9.29395

20230511.2.28.298911

20230510.18.27.94705

20230509.13.10.432226

20230509.11.1.577856

20230509.5.5.661313

20230508.11.41.145749

20230508.7.31.531418

20230507.22.6.337328

20230507.17.41.152401

20230507.14.11.952513

20230507.13.14.15135

20230507.12.52.833945

20230507.12.3.162437

20230507.11.22.542291

20230507.9.47.577125

20230507.8.27.526824

20230506.10.32.748527

20230506.9.42.516242

20230506.2.36.941865

20230505.17.37.688986

20230505.17.6.283982

20230505.15.34.838592

20230505.15.16.867381

20230505.15.2.734923

20230505.14.38.637018

20230505.12.15.25647

20230505.11.57.878314

20230505.10.13.773040

20230505.6.35.992484

20230502.14.58.849574

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-rahav-cert-1987_update_regTest-20230519.15.42.534360.tar.gz (39.0 MB view details)

Uploaded Source

Built Distribution

certora_cli_alpha_rahav_cert_1987_update_regTest-20230519.15.42.534360-py3-none-any.whl (39.0 MB view details)

Uploaded Python 3

File details

Details for the file certora-cli-alpha-rahav-cert-1987_update_regTest-20230519.15.42.534360.tar.gz.

File metadata

File hashes

Hashes for certora-cli-alpha-rahav-cert-1987_update_regTest-20230519.15.42.534360.tar.gz
Algorithm Hash digest
SHA256 f41600aa79aa7548842a25baee8b3f8f396f5ad731f374e93ae4270f43be3def
MD5 3f10a5ddf6b8f86712c37aa8a238f785
BLAKE2b-256 bddf7ae058413e9bc7f20f9e10ffc74117bb4689fda6169c8cb20ac14e9698f9

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_cert_1987_update_regTest-20230519.15.42.534360-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_cert_1987_update_regTest-20230519.15.42.534360-py3-none-any.whl
Algorithm Hash digest
SHA256 1c7877674afdbb40decd26771f4a5efebeac878f887b1ea1ab56bd904a0c8a4b
MD5 e1b8352f7ce4c43c45046e4e0a9bd8fe
BLAKE2b-256 a087d370e42f668d5dce579569c31bf538e2257b71b8fcaf6293704d4653a252

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