certora-cli

Name	certora-cli JSON
Version	7.21.1 JSON
	download
home_page	https://pypi.org/project/certora-cli
Summary	Runner for the Certora Prover
upload_time	2024-12-12 12:33:30
maintainer	None
docs_url	None
author	Certora
requires_python	>=3.8
license	None
keywords
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            Commit 03eae31.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

            

Raw data

            {
    "_id": null,
    "home_page": "https://pypi.org/project/certora-cli",
    "name": "certora-cli",
    "maintainer": null,
    "docs_url": null,
    "requires_python": ">=3.8",
    "maintainer_email": null,
    "keywords": null,
    "author": "Certora",
    "author_email": "support@certora.com",
    "download_url": "https://files.pythonhosted.org/packages/77/93/ed2279bf768d785c2064d3569797e6082e4982aba19983d59c6b4b4da15a/certora_cli-7.21.1.tar.gz",
    "platform": null,
    "description": "Commit 03eae31.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.\n",
    "bugtrack_url": null,
    "license": null,
    "summary": "Runner for the Certora Prover",
    "version": "7.21.1",
    "project_urls": {
        "Homepage": "https://pypi.org/project/certora-cli"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "5afcc8b2291c4f6fa125388382e553792320d952845e85f9c347f262450e10ce",
                "md5": "2d0468cdddc25e7ac8c642a4acfe3ab4",
                "sha256": "f2dc858950c1edfe69b64f00a32753119b594757a17465130d14b0fb041aa327"
            },
            "downloads": -1,
            "filename": "certora_cli-7.21.1-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "2d0468cdddc25e7ac8c642a4acfe3ab4",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 15508554,
            "upload_time": "2024-12-12T12:33:16",
            "upload_time_iso_8601": "2024-12-12T12:33:16.190769Z",
            "url": "https://files.pythonhosted.org/packages/5a/fc/c8b2291c4f6fa125388382e553792320d952845e85f9c347f262450e10ce/certora_cli-7.21.1-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "44562829b7caa4d19dd95cd9234862de9f45b6fa5c7d72773598fb4c0561eadd",
                "md5": "bb9035568856f4c30e9f80bdfc89a9bf",
                "sha256": "480613317735a90247886561a1d60d9e5e6603d142da193255a82287720ad57e"
            },
            "downloads": -1,
            "filename": "certora_cli-7.21.1-py3-none-macosx_10_9_universal2.whl",
            "has_sig": false,
            "md5_digest": "bb9035568856f4c30e9f80bdfc89a9bf",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17048770,
            "upload_time": "2024-12-12T12:33:25",
            "upload_time_iso_8601": "2024-12-12T12:33:25.556016Z",
            "url": "https://files.pythonhosted.org/packages/44/56/2829b7caa4d19dd95cd9234862de9f45b6fa5c7d72773598fb4c0561eadd/certora_cli-7.21.1-py3-none-macosx_10_9_universal2.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "61662e8802ecba62064dd3d849ee5b96164df403f1020292a2df1b516f8d3eb5",
                "md5": "aa631b5517201c371e79a0927a5b4f04",
                "sha256": "550dca54f87af6ed9f9a75790c0d9a61786d5a4a40aaed6fda593b22491724cf"
            },
            "downloads": -1,
            "filename": "certora_cli-7.21.1-py3-none-manylinux_2_28_x86_64.whl",
            "has_sig": false,
            "md5_digest": "aa631b5517201c371e79a0927a5b4f04",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17091966,
            "upload_time": "2024-12-12T12:33:20",
            "upload_time_iso_8601": "2024-12-12T12:33:20.887567Z",
            "url": "https://files.pythonhosted.org/packages/61/66/2e8802ecba62064dd3d849ee5b96164df403f1020292a2df1b516f8d3eb5/certora_cli-7.21.1-py3-none-manylinux_2_28_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "7793ed2279bf768d785c2064d3569797e6082e4982aba19983d59c6b4b4da15a",
                "md5": "062d91b45fdab99333007eedd6f91639",
                "sha256": "87f390cc33718afed7a3432b10023cb3612eee450955a32bb2a84ad66a7feca7"
            },
            "downloads": -1,
            "filename": "certora_cli-7.21.1.tar.gz",
            "has_sig": false,
            "md5_digest": "062d91b45fdab99333007eedd6f91639",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.8",
            "size": 15484290,
            "upload_time": "2024-12-12T12:33:30",
            "upload_time_iso_8601": "2024-12-12T12:33:30.829048Z",
            "url": "https://files.pythonhosted.org/packages/77/93/ed2279bf768d785c2064d3569797e6082e4982aba19983d59c6b4b4da15a/certora_cli-7.21.1.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-12-12 12:33:30",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "lcname": "certora-cli"
}