Releases: runtimeverification/wasm-semantics
Releases · runtimeverification/wasm-semantics
v0.1.59: Update dependency: deps/k_release (#639)
* deps/k_release: Set Version 7.0.107
* Set Version: 0.1.59
* pykwasm/: sync poetry files v7.0.107
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.108
* pykwasm/: sync poetry files v7.0.108
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.109
* pykwasm/: sync poetry files v7.0.109
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.110
* pykwasm/: sync poetry files v7.0.110
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.111
* pykwasm/: sync poetry files v7.0.111
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.112
* pykwasm/: sync poetry files v7.0.112
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.58: Update dependency: deps/k_release (#638)
* deps/k_release: Set Version 7.0.106
* Set Version: 0.1.58
* pykwasm/: sync poetry files v7.0.106
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.57: Update dependency: deps/k_release (#637)
* deps/k_release: Set Version 7.0.96
* Set Version: 0.1.57
* pykwasm/: sync poetry files v7.0.96
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.97
* deps/k_release: Set Version 7.0.98
* pykwasm/: sync poetry files v7.0.98
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.99
* pykwasm/: sync poetry files v7.0.99
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.100
* pykwasm/: sync poetry files v7.0.100
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.101
* pykwasm/: sync poetry files v7.0.101
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.102
* pykwasm/: sync poetry files v7.0.102
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.103
* pykwasm/: sync poetry files v7.0.103
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.104
* pykwasm/: sync poetry files v7.0.104
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.105
* pykwasm/: sync poetry files v7.0.105
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.56: Update dependency: deps/k_release (#636)
* deps/k_release: Set Version 7.0.92
* Set Version: 0.1.56
* pykwasm/: sync poetry files v7.0.92
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.93
* pykwasm/: sync poetry files v7.0.93
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.95
* pykwasm/: sync poetry files v7.0.95
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.55: Update dependency: deps/k_release (#635)
* deps/k_release: Set Version 7.0.89
* Set Version: 0.1.55
* pykwasm/: sync poetry files v7.0.89
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.90
* pykwasm/: sync poetry files v7.0.90
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.91
* pykwasm/: sync poetry files v7.0.91
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.54: Update dependency: deps/k_release (#634)
* deps/k_release: Set Version 7.0.71
* Set Version: 0.1.54
* pykwasm/: sync poetry files v7.0.71
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.72
* pykwasm/: sync poetry files v7.0.72
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.74
* pykwasm/: sync poetry files v7.0.74
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.75
* pykwasm/: sync poetry files v7.0.75
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.76
* pykwasm/: sync poetry files v7.0.76
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.77
* pykwasm/: sync poetry files v7.0.77
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.78
* pykwasm/: sync poetry files v7.0.78
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.79
* pykwasm/: sync poetry files v7.0.79
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.80
* pykwasm/: sync poetry files v7.0.80
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.81
* pykwasm/: sync poetry files v7.0.81
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.82
* pykwasm/: sync poetry files v7.0.82
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.83
* pykwasm/: sync poetry files v7.0.83
* flake.{nix,lock}: update Nix derivations
* KompileBackend => PykBackend
* deps/k_release: Set Version 7.0.84
* pykwasm/: sync poetry files v7.0.84
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.85
* pykwasm/: sync poetry files v7.0.85
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.86
* pykwasm/: sync poetry files v7.0.86
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.87
* pykwasm/: sync poetry files v7.0.87
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.88
* pykwasm/: sync poetry files v7.0.88
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
Co-authored-by: Burak Bilge Yalcinkaya <[email protected]>
v0.1.53: Update dependency: deps/k_release (#633)
* deps/k_release: Set Version 7.0.68
* Set Version: 0.1.52
* pykwasm/: sync poetry files v7.0.68
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.69
* pykwasm/: sync poetry files v7.0.69
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.70
* Set Version: 0.1.53
* pykwasm/: sync poetry files v7.0.70
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.52
Mark #distinctBits as "no-evaluators" (#632)
v0.1.51: Update dependency: deps/k_release (#630)
* deps/k_release: Set Version 7.0.57
* Set Version: 0.1.50
* pykwasm/: sync poetry files v7.0.57
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.59
* pykwasm/: sync poetry files v7.0.59
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.60
* pykwasm/: sync poetry files v7.0.60
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.61
* Set Version: 0.1.51
* pykwasm/: sync poetry files v7.0.61
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.62
* pykwasm/: sync poetry files v7.0.62
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.63
* pykwasm/: sync poetry files v7.0.63
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.64
* pykwasm/: sync poetry files v7.0.64
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.65
* pykwasm/: sync poetry files v7.0.65
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.66
* pykwasm/: sync poetry files v7.0.66
* flake.{nix,lock}: update Nix derivations
* deps/k_release: Set Version 7.0.67
* pykwasm/: sync poetry files v7.0.67
* flake.{nix,lock}: update Nix derivations
---------
Co-authored-by: devops <[email protected]>
v0.1.50: Make `numberCvtOp` total (#631)
* avoid using arbitrary ints, make `numberCvtOp` total * Set Version: 0.1.50 --------- Co-authored-by: devops <[email protected]>