Fix a few issues in the specs

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

Closed kmbarry1 closed 4 years ago

kmbarry1 commented 4 years ago

update Cat.bite proofs for no liquidations when spot == 0 and Flipper.kick authorization
update Vow.cage and End.cage proofs due to change to Flopper.cage
add Flopper.Vow proof