Releases: runtimeverification/mx-semantics
Releases · runtimeverification/mx-semantics
v0.1.119: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#331)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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]>