certora-cli

Runner for the Certora Prover

These details have not been verified by PyPI

Project links

Homepage

Project description

Commit 3dd11d6. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

Project details

These details have not been verified by PyPI

Project links

Homepage

Release history Release notifications | RSS feed

7.20.1

Nov 20, 2024

7.17.2

Oct 8, 2024

7.14.3

Sep 24, 2024

7.14.2

Sep 2, 2024

7.10.2

Aug 11, 2024

This version

7.10.1

Jul 25, 2024

7.6.3

May 15, 2024

7.3.0

Apr 11, 2024

7.0.7

Mar 15, 2024

6.3.1

Feb 2, 2024

6.1.4

Jan 21, 2024

6.1.3

Jan 11, 2024

5.0.5

Nov 21, 2023

4.13.1

Sep 26, 2023

4.12.1

Sep 17, 2023

4.10.1

Aug 21, 2023

4.8.0

Aug 13, 2023

4.5.1

Jul 15, 2023

4.3.1

Jul 2, 2023

4.0.6

Jun 7, 2023

3.6.8.post3

Jun 7, 2023

3.6.8.post2 yanked

Jun 7, 2023

Reason this release was yanked:

subsumed by 3.6.8.post3

3.6.8

Apr 18, 2023

3.6.6 yanked

Apr 17, 2023

3.6.5

Apr 3, 2023

3.6.4

Mar 11, 2023

3.6.3

Feb 26, 2023

3.6.2

Feb 14, 2023

3.6.1

Feb 12, 2023

3.6.0 yanked

Feb 3, 2023

3.5.0

Jan 29, 2023

3.4.3

Dec 26, 2022

3.4.2

Oct 19, 2022

3.4.0

Sep 18, 2022

3.3.6

Aug 28, 2022

3.3.5

Aug 15, 2022

3.3.2

Jul 14, 2022

3.3.1

Jul 11, 2022

3.3.0

Jul 4, 2022

3.2.0

May 23, 2022

3.1.0

Mar 21, 2022

3.0.0

Mar 6, 2022

2.13.2

Feb 24, 2022

2.13.1

Feb 10, 2022

2.12.0

Jan 30, 2022

2.11.3

Jan 3, 2022

2.11.2

Jan 1, 2022

2.11.0

Dec 19, 2021

2.10.0

Dec 12, 2021

2.9.2

Dec 4, 2021

2.9.1

Nov 16, 2021

2.9.0

Nov 15, 2021

2.8.1

Nov 7, 2021

2.8.0

Nov 7, 2021

2.7.2

Oct 3, 2021

2.7.1

Aug 29, 2021

2.6.2

Oct 3, 2021

2.6.1

Aug 9, 2021

2.6.0

Aug 8, 2021

2.5.4

Jul 17, 2021

2.5.3

Jul 12, 2021

2.5.2

Jun 14, 2021

2.5.1

Jun 13, 2021

2.5.0

May 30, 2021

2.4.9

May 19, 2021

2.4.8

May 17, 2021

2.4.7

May 11, 2021

2.4.2

May 2, 2021

2.3.1

Apr 11, 2021

2.2.1

Mar 15, 2021

2.2.0

Feb 14, 2021

2.1.1

Feb 1, 2021

2.1.0

Jan 31, 2021

2.0.2

Dec 27, 2020

2.0.1

Dec 27, 2020

2.0.0

Dec 20, 2020

1.0.16

Dec 8, 2020

1.0.15

Dec 8, 2020

1.0.14

Dec 7, 2020

1.0.12

Dec 7, 2020

1.0.0

Nov 26, 2020

0.2.1

Aug 12, 2020

0.2.0

Aug 11, 2020

0.1.1

May 27, 2020

0.1.0

May 27, 2020

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-7.10.1.tar.gz (14.8 MB view details)

Uploaded Jul 25, 2024 Source

Built Distributions

certora_cli-7.10.1-py3-none-manylinux_2_28_x86_64.whl (16.4 MB view details)

Uploaded Jul 25, 2024 Python 3 manylinux: glibc 2.28+ x86-64

certora_cli-7.10.1-py3-none-macosx_10_9_universal2.whl (16.3 MB view details)

Uploaded Jul 25, 2024 Python 3 macOS 10.9+ universal2 (ARM64, x86-64)

certora_cli-7.10.1-py3-none-any.whl (14.8 MB view details)

Uploaded Jul 25, 2024 Python 3

File details

Details for the file certora_cli-7.10.1.tar.gz.

File metadata

Download URL: certora_cli-7.10.1.tar.gz
Upload date: Jul 25, 2024
Size: 14.8 MB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.1.1 CPython/3.8.19

File hashes

Hashes for certora_cli-7.10.1.tar.gz
Algorithm	Hash digest
SHA256	`0f8b03fe1b25b0e2df386974589c12040a062834f19dc6bb1cd2b8734c2ed333`
MD5	`346883efd2d72843acd766691a46f868`
BLAKE2b-256	`b63d9d923c27949818f5358ce98dd0553e36c43cbe59200927dd23c6f5fd8c4f`

See more details on using hashes here.

File details

Details for the file certora_cli-7.10.1-py3-none-manylinux_2_28_x86_64.whl.

File metadata

Download URL: certora_cli-7.10.1-py3-none-manylinux_2_28_x86_64.whl
Upload date: Jul 25, 2024
Size: 16.4 MB
Tags: Python 3, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.1.1 CPython/3.8.19

File hashes

Hashes for certora_cli-7.10.1-py3-none-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`609572068c84a357d00be2677937dc25cbcec6b0d965d560e5ea2e2d30edc568`
MD5	`9365a62ec0fc37e9bcae8d9b637491c0`
BLAKE2b-256	`ccce033adfaad0ba5597a09bced8ac90bf0e4e12bc60c180c70b8098abd18d89`

See more details on using hashes here.

File details

Details for the file certora_cli-7.10.1-py3-none-macosx_10_9_universal2.whl.

File metadata

Download URL: certora_cli-7.10.1-py3-none-macosx_10_9_universal2.whl
Upload date: Jul 25, 2024
Size: 16.3 MB
Tags: Python 3, macOS 10.9+ universal2 (ARM64, x86-64)
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.1.1 CPython/3.8.19

File hashes

Hashes for certora_cli-7.10.1-py3-none-macosx_10_9_universal2.whl
Algorithm	Hash digest
SHA256	`3306aa9536fe827fcbaa80d2e03713e020e4d99e280ecd864e667675903c6b36`
MD5	`0dfc06633c66b8e451a58f7700b7f4db`
BLAKE2b-256	`6ea315f7d3e267be076bd61867630fb5d607878e08392c46814cd7a07a0b09a4`

See more details on using hashes here.

File details

Details for the file certora_cli-7.10.1-py3-none-any.whl.

File metadata

Download URL: certora_cli-7.10.1-py3-none-any.whl
Upload date: Jul 25, 2024
Size: 14.8 MB
Tags: Python 3
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.1.1 CPython/3.8.19

File hashes

Hashes for certora_cli-7.10.1-py3-none-any.whl
Algorithm	Hash digest
SHA256	`201e585414d6327efa0bc033ee3272473bd7d734948fcccf4f28474fb4d20373`
MD5	`8c3ec9486913bea337a3c2a53dc41f59`
BLAKE2b-256	`4d68e6d041a190e93dc55010c7808d2f34e6dbc23a3e77e5e8c72296da86dd20`