search

runtimeverification / iele-semantics

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

update k submodule #170

Closed dwightguth closed 5 years ago

ehildenb commented 5 years ago

@dwightguth make sure you agree with the modifications to the k-deps target.