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

Update dependency: deps/k #209

Closed rv-jenkins closed 3 years ago

ehildenb commented 3 years ago

Blocked on: https://github.com/kframework/k/pull/1874/files