issues
search
runtimeverification
/
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
BSD 3-Clause "New" or "Revised" License
509
stars
144
forks
source link
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2629
Closed
rv-jenkins
closed
2 months ago