Wheelodex » Projects » halmos

halmos

View on PyPI — Reverse Dependencies (0)

0.2.3 halmos-0.2.3-py3-none-any.whl

Wheel Details

Project: halmos
Version: 0.2.3
Filename: halmos-0.2.3-py3-none-any.whl
Download: [link]
Size: 109762
MD5: 2bbf3dbc441ea7d31797532c670f0d7a
SHA256: b9b5fc14608af8e43307d0d6e7cc9e2bdd48d3c170dc690292e61143ee12fede
Uploaded: 2024-12-18 19:37:39 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: halmos
Version: 0.2.3
Summary: A symbolic testing tool for EVM smart contracts
Author: a16z crypto
Maintainer: Daejun Park, karmacoma <karma@coma.lol>
Project-Url: Homepage, https://github.com/a16z/halmos
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: GNU Affero General Public License v3
Classifier: Operating System :: OS Independent
Requires-Python: >=3.11
Requires-Dist: sortedcontainers (>=2.4.0)
Requires-Dist: toml (>=0.10.2)
Requires-Dist: z3-solver (==4.12.6.0)
Requires-Dist: eth_hash[pysha3] (>=0.7.0)
Requires-Dist: rich (>=13.9.4)
Requires-Dist: xxhash (>=3.5.0)
Requires-Dist: pre-commit (>=4.0.1); extra == "dev"
Requires-Dist: pytest (>=8.3.4); extra == "dev"
Requires-Dist: ruff (>=0.8.1); extra == "dev"
Provides-Extra: dev
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 4924 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (75.6.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
halmos/__init__.py sha256=-Fy7V8RZspwVScrp_8_wreEOxxdQ3I95Se9CGvPvz6s 36
halmos/__main__.py sha256=E3FPFWOf3104l_gu4GRyO39-jR6XnjAbSYAfmqOkzNc 46073
halmos/assertions.py sha256=1MsaUtj4dZeo26lLGbZOU1LSqoRg_03gRk5AVeZLlq8 10719
halmos/bytevec.py sha256=JYqkSlqSQ55Kd0b9USMhn0DGIEEo24JCwp3VOii3WFU 25661
halmos/calldata.py sha256=k6b1vKJX4xZJZdsSTvzYC-qRI6MIizYScmcqVgxWiEg 10352
halmos/cheatcodes.py sha256=UnYHWiz7YIje6hI2Y8CN4QS3dH8IkkT4Tm7vnKIB7CY 31114
halmos/config.py sha256=UIYe19MeDzzpXl5p2MYH4VPFvCp-iHCrL-4kDRSyMeI 26400
halmos/console.py sha256=b9rBRgZsM-KE6z7UHo_WzXns60Bg6xL3TqNa9Mf0A24 3392
halmos/exceptions.py sha256=FlIBs7GM2yRzSwNYId0aJEUqy1rsZdVHUgHRgtJdf5Q 3384
halmos/logs.py sha256=1HWYf-ZKktUSrYQMLCImZYKiQoc8DqocCH6WWRj16Eg 1695
halmos/mapper.py sha256=nhbuntKAjyZxdrgjFk-T2ldwFOWlaPrHC6aZrXwbITM 9458
halmos/memtrace.py sha256=BPz3QXe1hcZLS2n9vYzC33XNTfdl6Dr_IAaxRZ2t8Hg 5189
halmos/sevm.py sha256=CUkIVefQvrFf_ADfHtsrs3W6FIJNMn-KlBIxsYJ75Lo 110806
halmos/utils.py sha256=eUF4m9zVb58_aCYJCUguVSRXhomgxQE77NNfx1MOAtU 44052
halmos-0.2.3.dist-info/LICENSE sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8 34523
halmos-0.2.3.dist-info/METADATA sha256=nceL-4AvRZN8fIp79Y3W6HrX6TNk7hmGv2S1JVQqXWc 5772
halmos-0.2.3.dist-info/WHEEL sha256=PZUExdf71Ui_so67QXpySuHtCi3-J3wvF4ORK6k_S8U 91
halmos-0.2.3.dist-info/entry_points.txt sha256=bLGXZ_QVLIInChrIeGWY8OkRaACcnV0pXWZOTOQjJrA 48
halmos-0.2.3.dist-info/top_level.txt sha256=mcJepWoAWet35tnvVuCGzCySkzn3rTQ7m2wjWF9wxhk 7
halmos-0.2.3.dist-info/RECORD — —

top_level.txt

halmos

entry_points.txt

[console_scripts]
halmos = halmos.__main__:main