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

20241121.13.1.747316

20241121.11.51.504154

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_7552_set_branch_in_alpha-20241121.13.1.747316.tar.gz (15.5 MB view details)

Uploaded Source

Built Distributions

certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-manylinux_2_28_x86_64.whl (17.1 MB view details)

Uploaded Python 3 manylinux: glibc 2.28+ x86-64

certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-macosx_10_9_universal2.whl (17.0 MB view details)

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

certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-any.whl (15.5 MB view details)

Uploaded Python 3

File details

Details for the file certora_cli_alpha_rahav_cert_7552_set_branch_in_alpha-20241121.13.1.747316.tar.gz.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_cert_7552_set_branch_in_alpha-20241121.13.1.747316.tar.gz
Algorithm Hash digest
SHA256 7af09172dcec6431468d9ac6262c47f488a2d4bc5c07b69d7bc17853f5147c4b
MD5 6fb1de2a5bf3b98c0b8ff9dec4f377a4
BLAKE2b-256 49f1ce5de3c6501545fe4d248fcac4c5b07feba0de1853d66c385071ae5e6d5e

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 93c0836652178b10ceedd97a51441cd63e129a207bbadf56d7adb7ffdd89518b
MD5 b4751a7d8ee4542f817e5c3bb63b4ab0
BLAKE2b-256 b56c6a65c8ad9a2589cf6857dd6a213306a0717e17f76aa2bca984bc715f9a65

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 661d5c19ed6cf138fb55f7c07e2be32a6ff7b1b1de60bd48347bb0459a3b976a
MD5 54bfdaf64ec85d8ba9fddc881ec8ee7f
BLAKE2b-256 c43eef01e98754f9418e7051d059e18444b959ea9d1caa35e0bfd6d7c25b0d31

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-any.whl
Algorithm Hash digest
SHA256 7d3bed670842b52411b4bd8bf2f274382858a5e55d613767796f513f39da002c
MD5 fe9facf3b02ed6dfe4da5b1c6ffa5ab0
BLAKE2b-256 4585d10f4a82ace1250a72b96ce0f58646f3ae4d52d34ad92970f4c0516a09db

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