Releases: runtimeverification/mx-semantics
Releases · runtimeverification/mx-semantics
v0.1.29: Update dependency: deps/kwasm_release (#230)
* deps/kwasm_release: Set Version 0.1.29 * Set Version: 0.1.29 * deps/wasm-semantics: update submodule v0.1.29 * kmultiversx/: sync poetry files 0.1.29 * Migrate build to `kdist` * kmultiversx/: sync poetry files 0.1.29 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Tamás Tóth <[email protected]>
v0.1.28: Update dependency: deps/kwasm_release (#229)
* deps/kwasm_release: Set Version 0.1.26 * Set Version: 0.1.28 * deps/wasm-semantics: update submodule v0.1.26 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.26 --------- Co-authored-by: devops <[email protected]>
v0.1.27: Update dependency: deps/plugin (#220)
* deps/plugin: Set Version 5aa6993fab90675d971b8b98b3430d11f1ec2a2b * Simplify `blockchain-k-plugin` build * Set Version: 0.1.27 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Tamás Tóth <[email protected]>
v0.1.26: Update dependency: deps/kwasm_release (#228)
* deps/kwasm_release: Set Version 0.1.25 * Set Version: 0.1.26 * deps/wasm-semantics: update submodule v0.1.25 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.25 --------- Co-authored-by: devops <[email protected]>
v0.1.25: Update dependency: deps/kwasm_release (#227)
* deps/kwasm_release: Set Version 0.1.24 * Set Version: 0.1.25 * deps/wasm-semantics: update submodule v0.1.24 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.24 --------- Co-authored-by: devops <[email protected]>
v0.1.24: Update dependency: deps/kwasm_release (#226)
* deps/kwasm_release: Set Version 0.1.22 * Set Version: 0.1.24 * deps/wasm-semantics: update submodule v0.1.22 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.22 * deps/kwasm_release: Set Version 0.1.23 * deps/wasm-semantics: update submodule v0.1.23 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.23 --------- Co-authored-by: devops <[email protected]>
v0.1.23: Update dependency: deps/kwasm_release (#225)
* deps/kwasm_release: Set Version 0.1.21 * Set Version: 0.1.23 * deps/wasm-semantics: update submodule v0.1.21 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.21 --------- Co-authored-by: devops <[email protected]>
v0.1.22: Update dependency: deps/kwasm_release (#223)
* deps/kwasm_release: Set Version 0.1.20 * Set Version: 0.1.22 * deps/wasm-semantics: update submodule v0.1.20 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.20 --------- Co-authored-by: devops <[email protected]>
v0.1.21: Update dependency: deps/kwasm_release (#222)
* deps/kwasm_release: Set Version 0.1.19 * Set Version: 0.1.21 * deps/wasm-semantics: update submodule v0.1.19 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.19 --------- Co-authored-by: devops <[email protected]>
v0.1.20: Update dependency: deps/kwasm_release (#221)
* deps/kwasm_release: Set Version 0.1.18 * Set Version: 0.1.20 * deps/wasm-semantics: update submodule v0.1.18 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.18 --------- Co-authored-by: devops <[email protected]>