certora-cli


Namecertora-cli JSON
Version 7.25.2 PyPI version JSON
download
home_pagehttps://pypi.org/project/certora-cli
SummaryRunner for the Certora Prover
upload_time2025-02-19 14:12:03
maintainerNone
docs_urlNone
authorCertora
requires_python>=3.8
licenseNone
keywords
VCS
bugtrack_url
requirements No requirements were recorded.
Travis-CI No Travis.
coveralls test coverage No coveralls.
            Commit d6b1d13.                    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/26/70/a5f3f42bbb5caad66e40ddfb86eabc64e85104307887b7f80800b41e4a2b/certora-cli-7.25.2.tar.gz",
    "platform": null,
    "description": "Commit d6b1d13.                    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.25.2",
    "project_urls": {
        "Homepage": "https://pypi.org/project/certora-cli"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "fb19a68ae503e2d9f84df323dfdda4aa94c00e79ec3a8de73ab4846b31a275cf",
                "md5": "965147679f96ff182680365863a973f2",
                "sha256": "19b723c0f1332e713890346a4c7305520a1b987111226fc5ff0c09d587b0f6a2"
            },
            "downloads": -1,
            "filename": "certora_cli-7.25.2-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "965147679f96ff182680365863a973f2",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 15626343,
            "upload_time": "2025-02-19T14:11:52",
            "upload_time_iso_8601": "2025-02-19T14:11:52.571503Z",
            "url": "https://files.pythonhosted.org/packages/fb/19/a68ae503e2d9f84df323dfdda4aa94c00e79ec3a8de73ab4846b31a275cf/certora_cli-7.25.2-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "722c891be099e1ff1fe025fe12006d84253abec239f59b9b2087a38de2ad1516",
                "md5": "80c23ac8dfa2d1a33c4b357f5463e12b",
                "sha256": "e002c411211d3ccb8e45dd0060205b89c02101398939371a7e15b3427080e961"
            },
            "downloads": -1,
            "filename": "certora_cli-7.25.2-py3-none-macosx_10_9_universal2.whl",
            "has_sig": false,
            "md5_digest": "80c23ac8dfa2d1a33c4b357f5463e12b",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17166561,
            "upload_time": "2025-02-19T14:12:00",
            "upload_time_iso_8601": "2025-02-19T14:12:00.365337Z",
            "url": "https://files.pythonhosted.org/packages/72/2c/891be099e1ff1fe025fe12006d84253abec239f59b9b2087a38de2ad1516/certora_cli-7.25.2-py3-none-macosx_10_9_universal2.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "6f5c5098f1a280d9520c622ddf6f6e3aa12205df71b0e77cb70c9d90f6bca519",
                "md5": "0538596036f5d4151d9d317474aca8af",
                "sha256": "fda82d7aec4bec4cb2ab1baba432d6a7c531dcb7c54cc91e81a9e2ba8581729e"
            },
            "downloads": -1,
            "filename": "certora_cli-7.25.2-py3-none-manylinux_2_28_x86_64.whl",
            "has_sig": false,
            "md5_digest": "0538596036f5d4151d9d317474aca8af",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17209756,
            "upload_time": "2025-02-19T14:11:56",
            "upload_time_iso_8601": "2025-02-19T14:11:56.064384Z",
            "url": "https://files.pythonhosted.org/packages/6f/5c/5098f1a280d9520c622ddf6f6e3aa12205df71b0e77cb70c9d90f6bca519/certora_cli-7.25.2-py3-none-manylinux_2_28_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "2670a5f3f42bbb5caad66e40ddfb86eabc64e85104307887b7f80800b41e4a2b",
                "md5": "2994b78ac089031e32acf0715b3d66ad",
                "sha256": "f62a5a52530c230ca8a7199cedcf18c21487a337c6010d84fcd4e8f8058b1cfd"
            },
            "downloads": -1,
            "filename": "certora-cli-7.25.2.tar.gz",
            "has_sig": false,
            "md5_digest": "2994b78ac089031e32acf0715b3d66ad",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.8",
            "size": 15583449,
            "upload_time": "2025-02-19T14:12:03",
            "upload_time_iso_8601": "2025-02-19T14:12:03.599051Z",
            "url": "https://files.pythonhosted.org/packages/26/70/a5f3f42bbb5caad66e40ddfb86eabc64e85104307887b7f80800b41e4a2b/certora-cli-7.25.2.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2025-02-19 14:12:03",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "lcname": "certora-cli"
}
        
Elapsed time: 0.40597s