Skip to content

Releases: runtimeverification/mx-semantics

v0.1.109: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#318)

20 Aug 15:26
c1b7623
Compare
Choose a tag to compare
* 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)

08 Aug 20:25
2e8b3ed
Compare
Choose a tag to compare
* 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)

05 Aug 09:25
b96c65f
Compare
Choose a tag to compare
* 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)

29 Jul 01:40
a973a08
Compare
Choose a tag to compare
* 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)

26 Jul 21:02
be77871
Compare
Choose a tag to compare
* 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)

26 Jul 18:27
904b231
Compare
Choose a tag to compare
* 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)

26 Jul 15:02
a7371e5
Compare
Choose a tag to compare
* 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)

26 Jul 09:25
b68f340
Compare
Choose a tag to compare
* 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)

24 Jul 10:27
bf86434
Compare
Choose a tag to compare
* 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)

22 Jul 21:24
be78362
Compare
Choose a tag to compare
* 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]>