Summarizer on Maker Contracts

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

Open 0xverif opened 2 years ago

0xverif commented 2 years ago

[ ] Pass all K-DSS tests on Haskell Backend ( add relevant lemmas to semantics )
[ ] Try running the Vat on the Summarizer