Commit df97f8b. 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-granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22",
"name": "certora-cli-alpha-shelly-granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22",
"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/a5/f3/aef66d0c779097709b7ce3ddb3b97df4e6460b41c46ba8e5db456fba21df/certora-cli-alpha-shelly-granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22-20240716.6.0.67489.tar.gz",
"platform": null,
"description": "Commit df97f8b. 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": "20240716.6.0.67489",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-shelly-granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "bedb2f01b52e999248f3722b4a72c2122399d51005c30ff50ad87d9fb6562d67",
"md5": "8e6c19c69072599b6cf2bb60ab13242f",
"sha256": "a59334e1464ef048452d6aaa5c5f6d5adaa8af36e835fb263af652c7611e0d8e"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22-20240716.6.0.67489-py3-none-any.whl",
"has_sig": false,
"md5_digest": "8e6c19c69072599b6cf2bb60ab13242f",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 14496803,
"upload_time": "2024-07-16T06:00:23",
"upload_time_iso_8601": "2024-07-16T06:00:23.057831Z",
"url": "https://files.pythonhosted.org/packages/be/db/2f01b52e999248f3722b4a72c2122399d51005c30ff50ad87d9fb6562d67/certora_cli_alpha_shelly_granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22-20240716.6.0.67489-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "299898110a6c6ceeb8d47d3b4db293e30c5f81189825063d2ecd11ba02ed36ef",
"md5": "729c2bfb9cddb5c3ebf836d9efcd823e",
"sha256": "a6a761b8d69654c7de6ef768d87a7381cb7bdccfb6439ede6656b0d21bed65f9"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22-20240716.6.0.67489-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "729c2bfb9cddb5c3ebf836d9efcd823e",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 16113307,
"upload_time": "2024-07-16T06:00:30",
"upload_time_iso_8601": "2024-07-16T06:00:30.658630Z",
"url": "https://files.pythonhosted.org/packages/29/98/98110a6c6ceeb8d47d3b4db293e30c5f81189825063d2ecd11ba02ed36ef/certora_cli_alpha_shelly_granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22-20240716.6.0.67489-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "62ba72ae2ecf1e28c913a0fdd84ef7ea62fe14dfdbdb19d577c7b2005c407919",
"md5": "77e82b6cef9459a8fd693b1ce3cdf1c1",
"sha256": "883caeb94f296f5175c1837e9c85d7cc353cee807b5bb002097c5c29b52d7485"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22-20240716.6.0.67489-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "77e82b6cef9459a8fd693b1ce3cdf1c1",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 16233073,
"upload_time": "2024-07-16T06:00:27",
"upload_time_iso_8601": "2024-07-16T06:00:27.989499Z",
"url": "https://files.pythonhosted.org/packages/62/ba/72ae2ecf1e28c913a0fdd84ef7ea62fe14dfdbdb19d577c7b2005c407919/certora_cli_alpha_shelly_granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22-20240716.6.0.67489-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a5f3aef66d0c779097709b7ce3ddb3b97df4e6460b41c46ba8e5db456fba21df",
"md5": "85cab9aa0e8b081c8836b9b7088135d5",
"sha256": "b2e10d222aefcc779724a77774d205a70c2607fde16023f77f57cdb682d09329"
},
"downloads": -1,
"filename": "certora-cli-alpha-shelly-granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22-20240716.6.0.67489.tar.gz",
"has_sig": false,
"md5_digest": "85cab9aa0e8b081c8836b9b7088135d5",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 14477239,
"upload_time": "2024-07-16T06:00:33",
"upload_time_iso_8601": "2024-07-16T06:00:33.385881Z",
"url": "https://files.pythonhosted.org/packages/a5/f3/aef66d0c779097709b7ce3ddb3b97df4e6460b41c46ba8e5db456fba21df/certora-cli-alpha-shelly-granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22-20240716.6.0.67489.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-07-16 06:00:33",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-shelly-granularptacontrolderivedfrome7a497517888ffc616226836d3de91a955768f22"
}
JSON