Skip to content

Releases: runtimeverification/mx-semantics

v0.1.119: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#331)

30 Oct 12:02
216530d
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version c9264b240c00d1f6cc20e22aac83c94d1a499138

* Set Version: 0.1.119

* kmultiversx/: sync poetry files 0.1.106

* deps/blockchain-k-plugin_release: sync release file version c9264b240c00d1f6cc20e22aac83c94d1a499138

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>

v0.1.118: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#330)

22 Oct 13:29
58ce9c6
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version a6b4c7d851afd9e2729901b515c6e699464611d7

* Set Version: 0.1.118

* kmultiversx/: sync poetry files 0.1.106

* deps/blockchain-k-plugin_release: sync release file version a6b4c7d851afd9e2729901b515c6e699464611d7

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>

v0.1.117: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#329)

21 Oct 08:02
0b50cb6
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 3492f6deff69f11b64e700cdb6305024fc0fac84

* Set Version: 0.1.117

* kmultiversx/: sync poetry files 0.1.106

* deps/blockchain-k-plugin_release: sync release file version 3492f6deff69f11b64e700cdb6305024fc0fac84

* flake.{nix,lock}: update Nix derivations

* kmultiversx/src/kmultiversx/kdist/plugin: Set Version f8f780a363c07c6a7e818fb10f12349e8e47e6cc

* kmultiversx/: sync poetry files 0.1.106

* deps/blockchain-k-plugin_release: sync release file version f8f780a363c07c6a7e818fb10f12349e8e47e6cc

* flake.{nix,lock}: update Nix derivations

* kmultiversx/src/kmultiversx/kdist/plugin: Set Version e6994c21c59dd2d15ddb97d5169d78aa6645a8fb

* kmultiversx/: sync poetry files 0.1.106

* deps/blockchain-k-plugin_release: sync release file version e6994c21c59dd2d15ddb97d5169d78aa6645a8fb

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>

v0.1.116: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#327)

24 Sep 17:02
531a335
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version f1f7edb7cb7286906fe42aa37d2106036cef849f

* Set Version: 0.1.116

* kmultiversx/: sync poetry files 0.1.106

* deps/blockchain-k-plugin_release: sync release file version f1f7edb7cb7286906fe42aa37d2106036cef849f

* flake.{nix,lock}: update Nix derivations

* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 9573fe0783b471d44d2bb93919fb521ada123f40

* kmultiversx/: sync poetry files 0.1.106

* deps/blockchain-k-plugin_release: sync release file version 9573fe0783b471d44d2bb93919fb521ada123f40

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>

v0.1.115: Update dependency: deps/kwasm_release (#326)

12 Sep 09:26
8944a54
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.105

* Set Version: 0.1.115

* kmultiversx/: sync poetry files 0.1.105

* deps/k_release: sync release file version 7.1.137

* flake.{nix,lock}: update Nix derivations

* deps/kwasm_release: Set Version 0.1.106

* kmultiversx/: sync poetry files 0.1.106

* deps/k_release: sync release file version 7.1.140

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>

v0.1.114: Update to latest k, bringing in recent nix architecture changes (#324)

09 Sep 15:38
16854c9
Compare
Choose a tag to compare
* update to latest k, bringing in recent nix arhitecture changes

* Set Version: 0.1.113

* cleanup

* Set Version: 0.1.114

---------

Co-authored-by: devops <[email protected]>

v0.1.113: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#325)

05 Sep 09:02
7e32753
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version a18c1d424957f794a1254d7e560712749c2aeb10

* Set Version: 0.1.113

* kmultiversx/: sync poetry files 0.1.95

* deps/blockchain-k-plugin_release: sync release file version a18c1d424957f794a1254d7e560712749c2aeb10

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>

v0.1.112: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#323)

29 Aug 09:02
42f4c41
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 69fdf830e3a98a8aa1118f84bd83723f1149468e

* Set Version: 0.1.112

* kmultiversx/: sync poetry files 0.1.95

* deps/blockchain-k-plugin_release: sync release file version 69fdf830e3a98a8aa1118f84bd83723f1149468e

* flake.{nix,lock}: update Nix derivations

* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 300c9cf567eba4c8c88675ff67ebd859795ee169

* kmultiversx/: sync poetry files 0.1.95

* deps/blockchain-k-plugin_release: sync release file version 300c9cf567eba4c8c88675ff67ebd859795ee169

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>

v0.1.111: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#322)

27 Aug 09:02
cf69d24
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 153c4a03f2493117467440386e549d8c748db6bf

* Set Version: 0.1.111

* kmultiversx/: sync poetry files 0.1.95

* deps/blockchain-k-plugin_release: sync release file version 153c4a03f2493117467440386e549d8c748db6bf

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>

v0.1.110: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#321)

23 Aug 09:25
a749b19
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 5d78fff8ccbe3bf2315e4e821397bbe284a9adeb

* Set Version: 0.1.110

* kmultiversx/: sync poetry files 0.1.95

* deps/blockchain-k-plugin_release: sync release file version 5d78fff8ccbe3bf2315e4e821397bbe284a9adeb

* flake.{nix,lock}: update Nix derivations

* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 44d875a9a36b14529c0bf40e7f36dc4f23429153

* kmultiversx/: sync poetry files 0.1.95

* deps/blockchain-k-plugin_release: sync release file version 44d875a9a36b14529c0bf40e7f36dc4f23429153

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>