v0.2.22: Update dependency: deps/pyk_release (#311)

* deps/pyk_release: Set Version v0.1.572

* Set Version: 0.2.21

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.77

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

* deps/pyk_release: Set Version v0.1.573

* Set Version: 0.2.22

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.574

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.79

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

* deps/pyk_release: Set Version v0.1.575

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.576

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.80

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

* deps/pyk_release: Set Version v0.1.577

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.81

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

* deps/pyk_release: Set Version v0.1.578

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.579

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.82

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

* deps/pyk_release: Set Version v0.1.580

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.581

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.582

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.88

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

* deps/pyk_release: Set Version v0.1.583

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.584

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.585

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.90

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

* deps/pyk_release: Set Version v0.1.586

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.587

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.91

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

* deps/pyk_release: Set Version v0.1.588

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.589

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.93

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

* deps/pyk_release: Set Version v0.1.590

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.591

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.592

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.94

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

* deps/pyk_release: Set Version v0.1.593

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.594

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.95

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

* deps/pyk_release: Set Version v0.1.595

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.96

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

* deps/pyk_release: Set Version v0.1.596

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.597

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.598

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.599

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.97

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

* deps/pyk_release: Set Version v0.1.600

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.98

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

* deps/pyk_release: Set Version v0.1.601

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.602

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.100

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

* deps/pyk_release: Set Version v0.1.603

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.101

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

* deps/pyk_release: Set Version v0.1.604

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.605

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.104

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

---------

Co-authored-by: devops <devops@runtimeverification.com>

v0.2.21: Kompile uses new type inference algorithm (#291)

* Kompile uses new type inference algorithm

* Set Version: 0.2.19

* Set Version: 0.2.20

* Set Version: 0.2.21

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: rv-jenkins <admin@runtimeverification.com>

v0.2.20: More proofs (#305)

* Remove `Local2Int` function for performance and stability

`Local2Int` is regularly a side condition on a rule, and this may be causing problems for the legacy and booster backends. This change makes `<localDecl>` index cell `<index>` take a `Local` instead of an `Int`, which removes the need to for `Local2Int` altogether.

* Set Version: 0.2.18

* fixed nix test outputx

* Added more proofs, some passing, some failing.

* Added full program with addition

* Added some more proofs for `Terminator`

* removed redundant lemmas

* Set Version: 0.2.19

* Fixed error where test filter was only accepting ValueError

* flake8 happy

* Added proof for Terminator with assignment to function call

* Set Version: 0.2.20

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Yan <40077433+yanliu18@users.noreply.github.com>

v0.2.19: Update dependency: deps/pyk_release (#307)

* deps/pyk_release: Set Version v0.1.563

* Set Version: 0.2.19

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.564

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.72

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

* deps/pyk_release: Set Version v0.1.565

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.73

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

* deps/pyk_release: Set Version v0.1.567

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.75

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

* deps/pyk_release: Set Version v0.1.568

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.569

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.570

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.571

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.76

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

---------

Co-authored-by: devops <devops@runtimeverification.com>

v0.2.18: Remove `Local2Int` function for performance and stability (#304)

* Remove `Local2Int` function for performance and stability

`Local2Int` is regularly a side condition on a rule, and this may be causing problems for the legacy and booster backends. This change makes `<localDecl>` index cell `<index>` take a `Local` instead of an `Int`, which removes the need to for `Local2Int` altogether.

* Set Version: 0.2.18

* fixed nix test outputx

---------

Co-authored-by: devops <devops@runtimeverification.com>

v0.2.17: Update dependency: deps/pyk_release (#302)

* deps/pyk_release: Set Version v0.1.558

* Set Version: 0.2.17

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.67

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

* deps/pyk_release: Set Version v0.1.559

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.69

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

* deps/pyk_release: Set Version v0.1.560

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.71

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

* deps/pyk_release: Set Version v0.1.561

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* deps/pyk_release: Set Version v0.1.562

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

---------

Co-authored-by: devops <devops@runtimeverification.com>

v0.2.16: Update dependency: deps/pyk_release (#301)

* deps/pyk_release: Set Version v0.1.557

* Set Version: 0.2.16

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

* deps/k_release: sync release file version 6.1.66

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

---------

Co-authored-by: devops <devops@runtimeverification.com>

v0.2.15: Capture errors that could occur while printing error information (#298)

* Capture errors that could occur while printing error information

* Set Version: 0.2.11

* :s/expection/exception

* Set Version: 0.2.15

---------

Co-authored-by: devops <devops@runtimeverification.com>

v0.2.14: Update dependency: deps/pyk_release (#300)

* deps/pyk_release: Set Version v0.1.556

* Set Version: 0.2.13

* kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

* Set Version: 0.2.14

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Yan <40077433+yanliu18@users.noreply.github.com>

v0.2.13: Create GLR parser at build time (#294)

* Added script to build ahead of time parser during make

* Changed script for nix compatibility

* Changed `exec_init` to build the glr parser. Building KMIR just checks it exists.

* Set Version: 0.2.11

* formatting

* Integration tests now build glr parser

* add gen-parser option to kbuild

* make format/check happy

* replace manual build of glr parser for nix

* Changed `exec_init` to `exec_gen_glr_parser` with improvements

* add --verbose for logging

* Set Version: 0.2.13

* Removing unnecessary python function that builds glr parser

* removed line that explicitly builds glr parser

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: yanliu18 <yan.emma.liu@gmail.com>