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

Clean separation of representation of Wad/Ray/Rad #182

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

There were still some issues with changing the underlying representation of these data-types, so this refactors to make it easier. Basic changes include: