Commit 780df9b. 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 20230329.15.20.639495

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

Built distribution (wheel)

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

Total release size: 55.8 MB

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

Download URL certora-cli-alpha-CVL_rewrite-20230329.15.20.639495.tar.gz
Size 27.9 MB
Tags Source
SHA-256 checksum
How to use checksums 		8c7230136905570983c1ea3afcc8bcb4de770dd93d900e98acf19f6e61ba3177
BLAKE2b-256 checksum
How to use checksums 		d54f840d3cf043576f5031d568666c66a637e041776b7955e14d92b8343a95c4
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-20230329.15.20.639495-py3-none-any.whl

Download URL certora_cli_alpha_CVL_rewrite-20230329.15.20.639495-py3-none-any.whl
Size 27.9 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		5732e211d19815ea024690c6ca94e8e3b27c04b084014f21e329ef7da8023f4b
BLAKE2b-256 checksum
How to use checksums 		3cc63607ff9ac68389e050bcd8f230e8404ff575fd3470e5e8805e800159593b
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

This release

20230329.15.20.639495 This release

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

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