Commit 56875cd. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (20230503.8.12.233273)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for shellyg from gravatar.com shellyg

Credits

Author: Certora

License

MIT License

Requires

Python >=3.8.16

Classifiers

Report project as malware

Metadata

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (20230503.8.12.233273)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for shellyg from gravatar.com shellyg

Credits

Author: Certora

License

MIT License

Requires

Python >=3.8.16

Classifiers

Report project as malware

Release files for certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors 20230430.18.40.419597

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors 20230430.18.40.419597
File Size Uploaded
certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors-20230430.18.40.419597.tar.gz 38.3 MB Details

Built distribution (wheel)

Table of built distributions (wheels) for certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors 20230430.18.40.419597
File Interpreter ABI Platform
certora_cli_alpha_bgreenwald_vyper_slot_typedescriptors-20230430.18.40.419597-py3-none-any.whl 38.3 MB Python 3 none any Details

Total release size: 76.6 MB

Release files / certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors-20230430.18.40.419597.tar.gz

Download URL certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors-20230430.18.40.419597.tar.gz
Size 38.3 MB
Tags Source
SHA-256 checksum
How to use checksums 		78ca39cbd1326ef9425df38b9846965b74665a14a9865349ec6fa700f48d666d
BLAKE2b-256 checksum
How to use checksums 		59fb300d35e85fe599cbd4363ae3228e4829eda4733129b723e4415faf99d914
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_bgreenwald_vyper_slot_typedescriptors-20230430.18.40.419597-py3-none-any.whl

Download URL certora_cli_alpha_bgreenwald_vyper_slot_typedescriptors-20230430.18.40.419597-py3-none-any.whl
Size 38.3 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		22d788908e9d59ae80716a03651715a7bc88fbd2223e6eb32cea48998b0241c3
BLAKE2b-256 checksum
How to use checksums 		b5528e60ce0ce362ae32d91075fc1952e336b65f2c3895ab9b40760f374828f0
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/4.0.2 CPython/3.10.6
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page