Skip to content

Releases: runtimeverification/mx-semantics

v0.1.99: Update dependency: deps/kwasm_release (#308)

19 Jul 22:02
52dc83d
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.87

* Set Version: 0.1.99

* kmultiversx/: sync poetry files 0.1.87

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

* deps/kwasm_release: Set Version 0.1.88

* kmultiversx/: sync poetry files 0.1.88

* deps/k_release: sync release file version 7.1.68

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

* deps/kwasm_release: Set Version 0.1.89

* kmultiversx/: sync poetry files 0.1.89

* deps/k_release: sync release file version 7.1.70

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

---------

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

v0.1.98: Update dependency: deps/kwasm_release (#307)

18 Jul 13:26
1467b50
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.86

* Set Version: 0.1.98

* kmultiversx/: sync poetry files 0.1.86

* deps/k_release: sync release file version 7.1.65

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

---------

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

v0.1.97: Update dependency: deps/kwasm_release (#304)

17 Jul 05:26
c325b91
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.84

* Set Version: 0.1.95

* kmultiversx/: sync poetry files 0.1.84

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

* deps/kwasm_release: Set Version 0.1.85

* kmultiversx/: sync poetry files 0.1.85

* deps/k_release: sync release file version 7.1.59

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

* Set Version: 0.1.97

* pin exceptiongroup dependency to avoid nix trouble

---------

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

v0.1.96: Define primitive ListBytes lookup using the hooked function (#306)

16 Jul 22:43
bf76305
Compare
Choose a tag to compare
* Rewrite ListBytes:primitiveLookup to a hooked operation when defined

* remove rule side conditions

* Set Version: 0.1.96

---------

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

v0.1.95: Use upstreamed KFuzz (#305)

15 Jul 19:23
1a2c815
Compare
Choose a tag to compare
* Use upstream KFuzz

* Set Version: 0.1.95

---------

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

v0.1.94: Update dependency: deps/kwasm_release (#297)

11 Jul 16:27
5302b3e
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.72

* Set Version: 0.1.89

* kmultiversx/: sync poetry files 0.1.72

* deps/k_release: sync release file version 7.1.38

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

* deps/kwasm_release: Set Version 0.1.73

* kmultiversx/: sync poetry files 0.1.73

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

* Set Version: 0.1.93

* deps/kwasm_release: Set Version 0.1.83

* kmultiversx/: sync poetry files 0.1.83

* deps/k_release: sync release file version 7.1.54

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

* Fix klabel, symbol cases

* Set Version: 0.1.94

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

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

* Fix mistaken update of BKP

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

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

* Fix symbol from K

---------

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

v0.1.93: Blockchain plugin nix version update (#303)

11 Jul 14:02
9b916d6
Compare
Choose a tag to compare
* Set up workflow

* Temp: run on this branch to fix discrepancy

* Set Version: 0.1.93

* kmultiversx/: sync poetry files 0.1.71

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

* Drop temporary branch run

---------

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

v0.1.92: Remove orphan `BYTES` sort (#302)

09 Jul 20:02
eb4e1b2
Compare
Choose a tag to compare
* Remove orphan BYTES sort

* Set Version: 0.1.92

---------

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

v0.1.91: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#299)

04 Jul 16:02
85764c0
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version b24fa372ca127d51cdc185e431d0ccf471980c04

* Set Version: 0.1.91

---------

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

v0.1.90: Deprecate `klabel` attribute (#298)

03 Jul 11:42
352ce4d
Compare
Choose a tag to compare
* Deprecate klabel

* Set Version: 0.1.90

---------

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