search

makerdao / k-dss

formal verification of multicollateral dai in the K framework
GNU Affero General Public License v3.0
14 stars 11 forks source link

Upgrade dss dependency + compiling with solc 0.5.12 #12

Closed gbalabasquer closed 5 years ago