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

20230330.12.28.586030

20230330.11.36.93699

20230330.10.30.176859

20230330.9.54.876548

20230330.9.17.179500

20230329.20.4.624484

20230329.19.3.844588

20230329.15.20.639495

20230329.13.54.551524

20230329.12.53.305480

20230329.9.31.327733

20230329.6.17.190028

20230328.20.12.232006

20230328.17.55.258447

20230328.13.47.542582

20230328.12.44.485023

20230328.10.31.772210

20230328.9.38.130902

20230324.6.53.5882

20230323.20.4.201267

20230323.18.30.32570

20230323.7.0.949917

20230322.22.55.376109

20230322.18.22.811476

20230322.15.42.487577

20230321.22.0.743044

20230321.15.42.212305

20230321.12.19.128434

20230321.10.28.816285

20230320.18.19.23462

20230320.7.47.697825

20230319.16.35.834000

20230319.15.0.352337

20230319.10.4.88607

20230317.18.29

20230317.12.15

20230317.5.15

20230316.16.25

20230316.15.26

20230316.14.27

20230315.11.8

20230314.9.25

20230313.21.21

20230313.20.6

20230313.19.1

20230313.17.23

20230313.12.47

20230312.15.52

20230312.9.57

20230310.21.29

20230310.0.44

20230309.23.30

20230309.21.51

20230309.18.53

20230309.13.6

20230309.7.30

20230308.23.38

20230308.19.33

20230308.18.52

20230307.22.31

20230307.7.18

20230306.12.19

20230306.9.48

20230305.13.38

20230305.11.10

20230305.7.47

20230303.14.17

20230302.21.6

20230302.15.2

20230301.23.20

20230301.20.9

20230301.11.39

20230301.1.4

20230228.22.8

20230228.18.50

20230228.18.9

20230228.10.26

20230228.9.5

20230227.19.39

20230227.18.35

20230224.8.19

20230223.21.30

20230223.19.24

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-CVL_rewrite-20230330.12.28.586030.tar.gz (27.9 MB view details)

Uploaded Source

Built Distribution

certora_cli_alpha_CVL_rewrite-20230330.12.28.586030-py3-none-any.whl (27.9 MB view details)

Uploaded Python 3

File details

Details for the file certora-cli-alpha-CVL_rewrite-20230330.12.28.586030.tar.gz.

File metadata

File hashes

Hashes for certora-cli-alpha-CVL_rewrite-20230330.12.28.586030.tar.gz
Algorithm Hash digest
SHA256 fe4acf66dc59b0635a584d2792b894d290a9e97978db3fc6c6c658dd7c5e63c5
MD5 aa7069a352ebca83205da5bd86be3520
BLAKE2b-256 9bb4cd6519b0ab517993f9d96a81bd93e6af1a2ac639778ad91f89aa59256fc7

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_CVL_rewrite-20230330.12.28.586030-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_CVL_rewrite-20230330.12.28.586030-py3-none-any.whl
Algorithm Hash digest
SHA256 2b8df34333e33e49722232f0c8d755ae5689c6a4b88fc6575bfa733913dc34cd
MD5 b6487af2c748f3ea2c576e2fc190b2cb
BLAKE2b-256 7966a5594ca9de254344a78fb2044a069357a4aabe1a267fe8202863af06064a

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