search

runtimeverification / iele-semantics

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

Update dependency: deps/k_release #341

Closed rv-jenkins closed 2 years ago

Baltoli commented 2 years ago

Closing so that the automerger doesn't get confused by #346