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"
}
JSON
