________ ________ ________ ________ ________ ________ ________ ________
|\ _____\\ __ \|\ __ \|\ ___ \|\ _____\\ __ \|\ __ \|\ ___ \
\ \ \__/\ \ \|\ \ \ \|\ \ \ \\ \ \ \ \__/\ \ \|\ \ \ \|\ \ \ \\ \ \
\ \ __\\ \ _ _\ \ __ \ \ \\ \ \ \ __\\ \ _ _\ \ __ \ \ \\ \ \
\ \ \_| \ \ \\ \\ \ \ \ \ \ \\ \ \ \ \_| \ \ \\ \\ \ \ \ \ \ \\ \ \
\ \__\ \ \__\\ _\\ \__\ \__\ \__\\ \__\ \__\ \ \__\\ _\\ \__\ \__\ \__\\ \__\
\|__| \|__|\|__|\|__|\|__|\|__| \|__|\|__| \|__|\|__|\|__|\|__|\|__| \|__|
ifrostizz / evm-semantics Goto Github PK
View Code? Open in Web Editor NEWThis project forked from runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
License: BSD 3-Clause "New" or "Revised" License