certora-cli-alpha-master


Namecertora-cli-alpha-master JSON
Version 20250708.16.32.202680 PyPI version JSON
download
home_pagehttps://pypi.org/project/certora-cli-alpha-master
SummaryRunner for the Certora Prover
upload_time2025-07-08 16:32:53
maintainerNone
docs_urlNone
authorCertora
requires_python>=3.9
licenseGPL-3.0-only
keywords
VCS
bugtrack_url
requirements No requirements were recorded.
Travis-CI No Travis.
coveralls test coverage No coveralls.
            Commit 74f300a.                    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-alpha-master",
    "name": "certora-cli-alpha-master",
    "maintainer": null,
    "docs_url": null,
    "requires_python": ">=3.9",
    "maintainer_email": null,
    "keywords": null,
    "author": "Certora",
    "author_email": "support@certora.com",
    "download_url": "https://files.pythonhosted.org/packages/03/b7/747a9f05c54bf398ed52f9f84e732d3ae1a8f7a51dac80cd4a20e75262a9/certora_cli_alpha_master-20250708.16.32.202680.tar.gz",
    "platform": null,
    "description": "Commit 74f300a.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.\n",
    "bugtrack_url": null,
    "license": "GPL-3.0-only",
    "summary": "Runner for the Certora Prover",
    "version": "20250708.16.32.202680",
    "project_urls": {
        "Documentation": "https://docs.certora.com/en/latest/",
        "Homepage": "https://pypi.org/project/certora-cli-alpha-master",
        "Source": "https://github.com/Certora/CertoraProver"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "c79c7c9efb7699b504abf64ee32487f6635d1ea8dcd6976eedabda40ed84bd2f",
                "md5": "67fa3336df6406b2885ba5dc472c6335",
                "sha256": "4d53e7658fc2b0f27d6b1f9ed07ff26892dd2c6858e9f83a62ae2d4e2177bab1"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_master-20250708.16.32.202680-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "67fa3336df6406b2885ba5dc472c6335",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.9",
            "size": 16077265,
            "upload_time": "2025-07-08T16:32:46",
            "upload_time_iso_8601": "2025-07-08T16:32:46.354859Z",
            "url": "https://files.pythonhosted.org/packages/c7/9c/7c9efb7699b504abf64ee32487f6635d1ea8dcd6976eedabda40ed84bd2f/certora_cli_alpha_master-20250708.16.32.202680-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "04201387c4b84d842d7ae73d8b997b3265537944bfa3d59c3d43a1570f86a1f2",
                "md5": "7bc8fb647f5f94b62ffedd489eaf7f9b",
                "sha256": "b369f1dca71066e8686643a1c65342c1f1d278688238e6d5d6dbc5c05025c686"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_master-20250708.16.32.202680-py3-none-macosx_10_9_universal2.whl",
            "has_sig": false,
            "md5_digest": "7bc8fb647f5f94b62ffedd489eaf7f9b",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.9",
            "size": 17603391,
            "upload_time": "2025-07-08T16:32:50",
            "upload_time_iso_8601": "2025-07-08T16:32:50.974210Z",
            "url": "https://files.pythonhosted.org/packages/04/20/1387c4b84d842d7ae73d8b997b3265537944bfa3d59c3d43a1570f86a1f2/certora_cli_alpha_master-20250708.16.32.202680-py3-none-macosx_10_9_universal2.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "787bde97c9be5e0678370541f980f9792392c6ec2ebbd49535a87ca6cbc6d528",
                "md5": "fc037049a5397952607e6fbcd2535246",
                "sha256": "1dede6b1af6c5fd7d411e098cb5b3b9d80463b91d55e1bf4f4940b75416ada40"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_master-20250708.16.32.202680-py3-none-manylinux_2_28_x86_64.whl",
            "has_sig": false,
            "md5_digest": "fc037049a5397952607e6fbcd2535246",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.9",
            "size": 16913341,
            "upload_time": "2025-07-08T16:32:48",
            "upload_time_iso_8601": "2025-07-08T16:32:48.557788Z",
            "url": "https://files.pythonhosted.org/packages/78/7b/de97c9be5e0678370541f980f9792392c6ec2ebbd49535a87ca6cbc6d528/certora_cli_alpha_master-20250708.16.32.202680-py3-none-manylinux_2_28_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "03b7747a9f05c54bf398ed52f9f84e732d3ae1a8f7a51dac80cd4a20e75262a9",
                "md5": "2f4a5597ae306cf94a2c234f6a49eb65",
                "sha256": "7fd949b0c8261bf6dd1fde45780ea23ec800779fa77735df017002aad3a02cbe"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_master-20250708.16.32.202680.tar.gz",
            "has_sig": false,
            "md5_digest": "2f4a5597ae306cf94a2c234f6a49eb65",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.9",
            "size": 16028950,
            "upload_time": "2025-07-08T16:32:53",
            "upload_time_iso_8601": "2025-07-08T16:32:53.260538Z",
            "url": "https://files.pythonhosted.org/packages/03/b7/747a9f05c54bf398ed52f9f84e732d3ae1a8f7a51dac80cd4a20e75262a9/certora_cli_alpha_master-20250708.16.32.202680.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2025-07-08 16:32:53",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "Certora",
    "github_project": "CertoraProver",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": false,
    "circle": true,
    "lcname": "certora-cli-alpha-master"
}
        
Elapsed time: 0.64746s