certora-cli-beta

Runner for the Certora Prover

These details have not been verified by PyPI

Project links

Homepage

Project description

Commit 9a2132b. 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.2

Nov 21, 2024

7.20.1

Nov 19, 2024

7.20.0

Nov 18, 2024

7.19.0

Nov 7, 2024

7.18.2

Oct 25, 2024

7.18.1

Oct 15, 2024

7.18.0

Oct 13, 2024

7.17.2

Oct 4, 2024

7.17.1

Sep 30, 2024

7.17.0

Sep 27, 2024

7.16.0

Sep 17, 2024

7.15.0

Sep 7, 2024

7.14.3

Sep 24, 2024

7.14.2

Sep 1, 2024

7.14.1

Sep 1, 2024

7.14.0

Aug 29, 2024

7.13.1

Aug 28, 2024

7.12.1

Aug 21, 2024

7.12.0

Aug 20, 2024

7.11.1

Aug 11, 2024

7.11.0

Aug 9, 2024

7.10.2

Aug 11, 2024

7.10.1

Jul 25, 2024

7.10.0

Jul 22, 2024

7.9.0

Jul 3, 2024

7.8.0

Jun 14, 2024

7.7.0

May 28, 2024

7.6.3

May 14, 2024

7.6.2

May 13, 2024

7.6.1

May 9, 2024

7.6.0

May 2, 2024

7.5.0

Apr 19, 2024

7.4.0

Apr 13, 2024

7.3.0

Apr 2, 2024

7.2.1

Mar 23, 2024

7.2.0

Mar 20, 2024

7.1.0

Mar 18, 2024

7.0.8

Mar 16, 2024

7.0.7

Mar 14, 2024

7.0.6

Mar 13, 2024

7.0.5

Mar 9, 2024

7.0.4

Feb 28, 2024

7.0.3

Feb 27, 2024

7.0.2

Feb 23, 2024

7.0.1

Feb 18, 2024

7.0.0

Feb 13, 2024

6.4.0

Feb 3, 2024

6.3.1

Jan 31, 2024

6.3.0

Jan 28, 2024

6.2.0

Jan 21, 2024

6.1.4

Jan 20, 2024

6.1.3

Jan 5, 2024

6.1.2

Jan 4, 2024

6.1.1

Dec 30, 2023

6.1.0

Dec 22, 2023

6.0.0

Dec 8, 2023

5.0.5

Nov 17, 2023

5.0.4

Nov 16, 2023

5.0.3

Nov 11, 2023

5.0.2

Oct 28, 2023

5.0.1

Oct 21, 2023

5.0.0

Oct 16, 2023

4.13.1

Sep 23, 2023

This version

4.13.0

Sep 20, 2023

4.12.1

Sep 14, 2023

4.12.0

Sep 13, 2023

4.11.0

Aug 26, 2023

4.10.1

Aug 19, 2023

4.10.0

Aug 15, 2023

4.9.0

Aug 14, 2023

4.8.1

Aug 13, 2023

4.8.0

Aug 8, 2023

4.7.0

Aug 5, 2023

4.6.2

Jul 27, 2023

4.6.1

Jul 22, 2023

4.6.0

Jul 16, 2023

4.5.1

Jul 10, 2023

4.5.0

Jul 8, 2023

4.4.0

Jul 1, 2023

4.3.1

Jun 22, 2023

4.3.0

Jun 17, 2023

4.2.0

Jun 13, 2023

4.1.0

Jun 10, 2023

4.0.6

Jun 7, 2023

4.0.5

May 20, 2023

4.0.4

May 20, 2023

4.0.3

May 14, 2023

4.0.2

May 10, 2023

4.0.1

May 6, 2023

4.0.0

May 2, 2023

1.0.16

Dec 8, 2020

1.0.15

Dec 8, 2020

1.0.14

Dec 7, 2020

1.0.13

Dec 7, 2020

1.0.12

Dec 7, 2020

1.0.0

Nov 26, 2020

0.4.4

Nov 2, 2020

0.4.1

Oct 19, 2020

0.4.0

Oct 14, 2020

0.3.3

Oct 13, 2020

0.3.2

Oct 7, 2020

0.3.1

Oct 7, 2020

0.3.0

Oct 6, 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-beta-4.13.0.tar.gz (38.5 MB view details)

Uploaded Sep 20, 2023 Source

Built Distributions

certora_cli_beta-4.13.0-py3-none-manylinux_2_28_x86_64.whl (40.2 MB view details)

Uploaded Sep 20, 2023 Python 3 manylinux: glibc 2.28+ x86-64

certora_cli_beta-4.13.0-py3-none-macosx_10_9_universal2.whl (40.0 MB view details)

Uploaded Sep 20, 2023 Python 3 macOS 10.9+ universal2 (ARM64, x86-64)

certora_cli_beta-4.13.0-py3-none-any.whl (38.5 MB view details)

Uploaded Sep 20, 2023 Python 3

File details

Details for the file certora-cli-beta-4.13.0.tar.gz.

File metadata

Download URL: certora-cli-beta-4.13.0.tar.gz
Upload date: Sep 20, 2023
Size: 38.5 MB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/4.0.2 CPython/3.8.17

File hashes

Hashes for certora-cli-beta-4.13.0.tar.gz
Algorithm	Hash digest
SHA256	`569db999462304808bfa11cb7a21c14ce567b8e95758429ea8ba3d95c7bcf333`
MD5	`1744de6a4e49dd2558b508aed31d5129`
BLAKE2b-256	`b9765af085cd5e074fde935fe38d45e26d214c92dc4201e60e1e4a113ec7ea9f`

See more details on using hashes here.

File details

Details for the file certora_cli_beta-4.13.0-py3-none-manylinux_2_28_x86_64.whl.

File metadata

Download URL: certora_cli_beta-4.13.0-py3-none-manylinux_2_28_x86_64.whl
Upload date: Sep 20, 2023
Size: 40.2 MB
Tags: Python 3, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/4.0.2 CPython/3.8.17

File hashes

Hashes for certora_cli_beta-4.13.0-py3-none-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`43d2ae5ea07d68a47a5a5009c59a49e2788d2ac39b645dace08c68f813b06f85`
MD5	`764601a6007d9bdcbc66271f3daccc88`
BLAKE2b-256	`0b763b493e3f2a49f91ae7e26729038658453a7158ee6a709b9906fdf6e08264`

See more details on using hashes here.

File details

Details for the file certora_cli_beta-4.13.0-py3-none-macosx_10_9_universal2.whl.

File metadata

Download URL: certora_cli_beta-4.13.0-py3-none-macosx_10_9_universal2.whl
Upload date: Sep 20, 2023
Size: 40.0 MB
Tags: Python 3, macOS 10.9+ universal2 (ARM64, x86-64)
Uploaded using Trusted Publishing? No
Uploaded via: twine/4.0.2 CPython/3.8.17

File hashes

Hashes for certora_cli_beta-4.13.0-py3-none-macosx_10_9_universal2.whl
Algorithm	Hash digest
SHA256	`c74cf826e7b6cd073f8e8a00e8f6d1dc21d6e3ab666daef7578dfb1b78f29840`
MD5	`8dc1ef46f4e6f73f21a01c4a3217e8d0`
BLAKE2b-256	`136705215cb2d0dc8a7b3c45d7307039cd36818fa4d03ef946659cf7caa3c288`

See more details on using hashes here.

File details

Details for the file certora_cli_beta-4.13.0-py3-none-any.whl.

File metadata

Download URL: certora_cli_beta-4.13.0-py3-none-any.whl
Upload date: Sep 20, 2023
Size: 38.5 MB
Tags: Python 3
Uploaded using Trusted Publishing? No
Uploaded via: twine/4.0.2 CPython/3.8.17

File hashes

Hashes for certora_cli_beta-4.13.0-py3-none-any.whl
Algorithm	Hash digest
SHA256	`b12a816e5c80829cfc38ee2f69e0136cb2deeb64df317a0b0eb0c3c12da7bbff`
MD5	`5cd373b7dad9a20a6a3fdfa91f6729ec`
BLAKE2b-256	`527dc83b5208877de06787aaf8a2a65333cb7d6f783f347e8d8869c82bdf2291`