Commit 6eab2bd. 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 20230320.7.47.697825

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

Built distribution (wheel)

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

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

Download URL certora_cli_alpha_CVL_rewrite-20230320.7.47.697825-py3-none-any.whl
Size 27.6 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		23c52efc865c1b3c068b04cefdcd9543cc1cd6e036ac517dc298a61323841ff9
BLAKE2b-256 checksum
How to use checksums 		07fe072a3f025a06e013b7c7a433fdb7f593070a95c0d35cb5d57794accc1d92
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

This release

20230320.7.47.697825 This release

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