Commit a63a2d1. 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-eytan-view_reentrency",
"name": "certora-cli-alpha-eytan-view-reentrency",
"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/bb/44/d911738865075540b7eee1fa605a28a010ab606bfaf079764e503a82ea5f/certora-cli-alpha-eytan-view_reentrency-20230521.11.8.373586.tar.gz",
"platform": null,
"description": "Commit a63a2d1. 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": "20230521.11.8.373586",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-eytan-view_reentrency"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "f108070601fb084d46dc5e53600b8ece013bb1e275ffb6300e7cb9adfc799896",
"md5": "a7b303eda385bb4028a046d407f4bd95",
"sha256": "77b5bf90408ffd20c42f6390810fe69a92c4152cb87ed1d66359730c5af62a5d"
},
"downloads": -1,
"filename": "certora_cli_alpha_eytan_view_reentrency-20230521.11.8.373586-py3-none-any.whl",
"has_sig": false,
"md5_digest": "a7b303eda385bb4028a046d407f4bd95",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39043715,
"upload_time": "2023-05-21T11:08:58",
"upload_time_iso_8601": "2023-05-21T11:08:58.475096Z",
"url": "https://files.pythonhosted.org/packages/f1/08/070601fb084d46dc5e53600b8ece013bb1e275ffb6300e7cb9adfc799896/certora_cli_alpha_eytan_view_reentrency-20230521.11.8.373586-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "bb44d911738865075540b7eee1fa605a28a010ab606bfaf079764e503a82ea5f",
"md5": "1a801924d3714c682eacfd4563979507",
"sha256": "1e24ad3056a15e2f3ca16376d2969241fb0117b623b5f89c00f29d0bab07c035"
},
"downloads": -1,
"filename": "certora-cli-alpha-eytan-view_reentrency-20230521.11.8.373586.tar.gz",
"has_sig": false,
"md5_digest": "1a801924d3714c682eacfd4563979507",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 39011138,
"upload_time": "2023-05-21T11:09:02",
"upload_time_iso_8601": "2023-05-21T11:09:02.580556Z",
"url": "https://files.pythonhosted.org/packages/bb/44/d911738865075540b7eee1fa605a28a010ab606bfaf079764e503a82ea5f/certora-cli-alpha-eytan-view_reentrency-20230521.11.8.373586.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-05-21 11:09:02",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-eytan-view-reentrency"
}
JSON