Commit f3bf27e. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (20230503.8.12.233273)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for shellyg from gravatar.com shellyg

Credits

Author: Certora

License

MIT License

Requires

Python >=3.8.16

Classifiers

Report project as malware

Metadata

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (20230503.8.12.233273)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for shellyg from gravatar.com shellyg

Credits

Author: Certora

License

MIT License

Requires

Python >=3.8.16

Classifiers

Report project as malware

Release files for certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors 20230501.17.22.250778

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors 20230501.17.22.250778
File Size Uploaded
certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors-20230501.17.22.250778.tar.gz 38.3 MB Details

Built distribution (wheel)

Table of built distributions (wheels) for certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors 20230501.17.22.250778
File Interpreter ABI Platform
certora_cli_alpha_bgreenwald_vyper_slot_typedescriptors-20230501.17.22.250778-py3-none-any.whl 38.4 MB Python 3 none any Details

Total release size: 76.7 MB

Release files / certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors-20230501.17.22.250778.tar.gz

Download URL certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors-20230501.17.22.250778.tar.gz
Size 38.3 MB
Tags Source
SHA-256 checksum
How to use checksums 		633ee21be5a388279e2731c9b62596291a62a5872efa8c4167f012d78d20f2c6
BLAKE2b-256 checksum
How to use checksums 		9870fbb7f357ddeb53075b657a272006e2e895b019e3fe7cb7aea11b8d6bef2c
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/4.0.2 CPython/3.10.6

Release files / certora_cli_alpha_bgreenwald_vyper_slot_typedescriptors-20230501.17.22.250778-py3-none-any.whl

Download URL certora_cli_alpha_bgreenwald_vyper_slot_typedescriptors-20230501.17.22.250778-py3-none-any.whl
Size 38.4 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		d053c0aa1aefc633adedf121496ecb7e9423b513e410c61978628229f7bd786d
BLAKE2b-256 checksum
How to use checksums 		354822a045e9cdd2ae11430b15d6d927aa2dfdb2162050e5eefd50b0e959278a
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/4.0.2 CPython/3.10.6
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page