Loreon
Labs
Platform
Docs
Home
Ecosystems
Haskell
hevm
symbolic EVM evaluator
Haskell
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
6mo ago
Recent commits
Latest commits.
Merge pull request #4 from msooseth/fix-release2
c11da66
Mate Soos @ Argot
6mo ago
Symbolic execution queue should be used to run SMT as well (#934)
137355e
Mate Soos @ Argot
7mo ago
This fixes release due to directory being too high
1f5e709
Mate Soos
7mo ago
Symbolic execution queue (#906)
d28f99c
Mate Soos @ Argot
7mo ago
Merge pull request #930 from gin/fix-doc
1fc2009
blishko
7mo ago
Fix doc
b7f17ba
Luigi
7mo ago
Merge pull request #912 from argotorg/simplify-gas-computation
db8e7b6
Mate Soos @ Argot
7mo ago
Merge pull request #925 from argotorg/rpc-refactor
71c8753
Mate Soos @ Argot
7mo ago
Top contributors
Builders behind this project.
msooseth
1.5K commits
d-xo
1.3K commits
mbrock
770 commits
MrChico
635 commits
dbrock
330 commits
rainbreak
255 commits
asymmetric
215 commits
arcz
206 commits
