Wheelodex » Projects » halmos

halmos

View on PyPI — Reverse Dependencies (0)

0.2.6 halmos-0.2.6-py3-none-any.whl

Wheel Details

Project: halmos
Version: 0.2.6
Filename: halmos-0.2.6-py3-none-any.whl
Download: [link]
Size: 120909
MD5: 0300570126bb36b9ce6eed8b68873c15
SHA256: d127ce3729fcfaa9b7eceb681135c62b975fd4f6783c21a677604f5b8e23fa2b
Uploaded: 2025-02-19 23:15:14 +0000

dist-info

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

METADATA

Metadata-Version: 2.2
Name: halmos
Version: 0.2.6
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: psutil (>=6.1.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: 4954 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (75.8.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=lI11dpZXGS-ObrwYpUKYy1w4HdxxH1RqE8gZIyszWBA 29633
halmos/assertions.py sha256=1MsaUtj4dZeo26lLGbZOU1LSqoRg_03gRk5AVeZLlq8 10719
halmos/build.py sha256=27h66eCOxQepcnyH7ZovvrvVLJABeqazreUOcThDESM 6021
halmos/bytevec.py sha256=JYqkSlqSQ55Kd0b9USMhn0DGIEEo24JCwp3VOii3WFU 25661
halmos/calldata.py sha256=k6b1vKJX4xZJZdsSTvzYC-qRI6MIizYScmcqVgxWiEg 10352
halmos/cheatcodes.py sha256=dBQAGPxgpbNwK1jJMzsaeaam-VFfZPwKGXQjtu7PqUI 31111
halmos/config.py sha256=pkV1TNCWTZZZLlRJkuHx7atqZ_mACSpFuQDE6wm5Fyg 28088
halmos/console.py sha256=b9rBRgZsM-KE6z7UHo_WzXns60Bg6xL3TqNa9Mf0A24 3392
halmos/constants.py sha256=XRAt5QNf8I6XxVf2Jed7pxRUAT9fN0AEnySEBLO_syE 119
halmos/exceptions.py sha256=FlIBs7GM2yRzSwNYId0aJEUqy1rsZdVHUgHRgtJdf5Q 3384
halmos/logs.py sha256=eh_nqsk7ZKcSJyaSeig67McO-DUpmTRS_XP5RbZQFPk 2033
halmos/mapper.py sha256=27OBaazrLxJv4-C_I5MO7wuq1-EUGStL13uihRdrQRc 14048
halmos/memtrace.py sha256=BPz3QXe1hcZLS2n9vYzC33XNTfdl6Dr_IAaxRZ2t8Hg 5189
halmos/processes.py sha256=BInEeexzbViUrB7kDGGIjB28qGdFNK9AE1VdBskDUjY 7722
halmos/sevm.py sha256=IvmiuY7jahot06G56Ks1RTkpgvMlAmOJz5HEhaFpNxk 115497
halmos/solve.py sha256=_BjfIUrS0QSACDDyltEpCPkebApTHwpx3Pu32gyKHYM 16223
halmos/traces.py sha256=bpdeb0yYBf2oMYud045V4fKvphTISp8PgIDl7YsXxW8 6455
halmos/utils.py sha256=G93dOnjTJhCHo-AZF6jCIGyIU48nzNsTFmZkz5Rynrw 44318
halmos-0.2.6.dist-info/LICENSE sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8 34523
halmos-0.2.6.dist-info/METADATA sha256=sHDLRC1f1dodZ_uGU9-8nN0GOZ_paVnnCqsjPxJWEqY 5831
halmos-0.2.6.dist-info/WHEEL sha256=In9FTNxeP60KnTkGw7wk6mJPYd_dQSjEZmXdBdMCI-8 91
halmos-0.2.6.dist-info/entry_points.txt sha256=bLGXZ_QVLIInChrIeGWY8OkRaACcnV0pXWZOTOQjJrA 48
halmos-0.2.6.dist-info/top_level.txt sha256=mcJepWoAWet35tnvVuCGzCySkzn3rTQ7m2wjWF9wxhk 7
halmos-0.2.6.dist-info/RECORD — —

top_level.txt

halmos

entry_points.txt

[console_scripts]
halmos = halmos.__main__:main