certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize

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

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

Total release size: 77.5 MB

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