certora-cli-alpha-assaf-braveOrStupidExperiment

Commit 61d9834. 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-braveOrStupidExperiment 20230515.14.12.855777
File	Size	Uploaded
certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.14.12.855777.tar.gz	39.4 MB	May 15, 2023	Details

Table of built distributions (wheels) for certora-cli-alpha-assaf-braveOrStupidExperiment 20230515.14.12.855777
File	Interpreter	ABI	Platform	Reset
certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777-py3-none-any.whl 39.5 MB May 15, 2023	Python 3	none	any	Details

Total release size: 78.9 MB

Download URL	certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.14.12.855777.tar.gz
Size	39.4 MB
Tags	Source
SHA-256 checksum How to use checksums	`4abc7b031961a5997313a4164454438de18cb83248624eba910c6ab39e0c79e9`
BLAKE2b-256 checksum How to use checksums	`24fb883bb8c2b89c5e9ff166e76f8d1e6ca55decc098f30ed6c52127901e659c`
Upload date	May 15, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.8.16`

Download URL	certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777-py3-none-any.whl
Size	39.5 MB
Tags	Python 3
SHA-256 checksum How to use checksums	`495ed97058cd74a5243d8fcf822be697a3902c77e1ed0b0150f7567088004364`
BLAKE2b-256 checksum How to use checksums	`dd104e175cc3b79e52a632edb25addf33934d181269bbda6d67054abc70fd24b`
Upload date	May 15, 2023
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.2 CPython/3.8.16`