certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize

Commit 7a4b826. 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 20230516.7.20.614735
File	Size	Uploaded
certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize-20230516.7.20.614735.tar.gz	38.7 MB	May 16, 2023	Details

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

Total release size: 77.5 MB

Download URL	certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize-20230516.7.20.614735.tar.gz
Size	38.7 MB
Tags	Source
SHA-256 checksum How to use checksums	`4f1980a8eade3d82d995682f0bc79f9ffdb9014f09e9ceca6c87e02c8270d3f3`
BLAKE2b-256 checksum How to use checksums	`d8b1d49e478a04f64bd88ca78b7179dbf944c55a790e97c5f019bf40bbd8b6ee`
Upload date	May 16, 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-20230516.7.20.614735-py3-none-any.whl
Size	38.8 MB
Tags	Python 3
SHA-256 checksum How to use checksums	`7d28b251cdcdbcadcdd457403fd3af6c0e62e3a229ae83b8625d6905ba7ecda6`
BLAKE2b-256 checksum How to use checksums	`02ed42ef7ca3edcdff23c528ec2c989931dde0fe2208d9ef03eaac5a7801ed7c`
Upload date	May 16, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.10.6`