makerdao k-dss issues - Githubissues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Use KEVM provex

#30 ehildenb closed 3 years ago
0
Small updates to build system

#29 ehildenb closed 3 years ago
0
Update deps: deps/evm-semantics

#28 ehildenb opened 3 years ago
0
README: install instructions for Solidity and DappHub Toolkit

#27 ehildenb closed 3 years ago
2
Update to use newest KEVM installation setup

#26 ehildenb closed 3 years ago
0
Updates for newest KEVM and KLab

#25 ehildenb closed 3 years ago
0
Spec updates

#24 ehildenb closed 3 years ago
1
Write gas script

#23 ehildenb closed 3 years ago
2
Updates to K-DSS from RV

#22 ehildenb closed 3 years ago
0
Some spec fixes

#21 ehildenb closed 4 years ago
0
Submodule kevm

#20 ehildenb closed 3 years ago
3
Hardcode gas on some proofs

#19 nanexcool closed 4 years ago
0
Staging

#18 nanexcool closed 4 years ago
0
KEVM Upgrade Path

#17 ehildenb opened 4 years ago
1
Merge some stuff into final-update

#16 kmbarry1 closed 4 years ago
2
Fix a few issues in the specs

#15 kmbarry1 closed 4 years ago
0
Pin z3 to 6ec8fe0 of nixpkgs

#14 icetan closed 4 years ago
0
Adding flapper tick logic

#13 andy8052 closed 5 years ago
1
Upgrade dss dependency + compiling with solc 0.5.12

#12 gbalabasquer closed 5 years ago
0
Vow cage

#11 kmbarry1 closed 5 years ago
0
Added dump and pot

#10 andy8052 closed 5 years ago
4
Update dss to latest master

#9 nanexcool closed 5 years ago
0
add auth requirement to Flipper.kick

#8 kmbarry1 closed 5 years ago
0
fix cage-ilk proofs

#7 kmbarry1 closed 5 years ago
0
Spotter proofs

#6 kmbarry1 closed 5 years ago
2
Update Makefile build to 0.5.11

#5 brianmcmichael closed 5 years ago
2
Fix Pot_rpow-loop_pass

#4 kmbarry1 closed 5 years ago
3
Fix some End proofs

#3 kmbarry1 closed 5 years ago
0
Fix Pot_live_pass_rough proof

#2 kmbarry1 closed 5 years ago
2
Performative confessional condolences

#1 nanexcool closed 5 years ago
0