Skip to content

Releases: runtimeverification/mx-semantics

v0.1.29: Update dependency: deps/kwasm_release (#230)

15 Apr 07:42
3bec0b0
Compare
Choose a tag to compare
* 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)

11 Apr 14:26
43ae767
Compare
Choose a tag to compare
* 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)

08 Apr 16:43
2d98578
Compare
Choose a tag to compare
* 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)

05 Apr 23:03
f5541f0
Compare
Choose a tag to compare
* 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)

04 Apr 22:03
3aea03b
Compare
Choose a tag to compare
* 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)

04 Apr 15:43
fe0a5fd
Compare
Choose a tag to compare
* 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)

01 Apr 07:23
707ad8f
Compare
Choose a tag to compare
* 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)

28 Mar 16:27
e523076
Compare
Choose a tag to compare
* 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)

26 Mar 22:26
e4fb596
Compare
Choose a tag to compare
* 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)

26 Mar 20:04
0c3a36f
Compare
Choose a tag to compare
* 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]>