Commit b6234bf. 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-CVL_rewrite",
"name": "certora-cli-alpha-CVL-rewrite",
"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/9b/b4/cd6519b0ab517993f9d96a81bd93e6af1a2ac639778ad91f89aa59256fc7/certora-cli-alpha-CVL_rewrite-20230330.12.28.586030.tar.gz",
"platform": null,
"description": "Commit b6234bf. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.\n\n",
"bugtrack_url": null,
"license": "",
"summary": "Runner for the Certora Prover",
"version": "20230330.12.28.586030",
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "7966a5594ca9de254344a78fb2044a069357a4aabe1a267fe8202863af06064a",
"md5": "b6487af2c748f3ea2c576e2fc190b2cb",
"sha256": "2b8df34333e33e49722232f0c8d755ae5689c6a4b88fc6575bfa733913dc34cd"
},
"downloads": -1,
"filename": "certora_cli_alpha_CVL_rewrite-20230330.12.28.586030-py3-none-any.whl",
"has_sig": false,
"md5_digest": "b6487af2c748f3ea2c576e2fc190b2cb",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 27949716,
"upload_time": "2023-03-30T12:28:20",
"upload_time_iso_8601": "2023-03-30T12:28:20.703421Z",
"url": "https://files.pythonhosted.org/packages/79/66/a5594ca9de254344a78fb2044a069357a4aabe1a267fe8202863af06064a/certora_cli_alpha_CVL_rewrite-20230330.12.28.586030-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9bb4cd6519b0ab517993f9d96a81bd93e6af1a2ac639778ad91f89aa59256fc7",
"md5": "aa7069a352ebca83205da5bd86be3520",
"sha256": "fe4acf66dc59b0635a584d2792b894d290a9e97978db3fc6c6c658dd7c5e63c5"
},
"downloads": -1,
"filename": "certora-cli-alpha-CVL_rewrite-20230330.12.28.586030.tar.gz",
"has_sig": false,
"md5_digest": "aa7069a352ebca83205da5bd86be3520",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 27914243,
"upload_time": "2023-03-30T12:28:24",
"upload_time_iso_8601": "2023-03-30T12:28:24.304600Z",
"url": "https://files.pythonhosted.org/packages/9b/b4/cd6519b0ab517993f9d96a81bd93e6af1a2ac639778ad91f89aa59256fc7/certora-cli-alpha-CVL_rewrite-20230330.12.28.586030.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-03-30 12:28:24",
"github": false,
"gitlab": false,
"bitbucket": false,
"lcname": "certora-cli-alpha-cvl-rewrite"
}
JSON