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

20241121.13.1.747316

This version

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

Uploaded Source

Built Distributions

certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.11.51.504154-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.11.51.504154-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.11.51.504154-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.11.51.504154.tar.gz.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_cert_7552_set_branch_in_alpha-20241121.11.51.504154.tar.gz
Algorithm Hash digest
SHA256 214635aa73e251c28a3ecb368c6bf9dd88cf4392c8de438f2e5db7a1de7219b0
MD5 464b8f72bace10731192699e3cd35b5a
BLAKE2b-256 12f25847225e10eadee7be760901a56051546beeaf72263418599e95ac5855b8

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.11.51.504154-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.11.51.504154-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 707c7375be0001126909a98c3c5b50541c443509d341b3e971d6fa418d23e18f
MD5 eae674d98e58b4b8293a3f87ea27d8be
BLAKE2b-256 0e7326f04bbc1f22747992e1f3666105e98879e381d7df30bf87eb0ec60d021e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.11.51.504154-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 e486eca9e582031ad7176457a845c62f99de9090ed7f0c5d24844157ea347737
MD5 278b0a1afe2b4b052bf2d1f0d3a60d55
BLAKE2b-256 966f4b51dddbdd1fae2429129dcb666606c541ae7a30b40815fcce6a95be102d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.11.51.504154-py3-none-any.whl
Algorithm Hash digest
SHA256 b2a09d5c9f83dcd512510d791ad20287e68df46d88c2d5405240a388cc23e999
MD5 18b3c8fad2608a968467d957efb477aa
BLAKE2b-256 e129e59f693046cf70040003a9ccd5e53158cb8669bd745a877fbd2d87de19d2

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