Commit 711356d. 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-shelly-localAssignmentFinders",
"name": "certora-cli-alpha-shelly-localAssignmentFinders",
"maintainer": null,
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": null,
"keywords": null,
"author": "Certora",
"author_email": "support@certora.com",
"download_url": "https://files.pythonhosted.org/packages/9e/4f/5e3a3581c73f43ee1f7bd66ca4642e1b60f0db916aec5ebd3bba5110b4e7/certora_cli_alpha_shelly_localassignmentfinders-20241109.13.42.43775.tar.gz",
"platform": null,
"description": "Commit 711356d. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.\n",
"bugtrack_url": null,
"license": null,
"summary": "Runner for the Certora Prover",
"version": "20241109.13.42.43775",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-shelly-localAssignmentFinders"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "372dd10e23b61a1e0f4f327fc9a2a476963a9b2d3f42e5075b5781f3f6cf9daf",
"md5": "1b391503ab24b9eb27dd60ca2e2ea6c0",
"sha256": "0138e16ca5db8421fd5182e2cb26c4ecc10b3595319fd4d771db6a43fd6d6758"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_localAssignmentFinders-20241109.13.42.43775-py3-none-any.whl",
"has_sig": false,
"md5_digest": "1b391503ab24b9eb27dd60ca2e2ea6c0",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15355007,
"upload_time": "2024-11-09T13:42:26",
"upload_time_iso_8601": "2024-11-09T13:42:26.850257Z",
"url": "https://files.pythonhosted.org/packages/37/2d/d10e23b61a1e0f4f327fc9a2a476963a9b2d3f42e5075b5781f3f6cf9daf/certora_cli_alpha_shelly_localAssignmentFinders-20241109.13.42.43775-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "cf1f58e4a6d69859434f6806d4af7640a34d8731310a3be1592f83256b6fb015",
"md5": "6029bec842a8b1978720e2df89b5f676",
"sha256": "e2791a2d8c2cfa5a446918e49ccbd9826fda573aceb25a24b6976cbce2f5cc92"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_localAssignmentFinders-20241109.13.42.43775-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "6029bec842a8b1978720e2df89b5f676",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 16895219,
"upload_time": "2024-11-09T13:42:31",
"upload_time_iso_8601": "2024-11-09T13:42:31.680053Z",
"url": "https://files.pythonhosted.org/packages/cf/1f/58e4a6d69859434f6806d4af7640a34d8731310a3be1592f83256b6fb015/certora_cli_alpha_shelly_localAssignmentFinders-20241109.13.42.43775-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "193041659ab00f0a1e40c78a3fa96d715d6f36ecea29ec0e29d1150587752364",
"md5": "f047e044369cb643dfc3bff170f09b95",
"sha256": "77c9c7d7c3b99bb562e3be6349a60c505dcc07c5cfea277a477a7800859eaea0"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_localAssignmentFinders-20241109.13.42.43775-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "f047e044369cb643dfc3bff170f09b95",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 16938419,
"upload_time": "2024-11-09T13:42:29",
"upload_time_iso_8601": "2024-11-09T13:42:29.600980Z",
"url": "https://files.pythonhosted.org/packages/19/30/41659ab00f0a1e40c78a3fa96d715d6f36ecea29ec0e29d1150587752364/certora_cli_alpha_shelly_localAssignmentFinders-20241109.13.42.43775-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9e4f5e3a3581c73f43ee1f7bd66ca4642e1b60f0db916aec5ebd3bba5110b4e7",
"md5": "f60e319baa4c5c60d21d907ce13e2434",
"sha256": "dccbfb7eb3abf79ce117c7cc52e780b34854a515739d30c78000c0fd3980b3c0"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_localassignmentfinders-20241109.13.42.43775.tar.gz",
"has_sig": false,
"md5_digest": "f60e319baa4c5c60d21d907ce13e2434",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 15331592,
"upload_time": "2024-11-09T13:42:34",
"upload_time_iso_8601": "2024-11-09T13:42:34.419288Z",
"url": "https://files.pythonhosted.org/packages/9e/4f/5e3a3581c73f43ee1f7bd66ca4642e1b60f0db916aec5ebd3bba5110b4e7/certora_cli_alpha_shelly_localassignmentfinders-20241109.13.42.43775.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-11-09 13:42:34",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-shelly-localassignmentfinders"
}
JSON