halmos
A symbolic testing tool for EVM smart contracts
Activity
- Latest release
- 1y ago
- Total releases
- 35
- Cadence
- ~17 days
- Last 12 months
- 0
Details
- License
- AGPL-3.0
- First release
- Jan 31, 2023
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
| ||
0.1.5
patch
| ||
0.1.4
patch
| ||
0.1.3
patch
| ||
0.1.2
patch
| ||
0.1.1
patch
| ||
0.1.0
minor
| ||
0.0.9
patch
| ||
0.0.8
patch
| ||
0.0.7
patch
| ||
0.0.6
patch
| ||
0.0.5
patch
| ||
0.0.4
patch
| ||
0.0.3
patch
| ||
0.0.2
patch
| ||
0.0.1
initial
|