Commit 5b1c362. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
1 maintainer
Metadata
1 maintainer
Release files for certora-cli-alpha-CVL-rewrite 20230328.12.44.485023
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| certora-cli-alpha-CVL_rewrite-20230328.12.44.485023.tar.gz | 27.8 MB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_CVL_rewrite-20230328.12.44.485023-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 55.7 MB
Release files / certora-cli-alpha-CVL_rewrite-20230328.12.44.485023.tar.gz
| Download URL | certora-cli-alpha-CVL_rewrite-20230328.12.44.485023.tar.gz |
|---|---|
| Size | 27.8 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
1816ec1f882be8679902daa3487be011532b525d532df8cf35686da84c9d3910
|
|
BLAKE2b-256 checksum How to use checksums |
7c53a54f651bfdeacbc76497d87e77c9c85f659b89bdca71fa3adf2bbd157207
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.6
|
Release files / certora_cli_alpha_CVL_rewrite-20230328.12.44.485023-py3-none-any.whl
| Download URL | certora_cli_alpha_CVL_rewrite-20230328.12.44.485023-py3-none-any.whl |
|---|---|
| Size | 27.9 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a3df44e256d751760e39cda941e4925027cc3753e16ea4f343482d193a993595
|
|
BLAKE2b-256 checksum How to use checksums |
1e007a11722693741f90a56099ac03a5c460e9f85345b5ecd882abc1bb406873
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.6
|
