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

Fixed point representation for Wad/Ray/Rad #184

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

This switches the underlying type of Wad/Ray/Rad to FInt, a new fixed-point integer representation.

ehildenb commented 4 years ago

This is now blocked on a K frontend issue: https://github.com/kframework/k/issues/1273