Skip to content

Releases: runtimeverification/wasm-semantics

v0.1.19: Update dependency: deps/pyk_release (#595)

26 Mar 21:24
072a99a
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.743

* Set Version: 0.1.19

* pykwasm/: sync poetry files v0.1.743

* deps/pyk_release: Set Version v0.1.744

* pykwasm/: sync poetry files v0.1.744

* deps/pyk_release: Set Version v0.1.745

* pykwasm/: sync poetry files v0.1.745

* deps/k_release: sync release file version 6.3.64

---------

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

v0.1.18: Update dependency: deps/pyk_release (#594)

26 Mar 16:45
2fb52bc
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.729

* Set Version: 0.1.18

* pykwasm/: sync poetry files v0.1.729

* deps/k_release: sync release file version 6.3.52

* deps/pyk_release: Set Version v0.1.730

* pykwasm/: sync poetry files v0.1.730

* deps/pyk_release: Set Version v0.1.731

* pykwasm/: sync poetry files v0.1.731

* deps/k_release: sync release file version 6.3.58

* deps/pyk_release: Set Version v0.1.732

* pykwasm/: sync poetry files v0.1.732

* deps/pyk_release: Set Version v0.1.733

* pykwasm/: sync poetry files v0.1.733

* deps/pyk_release: Set Version v0.1.734

* pykwasm/: sync poetry files v0.1.734

* deps/pyk_release: Set Version v0.1.735

* pykwasm/: sync poetry files v0.1.735

* deps/pyk_release: Set Version v0.1.736

* pykwasm/: sync poetry files v0.1.736

* deps/k_release: sync release file version 6.3.59

* deps/pyk_release: Set Version v0.1.737

* pykwasm/: sync poetry files v0.1.737

* deps/pyk_release: Set Version v0.1.738

* pykwasm/: sync poetry files v0.1.738

* deps/pyk_release: Set Version v0.1.739

* pykwasm/: sync poetry files v0.1.739

* deps/pyk_release: Set Version v0.1.740

* pykwasm/: sync poetry files v0.1.740

* deps/k_release: sync release file version 6.3.61

* deps/pyk_release: Set Version v0.1.741

* pykwasm/: sync poetry files v0.1.741

* deps/k_release: sync release file version 6.3.62

* deps/pyk_release: Set Version v0.1.742

* pykwasm/: sync poetry files v0.1.742

* deps/k_release: sync release file version 6.3.63

---------

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

v0.1.17: Update dependency: deps/pyk_release (#593)

21 Mar 09:43
0395812
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.718

* Set Version: 0.1.17

* pykwasm/: sync poetry files v0.1.718

* deps/k_release: sync release file version 6.3.43

* deps/pyk_release: Set Version v0.1.719

* pykwasm/: sync poetry files v0.1.719

* deps/pyk_release: Set Version v0.1.720

* pykwasm/: sync poetry files v0.1.720

* deps/pyk_release: Set Version v0.1.721

* pykwasm/: sync poetry files v0.1.721

* deps/k_release: sync release file version 6.3.44

* deps/pyk_release: Set Version v0.1.722

* pykwasm/: sync poetry files v0.1.722

* deps/k_release: sync release file version 6.3.45

* deps/pyk_release: Set Version v0.1.723

* pykwasm/: sync poetry files v0.1.723

* deps/pyk_release: Set Version v0.1.724

* pykwasm/: sync poetry files v0.1.724

* deps/k_release: sync release file version 6.3.47

* deps/pyk_release: Set Version v0.1.725

* pykwasm/: sync poetry files v0.1.725

* deps/pyk_release: Set Version v0.1.726

* pykwasm/: sync poetry files v0.1.726

* deps/pyk_release: Set Version v0.1.727

* pykwasm/: sync poetry files v0.1.727

* deps/pyk_release: Set Version v0.1.728

* pykwasm/: sync poetry files v0.1.728

* deps/k_release: sync release file version 6.3.50

---------

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

v0.1.16: Update dependency: deps/pyk_release (#592)

18 Mar 16:03
d66cdca
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.695

* Set Version: 0.1.16

* pykwasm/: sync poetry files v0.1.695

* deps/pyk_release: Set Version v0.1.696

* pykwasm/: sync poetry files v0.1.696

* deps/pyk_release: Set Version v0.1.697

* pykwasm/: sync poetry files v0.1.697

* deps/pyk_release: Set Version v0.1.698

* pykwasm/: sync poetry files v0.1.698

* deps/pyk_release: Set Version v0.1.699

* pykwasm/: sync poetry files v0.1.699

* deps/pyk_release: Set Version v0.1.700

* pykwasm/: sync poetry files v0.1.700

* deps/pyk_release: Set Version v0.1.701

* pykwasm/: sync poetry files v0.1.701

* deps/pyk_release: Set Version v0.1.702

* pykwasm/: sync poetry files v0.1.702

* deps/pyk_release: Set Version v0.1.703

* pykwasm/: sync poetry files v0.1.703

* deps/k_release: sync release file version 6.3.32

* deps/pyk_release: Set Version v0.1.704

* pykwasm/: sync poetry files v0.1.704

* deps/pyk_release: Set Version v0.1.705

* pykwasm/: sync poetry files v0.1.705

* deps/pyk_release: Set Version v0.1.706

* pykwasm/: sync poetry files v0.1.706

* deps/pyk_release: Set Version v0.1.707

* pykwasm/: sync poetry files v0.1.707

* deps/k_release: sync release file version 6.3.37

* deps/pyk_release: Set Version v0.1.708

* pykwasm/: sync poetry files v0.1.708

* deps/pyk_release: Set Version v0.1.710

* pykwasm/: sync poetry files v0.1.710

* deps/k_release: sync release file version 6.3.39

* deps/pyk_release: Set Version v0.1.711

* pykwasm/: sync poetry files v0.1.711

* deps/pyk_release: Set Version v0.1.712

* pykwasm/: sync poetry files v0.1.712

* deps/pyk_release: Set Version v0.1.713

* pykwasm/: sync poetry files v0.1.713

* deps/pyk_release: Set Version v0.1.714

* pykwasm/: sync poetry files v0.1.714

* deps/pyk_release: Set Version v0.1.715

* pykwasm/: sync poetry files v0.1.715

* deps/k_release: sync release file version 6.3.42

* deps/pyk_release: Set Version v0.1.716

* pykwasm/: sync poetry files v0.1.716

* deps/pyk_release: Set Version v0.1.717

* pykwasm/: sync poetry files v0.1.717

* Fix kast arguments

---------

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

v0.1.15: Update dependency: deps/pyk_release (#591)

11 Mar 13:03
6f1ebec
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.689

* Set Version: 0.1.15

* pykwasm/: sync poetry files v0.1.689

* deps/k_release: sync release file version 6.3.29

* deps/pyk_release: Set Version v0.1.690

* pykwasm/: sync poetry files v0.1.690

* deps/pyk_release: Set Version v0.1.691

* pykwasm/: sync poetry files v0.1.691

* deps/pyk_release: Set Version v0.1.692

* pykwasm/: sync poetry files v0.1.692

* deps/pyk_release: Set Version v0.1.693

* pykwasm/: sync poetry files v0.1.693

* deps/pyk_release: Set Version v0.1.694

* pykwasm/: sync poetry files v0.1.694

---------

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

v0.1.14: Update dependency: deps/pyk_release (#590)

07 Mar 19:43
aefaf4b
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.686

* Set Version: 0.1.14

* pykwasm/: sync poetry files v0.1.686

* deps/k_release: sync release file version 6.3.28

* deps/pyk_release: Set Version v0.1.687

* pykwasm/: sync poetry files v0.1.687

* deps/pyk_release: Set Version v0.1.688

* pykwasm/: sync poetry files v0.1.688

---------

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

v0.1.13: Update dependency: deps/pyk_release (#589)

06 Mar 19:23
200feff
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.685

* Set Version: 0.1.13

* pykwasm/: sync poetry files v0.1.685

---------

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

v0.1.12: Update dependency: deps/pyk_release (#588)

06 Mar 15:43
3f199ff
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.663

* pykwasm/: sync poetry files v0.1.663

* deps/k_release: sync release file version 6.3.17

* Set Version: 0.1.12

* deps/pyk_release: Set Version v0.1.664

* pykwasm/: sync poetry files v0.1.664

* deps/k_release: sync release file version 6.3.18

* deps/pyk_release: Set Version v0.1.665

* pykwasm/: sync poetry files v0.1.665

* deps/pyk_release: Set Version v0.1.666

* pykwasm/: sync poetry files v0.1.666

* deps/pyk_release: Set Version v0.1.667

* pykwasm/: sync poetry files v0.1.667

* deps/pyk_release: Set Version v0.1.668

* pykwasm/: sync poetry files v0.1.668

* deps/pyk_release: Set Version v0.1.669

* pykwasm/: sync poetry files v0.1.669

* deps/k_release: sync release file version 6.3.20

* deps/pyk_release: Set Version v0.1.670

* pykwasm/: sync poetry files v0.1.670

* deps/k_release: sync release file version 6.3.21

* deps/pyk_release: Set Version v0.1.671

* pykwasm/: sync poetry files v0.1.671

* deps/pyk_release: Set Version v0.1.672

* pykwasm/: sync poetry files v0.1.672

* deps/pyk_release: Set Version v0.1.673

* pykwasm/: sync poetry files v0.1.673

* deps/pyk_release: Set Version v0.1.674

* pykwasm/: sync poetry files v0.1.674

* deps/k_release: sync release file version 6.3.23

* deps/pyk_release: Set Version v0.1.675

* pykwasm/: sync poetry files v0.1.675

* deps/k_release: sync release file version 6.3.24

* deps/pyk_release: Set Version v0.1.676

* pykwasm/: sync poetry files v0.1.676

* deps/k_release: sync release file version 6.3.25

* deps/pyk_release: Set Version v0.1.677

* pykwasm/: sync poetry files v0.1.677

* deps/pyk_release: Set Version v0.1.678

* pykwasm/: sync poetry files v0.1.678

* deps/pyk_release: Set Version v0.1.679

* pykwasm/: sync poetry files v0.1.679

* deps/pyk_release: Set Version v0.1.680

* pykwasm/: sync poetry files v0.1.680

* deps/pyk_release: Set Version v0.1.681

* pykwasm/: sync poetry files v0.1.681

* deps/pyk_release: Set Version v0.1.682

* pykwasm/: sync poetry files v0.1.682

* deps/pyk_release: Set Version v0.1.683

* pykwasm/: sync poetry files v0.1.683

* deps/pyk_release: Set Version v0.1.684

* pykwasm/: sync poetry files v0.1.684

* Fix list klabels

---------

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

v0.1.11: Update dependency: deps/pyk_release (#587)

28 Feb 15:04
c29dcba
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.662

* Set Version: 0.1.11

* pykwasm/: sync poetry files v0.1.662

---------

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

v0.1.10: Update dependency: deps/pyk_release (#586)

28 Feb 13:43
dc08dda
Compare
Choose a tag to compare
* deps/pyk_release: Set Version v0.1.660

* pykwasm/: sync poetry files v0.1.660

* Set Version: 0.1.10

* deps/pyk_release: Set Version v0.1.661

* pykwasm/: sync poetry files v0.1.661

---------

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