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]>