Skip to content

Releases: runtimeverification/mx-semantics

v0.1.89: Remove MapIntToInt (#285)

01 Jul 08:27
626a917
Compare
Choose a tag to compare
* Remove MapIntToInt

* Remove MapIntToInt

* Remove MapIntToInt

* Remove MapBytesToBytes

* Remove MAaInt2Bytes

* Preserves definedness

* Fixes

* Update wasm

* Set Version: 0.1.89

* Fix KMap calls

* Fixes

* Whitespace change to trigger github's actions

---------

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

v0.1.88: Update dependency: deps/kwasm_release (#296)

27 Jun 11:42
8ee34fe
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.69

* Set Version: 0.1.88

* kmultiversx/: sync poetry files 0.1.69

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

* deps/kwasm_release: Set Version 0.1.70

* kmultiversx/: sync poetry files 0.1.70

* deps/k_release: sync release file version 7.1.30

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

* Fix hypothesis issue

* kmultiversx/: sync poetry files 0.1.70

* Two-step fix

---------

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

v0.1.87: Refactor `str` paths to `Path` (#293)

24 Jun 16:26
3b0736a
Compare
Choose a tag to compare
* Refactor `str` paths to `Path`

* Set Version: 0.1.85

* Set Version: 0.1.86

* Apply suggestions from code review

Co-authored-by: Tamás Tóth <[email protected]>

* Set Version: 0.1.87

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>

v0.1.86: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#295)

24 Jun 12:29
bae4758
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 98b82c75eaae9771f472e2fa6cb2d63808734791

* Set Version: 0.1.85

* Set Version: 0.1.86

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>

v0.1.85: Update dependency: deps/kwasm_release (#294)

24 Jun 10:10
a20db89
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.67

* Set Version: 0.1.85

* kmultiversx/: sync poetry files 0.1.67

* deps/k_release: sync release file version 7.1.21

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

* deps/kwasm_release: Set Version 0.1.68

* kmultiversx/: sync poetry files 0.1.68

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

---------

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

v0.1.84: Update dependency: deps/kwasm_release (#292)

21 Jun 17:02
afeb52e
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.64

* Set Version: 0.1.82

* kmultiversx/: sync poetry files 0.1.64

* deps/k_release: sync release file version 7.1.8

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

* deps/kwasm_release: Set Version 0.1.65

* Set Version: 0.1.83

* kmultiversx/: sync poetry files 0.1.65

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

* deps/kwasm_release: Set Version 0.1.66

* kmultiversx/: sync poetry files 0.1.66

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

* Set Version: 0.1.84

---------

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

v0.1.83: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#291)

21 Jun 14:42
7ea633f
Compare
Choose a tag to compare
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version efad3c4f9f5a3930feeb076a3e232764c896dceb

* Set Version: 0.1.82

* Set Version: 0.1.83

---------

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

v0.1.82: Fix fallback on `bigIntSign` (#289)

20 Jun 12:02
d531b4d
Compare
Choose a tag to compare
* `bigIntSign`: pattern match to lookup

* Set Version: 0.1.81

* Set Version: 0.1.82

---------

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

v0.1.81: Update dependency: deps/kwasm_release (#287)

17 Jun 11:22
65628e8
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.63

* Set Version: 0.1.80

* kmultiversx/: sync poetry files 0.1.63

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

* Set Version: 0.1.81

* kmultiversx/: sync poetry files 0.1.63

---------

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

v0.1.80: Booster improvements (#288)

17 Jun 06:28
a8a0d5d
Compare
Choose a tag to compare
* `startPrank` match: `getbuffer` => `#getBuffer`

* `memLoad-zero-length` match

* `appendToOutAccount` definedness of `_Map_`

* add `preserves-definedness`

* Set Version: 0.1.80

---------

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