Commit 3fd3eaa. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
1 maintainer
Metadata
1 maintainer
Release files for certora-cli-alpha-oz-beta 20250403.10.28.262732
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_oz_beta-20250403.10.28.262732.tar.gz | 15.7 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| certora_cli_alpha_oz_beta-20250403.10.28.262732-py3-none-manylinux_2_28_x86_64.whl | Python 3 | none | Linux glibc 2.28+ x86-64 | Details |
| certora_cli_alpha_oz_beta-20250403.10.28.262732-py3-none-macosx_10_9_universal2.whl | Python 3 | none | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
| certora_cli_alpha_oz_beta-20250403.10.28.262732-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 66.0 MB
Release files / certora_cli_alpha_oz_beta-20250403.10.28.262732.tar.gz
| Download URL | certora_cli_alpha_oz_beta-20250403.10.28.262732.tar.gz |
|---|---|
| Size | 15.7 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
33015e8286a6e11906f5adaf4e9b8931f41d69a47e6129bc5efe02985c6f5a93
|
|
BLAKE2b-256 checksum How to use checksums |
18071d481f00bece764eae9ac3e25f39e8f77a0df3eea2f6655d793688e0b623
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.11
|
Release files / certora_cli_alpha_oz_beta-20250403.10.28.262732-py3-none-manylinux_2_28_x86_64.whl
| Download URL | certora_cli_alpha_oz_beta-20250403.10.28.262732-py3-none-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 17.3 MB |
| Tags | Linux glibc 2.28+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
c12c30e5fd6d8232c69267c624abf2fa93dd91cc4b404857a19dac7ba0506d8a
|
|
BLAKE2b-256 checksum How to use checksums |
35ad55f3a0e1b8f6d33db88954f1e9b9d00f16b7a2315f08b068d331309a7bd3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.11
|
Release files / certora_cli_alpha_oz_beta-20250403.10.28.262732-py3-none-macosx_10_9_universal2.whl
| Download URL | certora_cli_alpha_oz_beta-20250403.10.28.262732-py3-none-macosx_10_9_universal2.whl |
|---|---|
| Size | 17.3 MB |
| Tags | Python 3 macOS 10.9+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
d68528d57f48bfb39d9c1f0c33df2924e320b6b774fc1f2ff819365c049f4160
|
|
BLAKE2b-256 checksum How to use checksums |
09085368254385ee1a810a78ea4cbf31c89e2b309f51639900aa339f9eefb82d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.11
|
Release files / certora_cli_alpha_oz_beta-20250403.10.28.262732-py3-none-any.whl
| Download URL | certora_cli_alpha_oz_beta-20250403.10.28.262732-py3-none-any.whl |
|---|---|
| Size | 15.7 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
c80c6197ce16a8a42c3d00fef787260abd87102b1dfa08357249a8843d090fc6
|
|
BLAKE2b-256 checksum How to use checksums |
4168afa0ded8e46ffacfdbf374d6126b32f2fad66c869d7913151143b01bd33d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.11
|
