certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize

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

Table of built distributions (wheels) for certora-cli-alpha-assaf-TACSummaryAndAnnotationSerialize 20230507.9.30.414759
File	Interpreter	ABI	Platform	Reset
certora_cli_alpha_assaf_TACSummaryAndAnnotationSerialize-20230507.9.30.414759-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.9.30.414759.tar.gz
Size	38.5 MB
Tags	Source
SHA-256 checksum How to use checksums	`0e591005706bef5ed660f66f942179b26b6de40714adf398ac444a582d617eb6`
BLAKE2b-256 checksum How to use checksums	`6ed04808276e2dd04e56b89349c38836b6f53d1d0be9eb0c36a9a3e6be8068bd`
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.9.30.414759-py3-none-any.whl
Size	38.5 MB
Tags	Python 3
SHA-256 checksum How to use checksums	`35069fae3564d2c6467e964a43cd6c0c48b317a4208887f4051bd46becfa5f62`
BLAKE2b-256 checksum How to use checksums	`fe51d775f87e07c8cf45ff104575ca64d1c2bb88981b73b267381ebed7069a9f`
Upload date	May 7, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.10.6`