Commit ee1322f. 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 20230319.15.0.352337

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

Built distribution (wheel)

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

Total release size: 55.1 MB

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

Download URL certora-cli-alpha-CVL_rewrite-20230319.15.0.352337.tar.gz
Size 27.5 MB
Tags Source
SHA-256 checksum
How to use checksums 		f045bd9d9ac0869fa04e1f0ab6898aed745a7252c664e4165f4c6ec4fb1a6bea
BLAKE2b-256 checksum
How to use checksums 		04d68382c5398a2fc65ad6398a4cd1f0282efea18a4c6369b5d78273601def57
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-20230319.15.0.352337-py3-none-any.whl

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

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

This release

20230319.15.0.352337 This release

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