issues
search
runtimeverification
/
kasmer-multiversx
Wasm semantics for the Elrond/MultiversX blockchain network
BSD 3-Clause "New" or "Revised" License
0
stars
0
forks
source link
Update dependency: deps/mx-semantics_release
#88
Closed
rv-jenkins
closed
6 months ago
rv-jenkins
commented
6 months ago
Contains changes for:
https://github.com/runtimeverification/pyk/pull/928
Contains changes for: