issues
search
runtimeverification
/
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
BSD 3-Clause "New" or "Revised" License
506
stars
140
forks
source link
Update dependency: deps/k_release
#2631
Closed
rv-jenkins
closed
6 days ago