Commit e573529. 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 (20230330.12.28.586030)

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

Classifiers

Report project as malware

Metadata

Project links

Key dates

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

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

Classifiers

Report project as malware

Release files for certora-cli-alpha-CVL-rewrite 20230322.15.42.487577

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-CVL-rewrite 20230322.15.42.487577
File Size Uploaded
certora-cli-alpha-CVL_rewrite-20230322.15.42.487577.tar.gz 27.6 MB Details

Built distribution (wheel)

Table of built distributions (wheels) for certora-cli-alpha-CVL-rewrite 20230322.15.42.487577
File Interpreter ABI Platform
certora_cli_alpha_CVL_rewrite-20230322.15.42.487577-py3-none-any.whl 27.6 MB Python 3 none any Details

Total release size: 55.2 MB

Release files / certora-cli-alpha-CVL_rewrite-20230322.15.42.487577.tar.gz

Download URL certora-cli-alpha-CVL_rewrite-20230322.15.42.487577.tar.gz
Size 27.6 MB
Tags Source
SHA-256 checksum
How to use checksums 		3a064d965b759834aa9bee8373c27965ce076206bdb42d30aacfef0fbccf9731
BLAKE2b-256 checksum
How to use checksums 		d26247bf4e55984f4b71b24d270f9a87053496ec0a45b779009dbb74bdd396a1
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_CVL_rewrite-20230322.15.42.487577-py3-none-any.whl

Download URL certora_cli_alpha_CVL_rewrite-20230322.15.42.487577-py3-none-any.whl
Size 27.6 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		9e578be63582498359630a6edff83262e00e80f13acf20ec8e56a7e08e8b4a57
BLAKE2b-256 checksum
How to use checksums 		6f9d3cf5fd44af18e85c09d47da168c85238c2b6095ced8075d01fd8158e171b
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/4.0.2 CPython/3.10.6

Release history Release notifications | RSS feed

20230330.12.28.586030

2 release files

20230330.11.36.93699

2 release files

20230330.10.30.176859

2 release files

20230330.9.54.876548

2 release files

20230330.9.17.179500

2 release files

20230329.20.4.624484

2 release files

20230329.19.3.844588

2 release files

20230329.15.20.639495

2 release files

20230329.13.54.551524

2 release files

20230329.12.53.305480

2 release files

20230329.9.31.327733

2 release files

20230329.6.17.190028

2 release files

20230328.20.12.232006

2 release files

20230328.17.55.258447

2 release files

20230328.13.47.542582

2 release files

20230328.12.44.485023

2 release files

20230328.10.31.772210

2 release files

20230328.9.38.130902

2 release files

20230324.6.53.5882

2 release files

20230323.20.4.201267

2 release files

20230323.18.30.32570

2 release files

20230323.7.0.949917

2 release files

20230322.22.55.376109

2 release files

20230322.18.22.811476

2 release files

This release

20230322.15.42.487577 This release

2 release files

20230321.22.0.743044

2 release files

20230321.15.42.212305

2 release files

20230321.12.19.128434

2 release files

20230321.10.28.816285

2 release files

20230320.18.19.23462

2 release files

20230320.7.47.697825

2 release files

20230319.16.35.834000

2 release files

20230319.15.0.352337

2 release files

20230319.10.4.88607

2 release files

20230317.18.29

2 release files

20230317.12.15

2 release files

20230317.5.15

2 release files

20230316.16.25

2 release files

20230316.15.26

2 release files

20230316.14.27

2 release files

20230315.11.8

2 release files

20230314.9.25

2 release files

20230313.21.21

2 release files

20230313.20.6

2 release files

20230313.19.1

2 release files

20230313.17.23

2 release files

20230313.12.47

2 release files

20230312.15.52

2 release files

20230312.9.57

2 release files

20230310.21.29

2 release files

20230310.0.44

2 release files

20230309.23.30

2 release files

20230309.21.51

2 release files

20230309.18.53

2 release files

20230309.13.6

2 release files

20230309.7.30

2 release files

20230308.23.38

2 release files

20230308.19.33

2 release files

20230308.18.52

2 release files

20230307.22.31

2 release files

20230307.7.18

2 release files

20230306.12.19

2 release files

20230306.9.48

2 release files

20230305.13.38

2 release files

20230305.11.10

2 release files

20230305.7.47

2 release files

20230303.14.17

2 release files

20230302.21.6

2 release files

20230302.15.2

2 release files

20230301.23.20

2 release files

20230301.20.9

2 release files

20230301.11.39

2 release files

20230301.1.4

2 release files

20230228.22.8

2 release files

20230228.18.50

2 release files

20230228.18.9

2 release files

20230228.10.26

2 release files

20230228.9.5

2 release files

20230227.19.39

2 release files

20230227.18.35

2 release files

20230224.8.19

2 release files

20230223.21.30

2 release files

20230223.19.24

2 release files

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