Sign in Sign up
pypi

halmos

A symbolic testing tool for EVM smart contracts

Latest release
Jul 31, 2025
Releases
35
Known CVEs
0
First release
Jan 31, 2023
License
AGPL-3.0
View on Pypi
Repository

Source

a16z/halmos
Stars
—
Forks
—
Open issues
—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

No other tracked packages from this repository.

Insights

Activity

Total releases
35
Last 12 months
3
Cadence
~17 days
Dependencies
13

Releases per month

last 12 months

Release mix

  • minor 3
  • patch 31
35 releases
Dependencies

Depends on

0.3.3
  • pypi eth-hash >=0.7.0
  • pypi pre-commit >=4.0.1
  • pypi psutil >=6.1.0
  • pypi pytest >=8.3.4
  • pypi python-dotenv >=1.1.0
  • pypi requests >=2.32.3
  • pypi rich <14.1.0,>=14.0.0
  • pypi ruff >=0.8.1
  • pypi sortedcontainers >=2.4.0
  • pypi toml >=0.10.2
1–10 of 13

Used by

1
Releases
Version Released
0.3.3 patch
0.3.2 patch
0.3.1 patch
0.3.0 minor
0.2.6 patch
0.2.5 patch
0.2.4 patch
0.2.3 patch
0.2.2 patch
0.2.1 patch
0.2.0 minor
0.1.14 patch
0.1.13 patch
0.1.12 patch
0.1.11 patch
0.1.10 patch
0.1.9 patch
0.1.8 patch
0.1.7 patch
0.1.6 patch
1–20 of 35