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

20240905.7.37.285892

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_7094_clean_container_collect_2-20240905.7.37.285892.tar.gz (14.9 MB view details)

Uploaded Source

Built Distributions

certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-manylinux_2_28_x86_64.whl (16.5 MB view details)

Uploaded Python 3 manylinux: glibc 2.28+ x86-64

certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-macosx_10_9_universal2.whl (16.4 MB view details)

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

certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-any.whl (14.9 MB view details)

Uploaded Python 3

File details

Details for the file certora_cli_alpha_rahav_cert_7094_clean_container_collect_2-20240905.7.37.285892.tar.gz.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_cert_7094_clean_container_collect_2-20240905.7.37.285892.tar.gz
Algorithm Hash digest
SHA256 b611a1319be16ca9c6a8db2a932d1e214e2a1ece3323aef12c4c7a5c868a8d49
MD5 58ad58c632c56d107f0d7a0c1b55e182
BLAKE2b-256 5f21272fbcf65f2a87027b4b5e5396789915913caf237b8232cc0d8634a7c14f

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 f2bdd6812c42f0b6cc34aa6a32edb8811359c48d04e4b860ef97f3f016b4a4af
MD5 3e343180ed02f6f23987d09b59913abf
BLAKE2b-256 45f55c688ab6598c11623eef321eb10c4440d97819ede2fd041f383213e8fd2d

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 7072dd94ca1234aa8dafeb14edf12e44e76654854bfc4bb201f40295bd43771c
MD5 b6cb8cb1758bf30227e47ab7ab90d7a9
BLAKE2b-256 1ed21456077dd0a82147144072d9bf1b374eb67cd597975093b7fa7a56d525bd

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-any.whl
Algorithm Hash digest
SHA256 bcec57edaf297bce703a00f0f1fd8f17cbb79f725262f9b9cb9acd4ba76bf67e
MD5 f101a1b0aafdc09d0b6035e7d2291faf
BLAKE2b-256 215bf9fc530d8235e34ce1d1b1f10a6b48c6c682008331e89171b4c6e0c710e7

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