search

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain
Other
131 stars 33 forks source link

Update dependency: deps/k_release #234

Closed rv-jenkins closed 3 years ago

dwightguth commented 3 years ago

Looks like this is failing because you're not copying the new file macros.kore into the install directory, @ehildenb .

ehildenb commented 3 years ago

https://github.com/kframework/evm-semantics/pull/950

ehildenb commented 3 years ago

https://github.com/kframework/evm-semantics/pull/963