Commit 0c54248. 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 20230501.15.50.876040

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 20230501.15.50.876040
File Size Uploaded
certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors-20230501.15.50.876040.tar.gz 38.3 MB Details

Built distribution (wheel)

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

Total release size: 76.7 MB

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

Download URL certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors-20230501.15.50.876040.tar.gz
Size 38.3 MB
Tags Source
SHA-256 checksum
How to use checksums 		92cb6e1589203ea3c48dbcaeb2382322622b46fd0c50b59ec385277fd8ebb59c
BLAKE2b-256 checksum
How to use checksums 		d649ef887d5f6f269f7e9dda647a06ee5d5851a29dd1ce490f51df8e8034e2b9
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-20230501.15.50.876040-py3-none-any.whl

Download URL certora_cli_alpha_bgreenwald_vyper_slot_typedescriptors-20230501.15.50.876040-py3-none-any.whl
Size 38.4 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		3c062edaa9978334694fd6a7456f74fcad4524cd899193dc8395f1482e277821
BLAKE2b-256 checksum
How to use checksums 		0005ab8bbbab0b6d2f002d2f7e17d8239d46f4c0c5f9ab42b580ae579bb23834
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