Wheelodex » Projects » halmos

halmos

View on PyPI — Reverse Dependencies (0)

0.2.1 halmos-0.2.1-py3-none-any.whl

Wheel Details

Project: halmos
Version: 0.2.1
Filename: halmos-0.2.1-py3-none-any.whl
Download: [link]
Size: 105925
MD5: 9cd5f7650191937c954710f5915d2bca
SHA256: 0f2deec346d8750d19e47be9966ecbdcc40622d4aab11de79d582738d0372ad9
Uploaded: 2024-11-14 01:22:04 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: halmos
Version: 0.2.1
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)
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 4264 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (75.5.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=YP2avQRIrweapI1ws43b1NYWUCO0WdPPDYYv7nWXsJQ 45374
halmos/assertions.py sha256=K_Ii9WukX4ks8F81DxUMd_Z25rH3juLPy5V-QJ6nat0 10731
halmos/bytevec.py sha256=Sgo5VBptYGskhYIBacdkfzuYsy8D8BgUV38ZnEyS3DA 25648
halmos/calldata.py sha256=mnnbG2d0TE5v8_lRg6t0MIvHffha-AKH_EBJhyoxnxI 10371
halmos/cheatcodes.py sha256=joJaCoMEbkqu5x9KAknr_wbj3BPYioOIEw8nIUEWbhY 28919
halmos/config.py sha256=SIlNUvHQdCL_o0OR9KlYC24iY65OBWLPX5gFfj4hN8k 26104
halmos/console.py sha256=OBqkWaQ6BGtXrXZHBlb2J9dHf2hxe3rdICsc86aB2-8 3370
halmos/exceptions.py sha256=FlIBs7GM2yRzSwNYId0aJEUqy1rsZdVHUgHRgtJdf5Q 3384
halmos/mapper.py sha256=nhbuntKAjyZxdrgjFk-T2ldwFOWlaPrHC6aZrXwbITM 9458
halmos/sevm.py sha256=MKLqSl8v5SpYKkfeB3-KWdYIuJJwcDzcIdwkVmny4-g 108910
halmos/utils.py sha256=Fsa99Oy6Zr6eAmKDoqpR7DIHrUGHWKQqTvQPRwcZvLo 44281
halmos/warnings.py sha256=M0oZWvbIOb_-N9GQF2oUL4Kgw0Biztr6NFXSupckzJE 840
halmos-0.2.1.dist-info/LICENSE sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8 34523
halmos-0.2.1.dist-info/METADATA sha256=1uTiFAJu0zLiY_yaTgTWqXFwlxphx8y6qQFe-OXKYjo 4900
halmos-0.2.1.dist-info/WHEEL sha256=R06PA3UVYHThwHvxuRWMqaGcr-PuniXahwjmQRFMEkY 91
halmos-0.2.1.dist-info/entry_points.txt sha256=bLGXZ_QVLIInChrIeGWY8OkRaACcnV0pXWZOTOQjJrA 48
halmos-0.2.1.dist-info/top_level.txt sha256=mcJepWoAWet35tnvVuCGzCySkzn3rTQ7m2wjWF9wxhk 7
halmos-0.2.1.dist-info/RECORD — —

top_level.txt

halmos

entry_points.txt

[console_scripts]
halmos = halmos.__main__:main