Update dependency: deps/mx-semantics_release

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 #181

Open rv-jenkins opened 3 months ago

goodlyrottenapple commented 2 months ago

~currently blocked on https://github.com/runtimeverification/mx-semantics/pull/324~

goodlyrottenapple commented 1 month ago

@bbyalcinkaya there seem to be some issues with types with the latest kwasm/k. Would you be able to take a look? I think the nix stuff should work now