search

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

Setup KLab (and K-DSS) to use packaged K #234

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

Now that we have #210, K-DSS (instructions and build system) should be setup to use the KEVM package.