Utilities for building smart contracts for verification using the Certora Prover, and for running 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.5
Classifiers
Report project as malware

Project description

CertoraCLI

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.5
Classifiers

Release history Release notifications | RSS feed

This version

3.0.0

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-maker-structs-3.0.0.tar.gz (10.0 MB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

certora_cli_maker_structs-3.0.0-py3-none-any.whl (10.0 MB view details)

Uploaded Python 3

File details

Details for the file certora-cli-maker-structs-3.0.0.tar.gz.

File metadata

  • Download URL: certora-cli-maker-structs-3.0.0.tar.gz
  • Upload date:
  • Size: 10.0 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/32.0 requests/2.22.0 requests-toolbelt/0.8.0 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.10.1 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.7.3

File hashes

Hashes for certora-cli-maker-structs-3.0.0.tar.gz
Algorithm Hash digest
SHA256 ffc1cd1e25700117c6db3d2646456af4a4e768c22dfadf5bebcd8c6bb7c504ba
MD5 24e78b4c6c507494b69ca4ca1dd804ee
BLAKE2b-256 4db8ca12d2feac6f481db41366c0bc08903e07ba0cb8fee86ada73ff3a265506

See more details on using hashes here.

File details

Details for the file certora_cli_maker_structs-3.0.0-py3-none-any.whl.

File metadata

  • Download URL: certora_cli_maker_structs-3.0.0-py3-none-any.whl
  • Upload date:
  • Size: 10.0 MB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/32.0 requests/2.22.0 requests-toolbelt/0.8.0 urllib3/1.26.8 tqdm/4.62.3 importlib-metadata/4.10.1 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.7.3

File hashes

Hashes for certora_cli_maker_structs-3.0.0-py3-none-any.whl
Algorithm Hash digest
SHA256 2570d5c079b9181a5cfef992382d10a4575abc282cee3043564ecca0618c909b
MD5 5fced33e15776f3f9b6ced5c31e027da
BLAKE2b-256 03e542f406831e2611c458457f793db02c05a139c88c996c7b21b1c2d7855e8e

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page