dapphub / k-dss

formal verification of multicollateral dai in the K framework

dapphub/k-dss Issues

`make` fails with a type error in internal/fs/utils.js
Closed 4 years ago3
Installation issues
Updated 5 years ago
can i haz a solc version freeze plz :(
Closed 5 years ago4
Handling of necessary and sufficient gas conditions
Closed 5 years ago1
CI: doesn't always report success to Github
Closed 5 years ago
Deal with implicitly distinct storage keys
Closed 5 years ago2
Test against CONSTANTINOPLE semantics
Closed 5 years ago
Verification of set up process / authorization exhaustiveness
Updated 6 years ago8
Higher level goal: Striving to eliminate non-standard models of `dss`
Updated 6 years ago
One last spec to show that behaviours are exhaustive
Updated 6 years ago
Prove invariants with `ensures`
Updated 6 years ago
abi2specs: `ABI_` prefixing can be overzealous
Closed 6 years ago2
abi2spec
Closed 6 years ago3
Dependency specification
Closed 6 years ago1