Factual package intelligence from PyPI

halmos 0.3.3 package intelligence

A symbolic testing tool for EVM smart contracts

pip install halmos

Current version
0.3.3
Python requirement
>=3.11
License
GNU Affero General Public License v3
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
507.0 KiB
Release history
35 releases with files
Median release cadence
18 days

halmos dependencies

PyPI declares 13 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. sortedcontainers >=2.4.0
  2. toml >=0.10.2
  3. z3-solver ==4.12.6.0
  4. eth_hash >=0.7.0
  5. rich <14.1.0,>=14.0.0
  6. xxhash >=3.5.0
  7. psutil >=6.1.0
  8. requests >=2.32.3
  9. yices-solver <2.6.5,>=2.6.4
  10. python-dotenv >=1.1.0

Compatibility and release files

halmos publishes 1 wheel and 1 source archive for version 0.3.3. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Release activity and sources

PyPI lists 35 releases with files. The first dated release is ; 12 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .