Closed ehildenb closed 3 years ago
Fixes: makerdao/mkr-mcd-spec#234
Blocked on: https://github.com/kframework/evm-semantics/pull/978 and https://github.com/makerdao/klab/pull/12
Then the submodules deps/evm-semantics and deps/klab must be updated.
deps/evm-semantics
deps/klab
Fixes: makerdao/mkr-mcd-spec#234
Blocked on: https://github.com/kframework/evm-semantics/pull/978 and https://github.com/makerdao/klab/pull/12
Then the submodules
deps/evm-semanticsanddeps/klabmust be updated.