Build <kevm/> cell into specification

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation

GNU General Public License v3.0

28 stars 9 forks source link

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

This PR does the requisite renaming of variables and such needed to make it possible to build KMCD with KEVM combined.

Blocked on: kframework/evm-semantics#1040 (then subsequent KEVM submodule bump)