certora-cli

Name	certora-cli JSON
Version	7.3.0 JSON
	download
home_page	https://pypi.org/project/certora-cli
Summary	Runner for the Certora Prover
upload_time	2024-04-11 09:17:34
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 3dce873.                    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/41/3f/aad312e6eb748626f8fce5dd71b3d948fe6340fa844c71779d77296eecff/certora-cli-7.3.0.tar.gz",
    "platform": null,
    "description": "Commit 3dce873.                    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.3.0",
    "project_urls": {
        "Homepage": "https://pypi.org/project/certora-cli"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "8b2109f55d912f71bb9cc52b61a564e8db1003855f6c335e18d1b1944b822e2f",
                "md5": "4a607a506f3af08fb833fcfe24fa0ab4",
                "sha256": "497380d7266908c64ab0aa110472697ff0a082df2dd750fe3c9a06b270e5cbbc"
            },
            "downloads": -1,
            "filename": "certora_cli-7.3.0-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "4a607a506f3af08fb833fcfe24fa0ab4",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 14495255,
            "upload_time": "2024-04-11T09:17:24",
            "upload_time_iso_8601": "2024-04-11T09:17:24.586831Z",
            "url": "https://files.pythonhosted.org/packages/8b/21/09f55d912f71bb9cc52b61a564e8db1003855f6c335e18d1b1944b822e2f/certora_cli-7.3.0-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "f75de93eafc6b18d357bbfbbc3bf4b79ed94c8717176d3cb0b90eea8be725184",
                "md5": "a7b245fecaed4379f8b11463446a19f3",
                "sha256": "5c47d0d1a48f1ef6ba1fecd7da3fc28ff9adb8b779866a5a5f06e5a0047af4ed"
            },
            "downloads": -1,
            "filename": "certora_cli-7.3.0-py3-none-macosx_10_9_universal2.whl",
            "has_sig": false,
            "md5_digest": "a7b245fecaed4379f8b11463446a19f3",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 16111755,
            "upload_time": "2024-04-11T09:17:31",
            "upload_time_iso_8601": "2024-04-11T09:17:31.239699Z",
            "url": "https://files.pythonhosted.org/packages/f7/5d/e93eafc6b18d357bbfbbc3bf4b79ed94c8717176d3cb0b90eea8be725184/certora_cli-7.3.0-py3-none-macosx_10_9_universal2.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "d6dc91d8e04e127e18aea81a52f2d75d687ffa476c98c88c0df70221c9e3b155",
                "md5": "32b0b2a9ecbb2692f915cb95781c5018",
                "sha256": "5f9e0c89c16f654d0bb1200efb9edf4e26e3b820485e84578c9995387fd61029"
            },
            "downloads": -1,
            "filename": "certora_cli-7.3.0-py3-none-manylinux_2_28_x86_64.whl",
            "has_sig": false,
            "md5_digest": "32b0b2a9ecbb2692f915cb95781c5018",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 16231523,
            "upload_time": "2024-04-11T09:17:27",
            "upload_time_iso_8601": "2024-04-11T09:17:27.413292Z",
            "url": "https://files.pythonhosted.org/packages/d6/dc/91d8e04e127e18aea81a52f2d75d687ffa476c98c88c0df70221c9e3b155/certora_cli-7.3.0-py3-none-manylinux_2_28_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "413faad312e6eb748626f8fce5dd71b3d948fe6340fa844c71779d77296eecff",
                "md5": "6e98d9bd70e6e252c41dffe1bb59cf64",
                "sha256": "7bf1ea00120f4dae5f1b72490913cdbbdb153d42b96ca7e667f7badd136bba1a"
            },
            "downloads": -1,
            "filename": "certora-cli-7.3.0.tar.gz",
            "has_sig": false,
            "md5_digest": "6e98d9bd70e6e252c41dffe1bb59cf64",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.8",
            "size": 14475856,
            "upload_time": "2024-04-11T09:17:34",
            "upload_time_iso_8601": "2024-04-11T09:17:34.224677Z",
            "url": "https://files.pythonhosted.org/packages/41/3f/aad312e6eb748626f8fce5dd71b3d948fe6340fa844c71779d77296eecff/certora-cli-7.3.0.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-04-11 09:17:34",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "lcname": "certora-cli"
}