Runner for the Certora Prover

Navigation

Verified details

These details have been verified by PyPI
Project links
Maintainers
Avatar for certora from gravatar.com certora Avatar for shellyg from gravatar.com shellyg

Unverified details

These details have not been verified by PyPI
Meta
  • License: MIT License
  • Author: Certora
  • Requires: Python >=3.8
Classifiers

Project description

Commit 8dac3ef. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

Project details

Verified details

These details have been verified by PyPI
Project links
Maintainers
Avatar for certora from gravatar.com certora Avatar for shellyg from gravatar.com shellyg

Unverified details

These details have not been verified by PyPI
Meta
  • License: MIT License
  • Author: Certora
  • Requires: Python >=3.8
Classifiers

Release history Release notifications | RSS feed

This version

20241010.23.58.120633

20241010.23.26.37879

20241010.19.56.404466

20241010.16.36.83943

20241010.16.3.238388

20241010.8.39.56439

20241010.6.57.707396

20241010.0.9.103171

20241009.21.50.140696

20241009.18.6.340821

20241009.17.34.185332

20241009.17.2.298820

20241009.11.20.402262

20241009.9.12.909180

20241007.17.57.864404

20241007.14.53.175400

20241007.14.22.50556

20241007.13.16.922276

20241007.12.42.204102

20241006.19.32.389184

20241006.17.8.138391

20241004.22.27.638778

20241004.21.11.879303

20241004.20.26.753378

20241004.19.55.670243

20241004.18.59.959533

20241004.18.28.136088

20241003.22.16.868985

20241003.16.16.908378

20241002.21.30.206089

20241002.20.58.446386

20241002.18.42.543704

20241002.13.20.466834

20241001.16.52.525016

20241001.16.20.572500

20241001.8.16.427815

20240930.14.6.723336

20240930.9.49.481770

20240929.11.39.474526

20240927.23.3.292699

20240927.15.31.556134

20240927.13.15.773584

20240927.11.46.122569

20240927.7.57.285842

20240926.23.23.494811

20240926.16.12.324737

20240926.14.56.972441

20240926.13.8.996637

20240926.11.12.648704

20240926.9.39.2797

20240925.19.47.290938

20240924.23.33.995365

20240924.23.0.131059

20240924.18.54.722885

20240924.18.16.900880

20240924.15.22.840169

20240924.14.34.789824

20240924.14.1.489139

20240924.12.5.569245

20240924.9.19.607482

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_master-20241010.23.58.120633.tar.gz (15.3 MB view hashes)

Uploaded Source

Built Distributions

certora_cli_alpha_master-20241010.23.58.120633-py3-none-manylinux_2_28_x86_64.whl (16.9 MB view hashes)

Uploaded Python 3 manylinux: glibc 2.28+ x86-64

certora_cli_alpha_master-20241010.23.58.120633-py3-none-macosx_10_9_universal2.whl (16.9 MB view hashes)

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

certora_cli_alpha_master-20241010.23.58.120633-py3-none-any.whl (15.3 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