certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize

Commit 031e6d8. 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-alpha-assaf-TACSummaryAndAnnotationSerialize 20230507.13.14.573782
File	Size	Uploaded
certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize-20230507.13.14.573782.tar.gz	38.5 MB	May 7, 2023	Details

Table of built distributions (wheels) for certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize 20230507.13.14.573782
File	Interpreter	ABI	Platform	Reset
certora_cli_alpha_assaf_TACSummaryAndAnnotationSerialize-20230507.13.14.573782-py3-none-any.whl 38.5 MB May 7, 2023	Python 3	none	any	Details

Total release size: 77.0 MB

Download URL	certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize-20230507.13.14.573782.tar.gz
Size	38.5 MB
Tags	Source
SHA-256 checksum How to use checksums	`bc69ea47ffa6a54f8d1e3386064b2b4d603f95b41f27b7e890553d415d61417e`
BLAKE2b-256 checksum How to use checksums	`fcac5513fd26e08a0066f3fd9abe38b8484dd10eb5c2e7a76e159ee4142d74e9`
Upload date	May 7, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.10.6`

Download URL	certora_cli_alpha_assaf_TACSummaryAndAnnotationSerialize-20230507.13.14.573782-py3-none-any.whl
Size	38.5 MB
Tags	Python 3
SHA-256 checksum How to use checksums	`bd3b05250172ae67248c7b3ea5ff0a78b60d324ed69185abae0cf8451b301b9b`
BLAKE2b-256 checksum How to use checksums	`5844d67aa8154d42b8f35bb222be721688cb589467deb8a1029adbf073d1ed7b`
Upload date	May 7, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.10.6`