Commit bbb6535. 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-cnandi-morpho-equiv",
"name": "certora-cli-alpha-cnandi-morpho-equiv",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": "",
"keywords": "",
"author": "Certora",
"author_email": "support@certora.com",
"download_url": "https://files.pythonhosted.org/packages/41/d0/1121efd095bf7f86d14dfc4d445b1666b54edc18c447ee3638edef7a3e06/certora-cli-alpha-cnandi-morpho-equiv-20230627.12.25.24093.tar.gz",
"platform": null,
"description": "Commit bbb6535. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.\n",
"bugtrack_url": null,
"license": "",
"summary": "Runner for the Certora Prover",
"version": "20230627.12.25.24093",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-cnandi-morpho-equiv"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "92b2993099d6f972c81ec71e23d845d0cf4af4c46be1256174b6a6d9e37f5129",
"md5": "b249ed9d5e98bcb5e821c3c07fe14eb3",
"sha256": "c8e30663366d591d905e78a45604da83b37446a75952a844e8ad4e70f83ff274"
},
"downloads": -1,
"filename": "certora_cli_alpha_cnandi_morpho_equiv-20230627.12.25.24093-py3-none-any.whl",
"has_sig": false,
"md5_digest": "b249ed9d5e98bcb5e821c3c07fe14eb3",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 40339965,
"upload_time": "2023-06-27T12:25:16",
"upload_time_iso_8601": "2023-06-27T12:25:16.523757Z",
"url": "https://files.pythonhosted.org/packages/92/b2/993099d6f972c81ec71e23d845d0cf4af4c46be1256174b6a6d9e37f5129/certora_cli_alpha_cnandi_morpho_equiv-20230627.12.25.24093-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "41d01121efd095bf7f86d14dfc4d445b1666b54edc18c447ee3638edef7a3e06",
"md5": "af4fd15c8e63db874ef8a70ea2deaef6",
"sha256": "b7ba49b53da2384c2ddd4ae49496d920947b69004403dcc7ef48664894f70814"
},
"downloads": -1,
"filename": "certora-cli-alpha-cnandi-morpho-equiv-20230627.12.25.24093.tar.gz",
"has_sig": false,
"md5_digest": "af4fd15c8e63db874ef8a70ea2deaef6",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 40305652,
"upload_time": "2023-06-27T12:25:20",
"upload_time_iso_8601": "2023-06-27T12:25:20.755851Z",
"url": "https://files.pythonhosted.org/packages/41/d0/1121efd095bf7f86d14dfc4d445b1666b54edc18c447ee3638edef7a3e06/certora-cli-alpha-cnandi-morpho-equiv-20230627.12.25.24093.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-06-27 12:25:20",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-cnandi-morpho-equiv"
}