Releases: runtimeverification/wasm-semantics
Releases · runtimeverification/wasm-semantics
v0.1.121: Update dependency: deps/k_release (#716)
* deps/k_release: Set Version 7.1.193
* pykwasm/: sync poetry files 7.1.193
* flake.{nix,lock}: update Nix derivations
* Set Version: 0.1.119
* deps/k_release: Set Version 7.1.194
* pykwasm/: sync poetry files 7.1.194
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.195
* pykwasm/: sync poetry files 7.1.195
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.196
* pykwasm/: sync poetry files 7.1.196
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.198
* pykwasm/: sync poetry files 7.1.198
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.199
* pykwasm/: sync poetry files 7.1.199
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.201
* pykwasm/: sync poetry files 7.1.201
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.202
* pykwasm/: sync poetry files 7.1.202
* flake.{nix,lock}: update Nix derivations
* fix poetry version
* deps/k_release: Set Version 7.1.203
* pykwasm/: sync poetry files 7.1.203
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.204
* pykwasm/: sync poetry files 7.1.204
* flake.{nix,lock}: update Nix derivations
* increase smt timeout
* pykwasm/: sync poetry files 7.1.204
* deps/k_release: Set Version 7.1.207
* pykwasm/: sync poetry files 7.1.207
* flake.{nix,lock}: update Nix derivations
* increase smt timeout
* deps/k_release: Set Version 7.1.208
* pykwasm/: sync poetry files 7.1.208
* flake.{nix,lock}: update Nix derivations
* increase CI time limits
* pykwasm/: sync poetry files 7.1.208
* deps/k_release: Set Version 7.1.211
* pykwasm/: sync poetry files 7.1.211
* flake.{nix,lock}: update Nix derivations
* Set Version: 0.1.120
* Set Version: 0.1.121
* pykwasm/: sync poetry files 7.1.211
* deps/k_release: Set Version 7.1.217
* pykwasm/: sync poetry files 7.1.217
* flake.{nix,lock}: update Nix derivations
* format
* deps/k_release: Set Version 7.1.218
* pykwasm/: sync poetry files 7.1.218
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.219
* pykwasm/: sync poetry files 7.1.219
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.220
* pykwasm/: sync poetry files 7.1.220
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.222
* pykwasm/: sync poetry files 7.1.222
* flake.{nix,lock}: update Nix derivations
* exclude failing tests
---------
Co-authored-by: devops <[email protected]>
Co-authored-by: Burak Bilge Yalcinkaya <[email protected]>
v0.1.120: Add `preserves-definedness` attributes (#717)
* add `preserves-definedness` attributes * Set Version: 0.1.119 * Set Version: 0.1.120 --------- Co-authored-by: devops <[email protected]>
v0.1.119: Refactor sparse-bytes (#640)
* Refactor sparse-bytes * Set Version: 0.1.59 * Set Version: 0.1.119 * klabel => symbol * fix the poetry version to 1.8.3 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>
v0.1.118: Update dependency: deps/k_release (#713)
* deps/k_release: Set Version 7.1.187
* pykwasm/: sync poetry files 7.1.187
* flake.{nix,lock}: update Nix derivations
* Set Version: 0.1.118
* deps/k_release: Set Version 7.1.190
* pykwasm/: sync poetry files 7.1.190
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.191
* pykwasm/: sync poetry files 7.1.191
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.117: Update dependency: deps/k_release (#710)
* deps/k_release: Set Version 7.1.183
* Set Version: 0.1.117
* pykwasm/: sync poetry files 7.1.183
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.184
* pykwasm/: sync poetry files 7.1.184
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.186
* pykwasm/: sync poetry files 7.1.186
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>
v0.1.116: Update dependency: deps/k_release (#709)
* deps/k_release: Set Version 7.1.181
* Set Version: 0.1.116
* pykwasm/: sync poetry files 7.1.181
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.182
* pykwasm/: sync poetry files 7.1.182
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.115: Update dependency: deps/k_release (#707)
* deps/k_release: Set Version 7.1.177
* Set Version: 0.1.115
* pykwasm/: sync poetry files 7.1.177
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.178
* pykwasm/: sync poetry files 7.1.178
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.179
* pykwasm/: sync poetry files 7.1.179
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.180
* pykwasm/: sync poetry files 7.1.180
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.114: Update dependency: deps/k_release (#706)
* deps/k_release: Set Version 7.1.169
* Set Version: 0.1.114
* pykwasm/: sync poetry files 7.1.169
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.170
* pykwasm/: sync poetry files 7.1.170
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.173
* pykwasm/: sync poetry files 7.1.173
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.1.174
* pykwasm/: sync poetry files 7.1.174
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.113: Update dependency: deps/k_release (#705)
* deps/k_release: Set Version 7.1.167
* pykwasm/: sync poetry files 7.1.167
* flake.{nix,lock}: update Nix derivations
* Set Version: 0.1.113
---------
Co-authored-by: devops <[email protected]>
v0.1.112: Update dependency: deps/k_release (#704)
* deps/k_release: Set Version 7.1.165
* Set Version: 0.1.112
* pykwasm/: sync poetry files 7.1.165
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>