Commit 18943ee. 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 (20230518.16.55.77692)

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 (20230518.16.55.77692)

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-yuvalbd-function-signature-formatting 20230516.22.59.556250

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-yuvalbd-function-signature-formatting 20230516.22.59.556250
File Size Uploaded
certora-cli-alpha-yuvalbd-function_signature_formatting-20230516.22.59.556250.tar.gz 38.7 MB Details

Built distribution (wheel)

Table of built distributions (wheels) for certora-cli-alpha-yuvalbd-function-signature-formatting 20230516.22.59.556250
File Interpreter ABI Platform
certora_cli_alpha_yuvalbd_function_signature_formatting-20230516.22.59.556250-py3-none-any.whl 38.8 MB Python 3 none any Details

Total release size: 77.5 MB

Release files / certora-cli-alpha-yuvalbd-function_signature_formatting-20230516.22.59.556250.tar.gz

Download URL certora-cli-alpha-yuvalbd-function_signature_formatting-20230516.22.59.556250.tar.gz
Size 38.7 MB
Tags Source
SHA-256 checksum
How to use checksums 		f2178bf709c8bb1caaba3697b89c437217341c85a69510c33a037148b7902d26
BLAKE2b-256 checksum
How to use checksums 		0b8e048e3af658305f4561136b73e622a042e105689709bd3e4a7fbde36082f5
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_yuvalbd_function_signature_formatting-20230516.22.59.556250-py3-none-any.whl

Download URL certora_cli_alpha_yuvalbd_function_signature_formatting-20230516.22.59.556250-py3-none-any.whl
Size 38.8 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		4d155a0798b887c29fc26b3a6604000e6906ff465dd9b30367913165e0dd6b8d
BLAKE2b-256 checksum
How to use checksums 		58cdb3a7ef0a8226455f187dc165ae0e806cd0366df8b6495e12b10c5688ed48
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