Commit 3bf93ed. 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

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

certora-cli-alpha-CVL_rewrite-20230321.12.19.128434.tar.gz (27.6 MB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

certora_cli_alpha_CVL_rewrite-20230321.12.19.128434-py3-none-any.whl (27.6 MB view details)

Uploaded Python 3

File details

Details for the file certora-cli-alpha-CVL_rewrite-20230321.12.19.128434.tar.gz.

File metadata

File hashes

Hashes for certora-cli-alpha-CVL_rewrite-20230321.12.19.128434.tar.gz
Algorithm Hash digest
SHA256 58a6375d56a6af6c68f18e5d3df20c1e25390718f123f7f11cb0d5f52819fef5
MD5 aca71c2fbbbbd5e0c21b5b3fdc85b1ec
BLAKE2b-256 8768551eb110f74a4c7a52d3f43e85fa46579b86e058f40d67333dc94f89cc0b

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_CVL_rewrite-20230321.12.19.128434-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_CVL_rewrite-20230321.12.19.128434-py3-none-any.whl
Algorithm Hash digest
SHA256 d8fc67194b34b58a2ee39929a1f6d9410f083abcc07ee3885c28541b42560d1c
MD5 6f061e5b83a8684ce63632c92f271cce
BLAKE2b-256 1eb5bffd7bebb448fb9430078b15b77b05f533d2ca8b5cdde738e539f23b05bb

See more details on using hashes here.

Release history Release notifications | RSS feed

20230330.12.28.586030

2 files

20230330.11.36.93699

2 files

20230330.10.30.176859

2 files

20230330.9.54.876548

2 files

20230330.9.17.179500

2 files

20230329.20.4.624484

2 files

20230329.19.3.844588

2 files

20230329.15.20.639495

2 files

20230329.13.54.551524

2 files

20230329.12.53.305480

2 files

20230329.9.31.327733

2 files

20230329.6.17.190028

2 files

20230328.20.12.232006

2 files

20230328.17.55.258447

2 files

20230328.13.47.542582

2 files

20230328.12.44.485023

2 files

20230328.10.31.772210

2 files

20230328.9.38.130902

2 files

20230324.6.53.5882

2 files

20230323.20.4.201267

2 files

20230323.18.30.32570

2 files

20230323.7.0.949917

2 files

20230322.22.55.376109

2 files

20230322.18.22.811476

2 files

20230322.15.42.487577

2 files

20230321.22.0.743044

2 files

20230321.15.42.212305

2 files

This release

20230321.12.19.128434 This release

2 files

20230321.10.28.816285

2 files

20230320.18.19.23462

2 files

20230320.7.47.697825

2 files

20230319.16.35.834000

2 files

20230319.15.0.352337

2 files

20230319.10.4.88607

2 files

20230317.18.29

2 files

20230317.12.15

2 files

20230317.5.15

2 files

20230316.16.25

2 files

20230316.15.26

2 files

20230316.14.27

2 files

20230315.11.8

2 files

20230314.9.25

2 files

20230313.21.21

2 files

20230313.20.6

2 files

20230313.19.1

2 files

20230313.17.23

2 files

20230313.12.47

2 files

20230312.15.52

2 files

20230312.9.57

2 files

20230310.21.29

2 files

20230310.0.44

2 files

20230309.23.30

2 files

20230309.21.51

2 files

20230309.18.53

2 files

20230309.13.6

2 files

20230309.7.30

2 files

20230308.23.38

2 files

20230308.19.33

2 files

20230308.18.52

2 files

20230307.22.31

2 files

20230307.7.18

2 files

20230306.12.19

2 files

20230306.9.48

2 files

20230305.13.38

2 files

20230305.11.10

2 files

20230305.7.47

2 files

20230303.14.17

2 files

20230302.21.6

2 files

20230302.15.2

2 files

20230301.23.20

2 files

20230301.20.9

2 files

20230301.11.39

2 files

20230301.1.4

2 files

20230228.22.8

2 files

20230228.18.50

2 files

20230228.18.9

2 files

20230228.10.26

2 files

20230228.9.5

2 files

20230227.19.39

2 files

20230227.18.35

2 files

20230224.8.19

2 files

20230223.21.30

2 files

20230223.19.24

2 files

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page