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

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Meta

License: MIT License

Author: Certora

Requires: Python >=3.8

Classifiers

Project description

Commit 45c35a0. 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

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Meta

License: MIT License

Author: Certora

Requires: Python >=3.8

Classifiers

Release history Release notifications | RSS feed

This version

20230801.15.42.608313

20230801.15.15.641222

20230801.15.9.307979

20230801.14.51.113268

20230726.20.55.535589

20230726.20.24.84108

20230726.20.10.855543

20230726.19.50.565018

20230726.19.45.191680

20230518.13.42.864350

20230517.19.39.249671

20230517.18.45.899004

20230517.17.50.842676

20230517.15.15.87844

20230517.14.44.223508

20230517.14.3.640691

20230517.13.20.613909

20230517.12.42.535121

20230517.10.26.318001

20230517.9.43.923211

20230517.7.53.784228

20230516.19.57.373904

20230516.19.32.34708

20230516.18.20.47322

20230516.14.24.835741

20230515.14.33.601725

20230511.17.36.676347

20230511.17.25.938780

20230510.20.24.86610

20230510.12.19.236519

20230510.11.15.483936

20230510.9.53.690092

20230509.20.1.633192

20230509.18.3.90327

20230509.16.47.214531

20230509.14.7.767571

20230509.12.41.395294

20230509.11.19.447387

20230509.10.3.145141

20230508.18.32.237387

20230508.17.36.802001

20230508.16.5.3617

20230508.15.18.995254

20230508.13.2.491437

20230508.10.58.458401

20230504.20.20.780525

20230502.10.33.576625

20230502.9.20.737896

20230502.7.41.501872

20230501.17.40.69341

20230501.16.21.151471

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-uri-eradicate_certora_dir-20230801.15.42.608313.tar.gz (37.8 MB view hashes)

Uploaded Source

Built Distributions

certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-manylinux_2_28_x86_64.whl (39.4 MB view hashes)

Uploaded Python 3 manylinux: glibc 2.28+ x86-64

certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-macosx_10_9_universal2.whl (39.3 MB view hashes)

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

certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-any.whl (37.8 MB view hashes)

Uploaded Python 3

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