Package KEVM for standalone installations

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

Package KEVM for standalone installations #210

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

Right now you need to build KEVM from source to be able to use it for verifying the K-DSS system.

This will focus on packaging KEVM in a way that it can be installed standalone to make it easier for devs to get up and running with the K-DSS proofs.