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 292e83e. 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

20241024.16.1.723201

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_7153_summarization_2-20241024.16.1.723201.tar.gz (15.3 MB view details)

Uploaded Source

Built Distributions

certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-manylinux_2_28_x86_64.whl (16.9 MB view details)

Uploaded Python 3 manylinux: glibc 2.28+ x86-64

certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-macosx_10_9_universal2.whl (16.9 MB view details)

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

certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-any.whl (15.3 MB view details)

Uploaded Python 3

File details

Details for the file certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz
Algorithm Hash digest
SHA256 ffc171c9cc8c4557026c6c1da1a953774a72861ac260a180c7fcd71e986248f2
MD5 fd2c548fbce5b9e979c485dcc9a33796
BLAKE2b-256 386bfede0010ca2d5e86deaa92238fff4d4661a58d85cd5640273f8ebc837005

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 f9d7420a42f2cb952c0e8934459c9f5454a1b66a7847cad70dcc23ab5960091b
MD5 0b71bcd190465ac5552fd9d95ba6fb0d
BLAKE2b-256 eab61d74e9dfa05232505d777d8e42336e8d855854dd8186f08b0514c5069da0

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 5a1a50133a40931451b72323b4024feb35184ea219272cb433596449afdb0edd
MD5 8b8c3ffa5f9b2f88da821b4bde6578db
BLAKE2b-256 cdf3cac62370535f034e308a6486fa60ffd03b84bef0ee04032d60f6d4ff6630

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-any.whl
Algorithm Hash digest
SHA256 cc863f912681f185e93c39c4f2dc4d4e7ff5b2ad92285c16686aae7db7c9a975
MD5 e53f16417f200904230b2146747dc016
BLAKE2b-256 40c4bba9ce8633096b22c8162d0df0f724d6746ead3c19d0e5a153f547e9c48b

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