argotorg/hevm
View on GitHubSymbolic and concrete EVM execution engine
- Stars
- 358
- Forks
- 79
- Open beginner issues
- 0
- Indexed issues
- 51
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 6
- Dominant language
- Haskell
- License
- AGPL-3.0
- Last GitHub push
- Sep 9, 2026
- Latest indexed
- Sep 14, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
Fully abstract VM Openenhancement
-
enhancement
-
enhancement
argotorg/hevm#194 · 4 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#229 · 0 comments · 0 reactions · 0 assignees ·
-
low-priority
argotorg/hevm#243 · 5 comments · 0 reactions · 0 assignees ·
-
enhancement
argotorg/hevm#254 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
enhancement
argotorg/hevm#334 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement in progress
argotorg/hevm#383 · 10 comments · 0 reactions · 0 assignees ·
-
enhancement
argotorg/hevm#386 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
enhancement
-
enhancement
argotorg/hevm#454 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
enhancement
argotorg/hevm#523 · 2 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#533 · 5 comments · 0 reactions · 0 assignees ·
-
Ideas to investigate Openenhancement
-
enhancement
argotorg/hevm#581 · 10 comments · 0 reactions · 1 assignee ·
-
enhancement
argotorg/hevm#586 · 3 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#604 · 0 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#605 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
blocked
argotorg/hevm#651 · 5 comments · 0 reactions · 0 assignees ·
-
low-priority
argotorg/hevm#669 · 3 comments · 0 reactions · 0 assignees ·
-
blocked enhancement
argotorg/hevm#697 · 6 comments · 0 reactions · 0 assignees ·
-
enhancement
-
enhancement
argotorg/hevm#752 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement low-priority
argotorg/hevm#759 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
enhancement
argotorg/hevm#807 · 11 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#829 · 11 comments · 0 reactions · 1 assignee ·
-
argotorg/hevm#848 · 6 comments · 0 reactions · 0 assignees ·
-
blocked
-
enhancement
-
enhancement
argotorg/hevm#868 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
argotorg/hevm#938 · 3 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#944 · 0 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#951 · 0 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#952 · 0 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#953 · 0 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#957 · 4 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#995 · 6 comments · 0 reactions · 0 assignees ·
-
enhancement
argotorg/hevm#1000 · 2 comments · 0 reactions · 0 assignees ·
-
argotorg/hevm#1064 · 1 comment · 0 reactions · 0 assignees ·
-
bug
argotorg/hevm#1084 · 0 comments · 0 reactions · 0 assignees ·