Skip to content

Releases: runtimeverification/mx-semantics

v0.1.79: Update dependency: deps/kwasm_release (#286)

13 Jun 10:26
261cbeb
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.61

* Set Version: 0.1.79

* kmultiversx/: sync poetry files 0.1.61

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

* deps/kwasm_release: Set Version 0.1.62

* kmultiversx/: sync poetry files 0.1.62

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

---------

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

v0.1.78: Fuzzer optimizations (#283)

12 Jun 22:25
f5d7ad2
Compare
Choose a tag to compare
* Check the kore output from a test directly instead of converting to kast
first. Also, check the exit-code cell instead of the k cell.

* Use the bindings parser to read the interpreter output

* Use a kore pattern for the templated test config

* Set Version: 0.1.75

* Add llvm_interpret_raw helper

* Set Version: 0.1.77

* Check exit status of interpreter instead of parsing in the output

* Update error message

* Code checks

* pyupgrade code checks

* Remove unnecessary import

* Use KPrint instead of KRun wherever we're able to

* str(-1) -> '-1'

* Move exception handling down into runner

* inline function with single call-site

* Make some helper functions private and arrange them lower in the file

* Set Version: 0.1.78

* Set Version: 0.1.78

---------

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

v0.1.77: Fix in keys and remove klabels (#284)

12 Jun 05:25
5e23591
Compare
Choose a tag to compare
* Fix in keys and remove klabels

* Fix unused variable

* Remove invalid requires

* Set Version: 0.1.77

---------

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

v0.1.76: Update dependency: deps/kwasm_release (#282)

10 Jun 21:02
748b20e
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.60

* Set Version: 0.1.75

* Install Nix for update job

* kmultiversx/: sync poetry files 0.1.60

* deps/k_release: sync release file version 7.0.120

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

* Remove obsolete assertion

* Filter out exceptiongroup

* Set Version: 0.1.76

---------

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

v0.1.75: Fix undefined requires clause (#281)

10 Jun 12:49
3515941
Compare
Choose a tag to compare
* Fix undefined requires clause

* Set Version: 0.1.75

---------

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

v0.1.74: Package Nix flake (#255)

06 Jun 17:02
9dbece3
Compare
Choose a tag to compare
* Implement Nix flake build

* Run Nix build matrix

* Set Version: 0.1.73

* Add missing dependencies

* Set Version: 0.1.74

* Set Version: 0.1.74

---------

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

v0.1.73: Remove the `kasmer` command (#280)

06 Jun 14:42
2c88a73
Compare
Choose a tag to compare
* Remove `test-testapi`

* Remove the `kasmer` command

* Set Version: 0.1.73

* migrate `test-testapi` to mandos

* cargo updates

---------

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

v0.1.72: Update dependency: deps/kwasm_release (#279)

05 Jun 14:26
a9ca418
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.59

* Set Version: 0.1.72

* kmultiversx/: sync poetry files 0.1.59

* deps/k_release: sync release file version 7.0.112

---------

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

v0.1.71: Make `checkBool` a constructor (#278)

04 Jun 09:26
aaf2941
Compare
Choose a tag to compare
* checkBool command

* Set Version: 0.1.69

* Update kmultiversx/src/kmultiversx/kdist/mx-semantics/elrond-node.md

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

* Set Version: 0.1.71

---------

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

v0.1.70: Update dependency: deps/kwasm_release (#277)

03 Jun 18:03
af6c963
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.57

* Set Version: 0.1.69

* kmultiversx/: sync poetry files 0.1.57

* deps/k_release: sync release file version 7.0.105

* deps/kwasm_release: Set Version 0.1.58

* kmultiversx/: sync poetry files 0.1.58

* deps/k_release: sync release file version 7.0.106

* Set Version: 0.1.70

---------

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