Commit c6f07cd. 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 20230321.15.42.212305

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

Built distribution (wheel)

Table of built distributions (wheels) for certora-cli-alpha-CVL-rewrite 20230321.15.42.212305
File Interpreter ABI Platform
certora_cli_alpha_CVL_rewrite-20230321.15.42.212305-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-20230321.15.42.212305.tar.gz

Download URL certora-cli-alpha-CVL_rewrite-20230321.15.42.212305.tar.gz
Size 27.6 MB
Tags Source
SHA-256 checksum
How to use checksums 		1f6212790d6f1300f393b09088782fd12f0524e73ffeb71a0b20632fe81809ab
BLAKE2b-256 checksum
How to use checksums 		9d85a2263da211c903b9e2a113a6ae62b76bff64757b9e88b9f4ed0e34e50128
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-20230321.15.42.212305-py3-none-any.whl

Download URL certora_cli_alpha_CVL_rewrite-20230321.15.42.212305-py3-none-any.whl
Size 27.6 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		8fac829461a306d8533be0b788872ec0b582cab4e9c4953f2a21d09f39e09a3c
BLAKE2b-256 checksum
How to use checksums 		1116fb5ee8ee5d8047a19f30b148742789e80c3c4d75e809fc73d39ff144d12f
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

20230322.15.42.487577

2 release files

20230321.22.0.743044

2 release files

This release

20230321.15.42.212305 This release

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