search

dapphub / k-dss

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

CallDepth, Makefile with persistent working dir, other make targets #26

Closed livnev closed 6 years ago

livnev commented 6 years ago

Incorporates #22 and more.