Commit beb22f8. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
1 maintainer
Metadata
1 maintainer
Release files for certora-cli-alpha-nast-gambit-on-the-cloud-phase2 20231003.11.22.780268
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-nast-gambit_on_the_cloud-phase2-20231003.11.22.780268.tar.gz | 38.5 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 157.1 MB
Release files / certora-cli-alpha-nast-gambit_on_the_cloud-phase2-20231003.11.22.780268.tar.gz
| Download URL | certora-cli-alpha-nast-gambit_on_the_cloud-phase2-20231003.11.22.780268.tar.gz |
|---|---|
| Size | 38.5 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
1cdae6cf938a96acd5891019420ece7e9b3a92044fd5fc90aab6a64cb703a3d9
|
|
BLAKE2b-256 checksum How to use checksums |
155d4fa4621e09a9344e6925eb4879dc9cb5a3c3933f5fcdb434c372db0c8896
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.8.17
|
Release files / certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 40.1 MB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
2e31c99b97cdecc399a845d2a2101b2f98a78b57e4b1672a13f60c6769d25ad7
|
|
BLAKE2b-256 checksum How to use checksums |
cad2a45372210ed497e5faf01b9db855bfd2bb5a877181f43bf511652177a8d8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.8.17
|
Release files / certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-macosx_10_9_universal2.whl |
|---|---|
| Size | 40.0 MB |
| Tags | Python 3 macOS 10.9+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
f85d0437f4c256a2ca3b85e8dcb75a774542da6dd2b870ee354ec19e9f55a553
|
|
BLAKE2b-256 checksum How to use checksums |
9c55cc78832900171827a56cc84806cd5d1c7e9325980ae63eff7ae218cca681
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.8.17
|
Release files / certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-any.whl
| Download URL | certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-any.whl |
|---|---|
| Size | 38.5 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
15020c98399fe5779f38556f7da2a346e72f6edf959e1c9a045402b6d0d173f1
|
|
BLAKE2b-256 checksum How to use checksums |
06dda08118ada85d8c4059013bcdb62f2c5739f0c4512fdd2b27977d18e4a490
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.8.17
|
