Commit 255b557. 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-samwise-add-mutation-features",
"name": "certora-cli-alpha-samwise-add-mutation-features",
"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/c7/ce/f2ce3971383dcfa83d8f4df1c43400675745fe53cc20e898282dc2cf46ed/certora-cli-alpha-samwise-add-mutation-features-20230726.20.23.790285.tar.gz",
"platform": null,
"description": "Commit 255b557. 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": "20230726.20.23.790285",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-samwise-add-mutation-features"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "f0f98a238c96618180743743f2a0fe38ce035de6da11b246dc296528a1616f87",
"md5": "3854e343bb72be4062ca37fb5778a27e",
"sha256": "af7f35b6c3d897c385611d1bc2eb630037d69961f657f1f95ebf7d7c93749c6c"
},
"downloads": -1,
"filename": "certora_cli_alpha_samwise_add_mutation_features-20230726.20.23.790285-py3-none-any.whl",
"has_sig": false,
"md5_digest": "3854e343bb72be4062ca37fb5778a27e",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 37709325,
"upload_time": "2023-07-26T20:24:01",
"upload_time_iso_8601": "2023-07-26T20:24:01.001154Z",
"url": "https://files.pythonhosted.org/packages/f0/f9/8a238c96618180743743f2a0fe38ce035de6da11b246dc296528a1616f87/certora_cli_alpha_samwise_add_mutation_features-20230726.20.23.790285-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "de874472200bf7fe7601bdc30ca5aeb77c86d99960b98900cafa90f94bc3c1d3",
"md5": "c01be46f49ea21e441ca891a560569b4",
"sha256": "8115b915455b4264de272e7bbcb0e9eaef1a3257e3456290058b26661504c610"
},
"downloads": -1,
"filename": "certora_cli_alpha_samwise_add_mutation_features-20230726.20.23.790285-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "c01be46f49ea21e441ca891a560569b4",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39262581,
"upload_time": "2023-07-26T20:24:08",
"upload_time_iso_8601": "2023-07-26T20:24:08.261669Z",
"url": "https://files.pythonhosted.org/packages/de/87/4472200bf7fe7601bdc30ca5aeb77c86d99960b98900cafa90f94bc3c1d3/certora_cli_alpha_samwise_add_mutation_features-20230726.20.23.790285-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "710605b267596853baa375e3fa45b03fa56302b3b48c23b44e5d82f39e328e0e",
"md5": "fc1b85e0e7789cbfb01621c77766cc31",
"sha256": "ab2350bc35f4477d5ad501c34a3603693b718f9d7544718e48c2e3defecdb728"
},
"downloads": -1,
"filename": "certora_cli_alpha_samwise_add_mutation_features-20230726.20.23.790285-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "fc1b85e0e7789cbfb01621c77766cc31",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39370795,
"upload_time": "2023-07-26T20:24:04",
"upload_time_iso_8601": "2023-07-26T20:24:04.780008Z",
"url": "https://files.pythonhosted.org/packages/71/06/05b267596853baa375e3fa45b03fa56302b3b48c23b44e5d82f39e328e0e/certora_cli_alpha_samwise_add_mutation_features-20230726.20.23.790285-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "c7cef2ce3971383dcfa83d8f4df1c43400675745fe53cc20e898282dc2cf46ed",
"md5": "3d0420bae70cce50f4d78cdddb58eb44",
"sha256": "f310b37acfa6f00ec786473b732f4ecfcd3453ca188a2e38da94b6fe7da325a9"
},
"downloads": -1,
"filename": "certora-cli-alpha-samwise-add-mutation-features-20230726.20.23.790285.tar.gz",
"has_sig": false,
"md5_digest": "3d0420bae70cce50f4d78cdddb58eb44",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 37693462,
"upload_time": "2023-07-26T20:24:11",
"upload_time_iso_8601": "2023-07-26T20:24:11.084905Z",
"url": "https://files.pythonhosted.org/packages/c7/ce/f2ce3971383dcfa83d8f4df1c43400675745fe53cc20e898282dc2cf46ed/certora-cli-alpha-samwise-add-mutation-features-20230726.20.23.790285.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-07-26 20:24:11",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-samwise-add-mutation-features"
}
JSON