certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize

Commit d0cc56a. 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 20230511.10.59.148299
File	Size	Uploaded
certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize-20230511.10.59.148299.tar.gz	39.4 MB	May 11, 2023	Details

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

Total release size: 78.9 MB

Download URL	certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize-20230511.10.59.148299.tar.gz
Size	39.4 MB
Tags	Source
SHA-256 checksum How to use checksums	`a23c937f88b0fe27e3acb84c1c74bf18848c1f7656c5bc115d065781c4827c0b`
BLAKE2b-256 checksum How to use checksums	`0a0676d5dba2d0f3a74ea39da17c2c7217c4ac2546095b4e752d269578699f15`
Upload date	May 11, 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-20230511.10.59.148299-py3-none-any.whl
Size	39.5 MB
Tags	Python 3
SHA-256 checksum How to use checksums	`50a1433390ab761b806414a7b9a01acacb0a657b5deaa117266a3f90f71288ea`
BLAKE2b-256 checksum How to use checksums	`e4450e402de008fe0079a2822eed13831758e551b8c3b7b34c9f3012c1f695a1`
Upload date	May 11, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.10.6`