Releases: runtimeverification/mx-semantics
Releases · runtimeverification/mx-semantics
v0.1.109: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#318)
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 3eefb763b85c33fed80da6c7cdeb4c7dd297668c * Set Version: 0.1.108 * kmultiversx/: sync poetry files 0.1.95 * deps/blockchain-k-plugin_release: sync release file version 3eefb763b85c33fed80da6c7cdeb4c7dd297668c * flake.{nix,lock}: update Nix derivations * kmultiversx/src/kmultiversx/kdist/plugin: Set Version 7a480319603205bee3d28c4ea058d917c1920760 * kmultiversx/: sync poetry files 0.1.95 * deps/blockchain-k-plugin_release: sync release file version 7a480319603205bee3d28c4ea058d917c1920760 * flake.{nix,lock}: update Nix derivations * kmultiversx/src/kmultiversx/kdist/plugin: Set Version 64bb64b6c908c15b3dfe67ace70936b7d3913672 * Set Version: 0.1.109 * kmultiversx/: sync poetry files 0.1.95 * deps/blockchain-k-plugin_release: sync release file version 64bb64b6c908c15b3dfe67ace70936b7d3913672 * flake.{nix,lock}: update Nix derivations * Simplify `plugin` build * kmultiversx/: sync poetry files 0.1.95 * fix cmd2 deps & format flake * Add `boost` to `flake.nix` --------- Co-authored-by: devops <[email protected]> Co-authored-by: Tamás Tóth <[email protected]> Co-authored-by: Sam Balco <[email protected]>
v0.1.108: Fix lambda type for KompileTarget (#320)
* Fix lambda type for KompileTarget * Set Version: 0.1.108 --------- Co-authored-by: devops <[email protected]>
v0.1.107: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#316)
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 415b8ce8fa594f41ce3a3f29fc83e954284f81cf * Set Version: 0.1.107 * kmultiversx/: sync poetry files 0.1.95 * deps/blockchain-k-plugin_release: sync release file version 415b8ce8fa594f41ce3a3f29fc83e954284f81cf * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
v0.1.106: Hotfix ListBytes:getOrDefault with List:get (#313)
* Use normal list indexing (`List[Idx]`, `LIST.get`) to define `ListBytes:getOrDefault` To avoid recursion and element-wise list matching when we index into a `ListBytes`, the hooked function for normal lists should be used. We are already doing this for the `ListBytes:primitiveLookup` function. For the case of `ListBytes:getOrDefault`, this means to either rewrite to an expression backed by the `LIST.get` function, or to the default value when the index is out of range. * remove isBytes constraint from getBuffer rules (assume there are always bytes) * Set Version: 0.1.102 * Revert "remove isBytes constraint from getBuffer rules (assume there are always bytes)" This reverts commit d8868937759cb51b0b8de22ff70c364770537607. * Set Version: 0.1.106 --------- Co-authored-by: devops <[email protected]>
v0.1.105: Update dependency: deps/kwasm_release (#315)
* deps/kwasm_release: Set Version 0.1.95 * Set Version: 0.1.104 * kmultiversx/: sync poetry files 0.1.95 * deps/k_release: sync release file version 7.1.85 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.105 --------- Co-authored-by: devops <[email protected]>
v0.1.104: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#314)
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 8918ee62c16e5c3884d536f1c8a62918ab44bf57 * Set Version: 0.1.103 * kmultiversx/: sync poetry files 0.1.90 * deps/blockchain-k-plugin_release: sync release file version 8918ee62c16e5c3884d536f1c8a62918ab44bf57 * flake.{nix,lock}: update Nix derivations * kmultiversx/src/kmultiversx/kdist/plugin: Set Version 640a700ed9cfb515062ee9cffaeeb631b38dd95a * deps/blockchain-k-plugin_release: sync release file version 640a700ed9cfb515062ee9cffaeeb631b38dd95a * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.104 * kmultiversx/src/kmultiversx/kdist/plugin: Set Version f8a93660317c377fc7a16b3d49b0518892354a28 * deps/blockchain-k-plugin_release: sync release file version f8a93660317c377fc7a16b3d49b0518892354a28 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
v0.1.103: Update dependency: deps/kwasm_release (#310)
* deps/kwasm_release: Set Version 0.1.91 * Set Version: 0.1.101 * kmultiversx/: sync poetry files 0.1.91 * deps/k_release: sync release file version 7.1.76 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.92 * Set Version: 0.1.102 * kmultiversx/: sync poetry files 0.1.92 * deps/k_release: sync release file version 7.1.80 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.93 * kmultiversx/: sync poetry files 0.1.93 * deps/k_release: sync release file version 7.1.81 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.103 * deps/kwasm_release: Set Version 0.1.94 * kmultiversx/: sync poetry files 0.1.94 * deps/k_release: sync release file version 7.1.83 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
v0.1.102: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#312)
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version f4c41bfa5e44f5bc29e5d9151557ce735bcde087 * Set Version: 0.1.102 * kmultiversx/: sync poetry files 0.1.90 * deps/blockchain-k-plugin_release: sync release file version f4c41bfa5e44f5bc29e5d9151557ce735bcde087 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
v0.1.101: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#311)
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 8031e7be727e903b817fff6639a9d3a4bbe82f11 * Set Version: 0.1.101 * kmultiversx/: sync poetry files 0.1.90 * deps/blockchain-k-plugin_release: sync release file version 8031e7be727e903b817fff6639a9d3a4bbe82f11 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
v0.1.100: Update dependency: deps/kwasm_release (#309)
* deps/kwasm_release: Set Version 0.1.90 * Set Version: 0.1.100 * kmultiversx/: sync poetry files 0.1.90 * deps/k_release: sync release file version 7.1.72 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>