Commit 9b370d5. 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/74/80/5cbc6d3b14b7821b5ae13da590db40cea713690548b0921929667959294f/certora_cli_alpha_master-20250911.4.3.565758.tar.gz",
"platform": null,
"description": "Commit 9b370d5. 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": "20250911.4.3.565758",
"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": "c1ac76773e17a23ef4a21932ece02eb40b59e5046c481d069e401e1a5a6fa2bc",
"md5": "45c39f622dc1ab28c9d337e5b0efa410",
"sha256": "e2157a348be0c8938f786cb85fa141b1b0703e8431a6b970ec725e0088750998"
},
"downloads": -1,
"filename": "certora_cli_alpha_master-20250911.4.3.565758-py3-none-any.whl",
"has_sig": false,
"md5_digest": "45c39f622dc1ab28c9d337e5b0efa410",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.9",
"size": 32567230,
"upload_time": "2025-09-11T04:04:01",
"upload_time_iso_8601": "2025-09-11T04:04:01.262425Z",
"url": "https://files.pythonhosted.org/packages/c1/ac/76773e17a23ef4a21932ece02eb40b59e5046c481d069e401e1a5a6fa2bc/certora_cli_alpha_master-20250911.4.3.565758-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "e63d0c91d751e6147bee4787a2366e3e83ac2353a8782df635114224d680c051",
"md5": "25afd1d849867f3ffd28b17897b6ecb6",
"sha256": "944bd1990334116aad096a438306ab6971e98c07d9a7e6e791b3be2cdd6a9edb"
},
"downloads": -1,
"filename": "certora_cli_alpha_master-20250911.4.3.565758-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "25afd1d849867f3ffd28b17897b6ecb6",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.9",
"size": 34093359,
"upload_time": "2025-09-11T04:04:06",
"upload_time_iso_8601": "2025-09-11T04:04:06.981015Z",
"url": "https://files.pythonhosted.org/packages/e6/3d/0c91d751e6147bee4787a2366e3e83ac2353a8782df635114224d680c051/certora_cli_alpha_master-20250911.4.3.565758-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "ac27c7a5e110029d4f8106f647cce55a9d68f951967bf22d2308e20e1605bee0",
"md5": "b235f559d99c27caf8d5d62606354595",
"sha256": "b9b3ab6a025514add07fc1213b3776496c63ad4a46b2f8a5cf34ab567ec7e147"
},
"downloads": -1,
"filename": "certora_cli_alpha_master-20250911.4.3.565758-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "b235f559d99c27caf8d5d62606354595",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.9",
"size": 33403301,
"upload_time": "2025-09-11T04:04:04",
"upload_time_iso_8601": "2025-09-11T04:04:04.298756Z",
"url": "https://files.pythonhosted.org/packages/ac/27/c7a5e110029d4f8106f647cce55a9d68f951967bf22d2308e20e1605bee0/certora_cli_alpha_master-20250911.4.3.565758-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "74805cbc6d3b14b7821b5ae13da590db40cea713690548b0921929667959294f",
"md5": "289445526a504b4493080255e52d0064",
"sha256": "14da2d89815bfd7e0063dd70e63d272dc8116e62835b1c67de3dab8abe748645"
},
"downloads": -1,
"filename": "certora_cli_alpha_master-20250911.4.3.565758.tar.gz",
"has_sig": false,
"md5_digest": "289445526a504b4493080255e52d0064",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.9",
"size": 32517127,
"upload_time": "2025-09-11T04:04:09",
"upload_time_iso_8601": "2025-09-11T04:04:09.410450Z",
"url": "https://files.pythonhosted.org/packages/74/80/5cbc6d3b14b7821b5ae13da590db40cea713690548b0921929667959294f/certora_cli_alpha_master-20250911.4.3.565758.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-09-11 04:04:09",
"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"
}
JSON
