issues
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
Subsorted all contract function calls
#249
Open
0xverif
opened
3 years ago
0xverif
commented
3 years ago
Fixes: #246
Fixes: #246