runtimeverification / evm-semantics
git clone https://github.com/runtimeverification/evm-semantics.git
K Semantics of the Ethereum Virtual Machine (EVM)
+0
stars, 24h · #39,306
+~0
stars, 7 days · #39,380
+~0
stars, 30 days · #39,518
595
★ total
158
forks · 85 open issues
Star history (as recorded here)
LanguageKCL
LicenseBSD-3-Clause
Created2016-10-03 (10y ago)
Last push16d ago
OwnerOrganization