Giters

dapphub / k-dss

formal verification of multicollateral dai in the K framework

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Test against CONSTANTINOPLE semantics

livnev opened this issue · comments

commented

Rebase klab on top of CONSTANTINOPLE evm-semantics and test if everything still works. Gas expressions will change due to the gas metering update, no other semantic changes expected...