Utilities for building smart contracts for verification using the Certora Prover, and for running 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.5
Classifiers

Project description

CertoraCLI

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

Release history Release notifications | RSS feed

7.20.2

7.20.1

7.20.0

7.19.0

7.18.2

7.18.1

7.18.0

7.17.2

7.17.1

7.17.0

7.16.0

7.15.0

7.14.3

7.14.2

7.14.1

7.14.0

7.13.1

7.12.1

7.12.0

7.11.1

7.11.0

7.10.2

7.10.1

7.10.0

7.9.0

7.8.0

7.7.0

7.6.3

7.6.2

7.6.1

7.6.0

7.5.0

7.4.0

7.3.0

7.2.1

7.2.0

7.1.0

7.0.8

7.0.7

7.0.6

7.0.5

7.0.4

7.0.3

7.0.2

7.0.1

7.0.0

6.4.0

6.3.1

6.3.0

6.2.0

6.1.4

6.1.3

6.1.2

6.1.1

6.1.0

6.0.0

5.0.5

5.0.4

5.0.3

5.0.2

5.0.1

5.0.0

4.13.1

4.13.0

4.12.1

4.12.0

4.11.0

4.10.1

4.10.0

4.9.0

4.8.1

4.8.0

4.7.0

4.6.2

4.6.1

4.6.0

4.5.1

4.5.0

4.4.0

4.3.1

4.3.0

4.2.0

4.1.0

4.0.6

4.0.5

4.0.4

4.0.3

4.0.2

4.0.1

4.0.0

1.0.16

1.0.15

1.0.14

This version

1.0.13

1.0.12

1.0.0

0.4.4

0.4.1

0.4.0

0.3.3

0.3.2

0.3.1

0.3.0

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-beta-1.0.13.tar.gz (9.3 MB view details)

Uploaded Source

Built Distribution

certora_cli_beta-1.0.13-py3-none-any.whl (9.3 MB view details)

Uploaded Python 3

File details

Details for the file certora-cli-beta-1.0.13.tar.gz.

File metadata

  • Download URL: certora-cli-beta-1.0.13.tar.gz
  • Upload date:
  • Size: 9.3 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.8.0 tqdm/4.54.1 CPython/3.8.5

File hashes

Hashes for certora-cli-beta-1.0.13.tar.gz
Algorithm Hash digest
SHA256 8b0bf6ed1d2766f8d7d4bbe11c113f554dd16a4cb9ea5549f9f6965fc41035ed
MD5 e2c27b6ebc6cd105104227b681dc00cd
BLAKE2b-256 dc5618bc99614a6a23c59ee34a4546449d7ec35544f347f86422b02cbcd65f32

See more details on using hashes here.

File details

Details for the file certora_cli_beta-1.0.13-py3-none-any.whl.

File metadata

  • Download URL: certora_cli_beta-1.0.13-py3-none-any.whl
  • Upload date:
  • Size: 9.3 MB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.8.0 tqdm/4.54.1 CPython/3.8.5

File hashes

Hashes for certora_cli_beta-1.0.13-py3-none-any.whl
Algorithm Hash digest
SHA256 a4c70e8a3d3e79683ceaefb55213f51311bc39e1809daaa180cb84186dc57c43
MD5 aaffd8a28c014111029751606b180348
BLAKE2b-256 79272376ddc3ebdbdd2521e1adc39ee326168f50a0ff8292252af67bfb735fee

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