Releases: runtimeverification/mx-semantics
Releases · runtimeverification/mx-semantics
v0.1.79: Update dependency: deps/kwasm_release (#286)
* 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)
* 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)
* 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)
* 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)
* Fix undefined requires clause * Set Version: 0.1.75 --------- Co-authored-by: devops <[email protected]>
v0.1.74: Package Nix flake (#255)
* 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)
* 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)
* 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)
* 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)
* 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]>