CertoraCLI

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

Metadata

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

Source distribution for certora-cli-maker-structs 3.0.0
File	Size	Uploaded
certora-cli-maker-structs-3.0.0.tar.gz	10.0 MB	Feb 7, 2022	Details

Table of built distributions (wheels) for certora-cli-maker-structs 3.0.0
File	Interpreter	ABI	Platform	Reset
certora_cli_maker_structs-3.0.0-py3-none-any.whl 10.0 MB Feb 7, 2022	Python 3	none	any	Details

Total release size: 20.0 MB

Download URL	certora-cli-maker-structs-3.0.0.tar.gz
Size	10.0 MB
Tags	Source
SHA-256 checksum How to use checksums	`ffc1cd1e25700117c6db3d2646456af4a4e768c22dfadf5bebcd8c6bb7c504ba`
BLAKE2b-256 checksum How to use checksums	`4db8ca12d2feac6f481db41366c0bc08903e07ba0cb8fee86ada73ff3a265506`
Upload date	Feb 7, 2022
Uploaded using Trusted Publishing? What is 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`

Download URL	certora_cli_maker_structs-3.0.0-py3-none-any.whl
Size	10.0 MB
Tags	Python 3
SHA-256 checksum How to use checksums	`2570d5c079b9181a5cfef992382d10a4575abc282cee3043564ecca0618c909b`
BLAKE2b-256 checksum How to use checksums	`03e542f406831e2611c458457f793db02c05a139c88c996c7b21b1c2d7855e8e`
Upload date	Feb 7, 2022
Uploaded using Trusted Publishing? What is 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`

This release

3.0.0 This release