Commit aa8898e. 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/6f/df/35e05e94c662fe9394087fc3b4a6c4e12ca62f7b433cfc4334183eb8aee3/certora_cli_alpha_master-20250714.18.20.553754.tar.gz",
"platform": null,
"description": "Commit aa8898e. 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": "20250714.18.20.553754",
"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": "ecf69e940d8c770fdc6572bf8d67413d25df16d37453a9ce405a9ae821f8522a",
"md5": "c5627fb2a757737908b9564d7e9c5fcf",
"sha256": "d3ad5b4c8c1974abb64de71d53c98d52b050928d302de7df89ba9d66cf504a34"
},
"downloads": -1,
"filename": "certora_cli_alpha_master-20250714.18.20.553754-py3-none-any.whl",
"has_sig": false,
"md5_digest": "c5627fb2a757737908b9564d7e9c5fcf",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.9",
"size": 16326825,
"upload_time": "2025-07-14T18:20:33",
"upload_time_iso_8601": "2025-07-14T18:20:33.440291Z",
"url": "https://files.pythonhosted.org/packages/ec/f6/9e940d8c770fdc6572bf8d67413d25df16d37453a9ce405a9ae821f8522a/certora_cli_alpha_master-20250714.18.20.553754-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "0d6fbaadaf2ca9be64d4edb9ff064fbf723f8dc8584b56966164d518c37577ba",
"md5": "ce542971535b343b0bcb5eb59757030c",
"sha256": "36b9a3b8a16f2281714f87c9f87c9b42b0356925eb837d3fbef2e80155034673"
},
"downloads": -1,
"filename": "certora_cli_alpha_master-20250714.18.20.553754-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "ce542971535b343b0bcb5eb59757030c",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.9",
"size": 17852953,
"upload_time": "2025-07-14T18:20:38",
"upload_time_iso_8601": "2025-07-14T18:20:38.097679Z",
"url": "https://files.pythonhosted.org/packages/0d/6f/baadaf2ca9be64d4edb9ff064fbf723f8dc8584b56966164d518c37577ba/certora_cli_alpha_master-20250714.18.20.553754-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "445beb608f9e41546006937966f4c5f0e8071f7efc6b8a71607186f69f2024e3",
"md5": "76ec068b8f529c6eeaf4b7a0196fbd33",
"sha256": "60de6b4fed0b8d3a76d2837bfbc9a86458dc7f746cac5dd84b40ec0c29c8f97f"
},
"downloads": -1,
"filename": "certora_cli_alpha_master-20250714.18.20.553754-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "76ec068b8f529c6eeaf4b7a0196fbd33",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.9",
"size": 17162898,
"upload_time": "2025-07-14T18:20:35",
"upload_time_iso_8601": "2025-07-14T18:20:35.593282Z",
"url": "https://files.pythonhosted.org/packages/44/5b/eb608f9e41546006937966f4c5f0e8071f7efc6b8a71607186f69f2024e3/certora_cli_alpha_master-20250714.18.20.553754-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "6fdf35e05e94c662fe9394087fc3b4a6c4e12ca62f7b433cfc4334183eb8aee3",
"md5": "a991cda76a4ef828e2906c8736275969",
"sha256": "adec7fedbbb9b980738f87b8fcb04fca4827e6971dff408524b11f6b9e912c73"
},
"downloads": -1,
"filename": "certora_cli_alpha_master-20250714.18.20.553754.tar.gz",
"has_sig": false,
"md5_digest": "a991cda76a4ef828e2906c8736275969",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.9",
"size": 16277416,
"upload_time": "2025-07-14T18:20:39",
"upload_time_iso_8601": "2025-07-14T18:20:39.911247Z",
"url": "https://files.pythonhosted.org/packages/6f/df/35e05e94c662fe9394087fc3b4a6c4e12ca62f7b433cfc4334183eb8aee3/certora_cli_alpha_master-20250714.18.20.553754.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-07-14 18:20:39",
"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
