v0.2.48: Update dependency: deps/k_release (#350)

* deps/k_release: Set Version 7.0.1

* Set Version: 0.2.47

* Use new pyk/k merge

* deps/k_release: Set Version 7.0.2

* deps/k_release: Set Version 7.0.3

* deps/k_release: Set Version 7.0.4

* Set Version: 0.2.48

* deps/k_release: Set Version 7.0.5

* Use v prefix

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

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

* deps/k_release: Set Version 7.0.6

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

* Mark StringLiteral as prec(-1) so that K String is preferred

* deps/k_release: Set Version 7.0.8

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

* deps/k_release: Set Version 7.0.9

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

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Bruce Collie <brucecollie82@gmail.com>
Co-authored-by: Scott Guest <scott.guest@runtimeverification.com>

v0.2.47: Add options classes and use in functions (#349)

* Add options classes and use in functions

* Set Version: 0.2.47

* Remove default values from argparse calls

* Fix test

* Fix output format in test

* Fix test

* Fix test

* Wrap llvm and haskell dir in Path

* Fix formatting

* Try fixing compiletest-rs tests

---------

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

v0.2.46: Update dependency: deps/pyk_release (#346)

* deps/pyk_release: Set Version v0.1.734

* Set Version: 0.2.43

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

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

* deps/pyk_release: Set Version v0.1.735

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

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

* deps/pyk_release: Set Version v0.1.736

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

* deps/k_release: sync release file version 6.3.59

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

* deps/pyk_release: Set Version v0.1.737

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

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

* deps/pyk_release: Set Version v0.1.738

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

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

* deps/pyk_release: Set Version v0.1.739

* Set Version: 0.2.44

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

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

* deps/pyk_release: Set Version v0.1.740

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

* deps/k_release: sync release file version 6.3.61

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

* deps/pyk_release: Set Version v0.1.741

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

* deps/k_release: sync release file version 6.3.62

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

* deps/pyk_release: Set Version v0.1.742

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

* deps/k_release: sync release file version 6.3.63

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

* deps/pyk_release: Set Version v0.1.743

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

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

* deps/pyk_release: Set Version v0.1.744

* Set Version: 0.2.45

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

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

* deps/pyk_release: Set Version v0.1.745

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

* deps/k_release: sync release file version 6.3.64

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

* deps/pyk_release: Set Version v0.1.746

* Set Version: 0.2.46

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

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

---------

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

v0.2.45: Fixup circular imports and typos (#347)

* Refactor: fixup import chains to avoid circularities

* Cleanup: fix token conversion functions

* remove mir-place import

* Set Version: 0.2.45

---------

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

v0.2.44: Enable more proofs on CI (#319)

* Add forgotten underscores for Local

* Changed `Local` to `LocalToken` in `verify.k`

* Added missing cells for proof to pass

* Removed `add.k`from prove fail list

* Set Version: 0.2.24

* Added proof containing assert

* Add forgotten underscores for Local

* Changed `Local` to `LocalToken` in `verify.k`

* Added missing cells for proof to pass

* Removed `add.k`from prove fail list

* Added proof containing assert

* Set Version: 0.2.24

* Set Version: 0.2.26

* lockfile

* mypy pathing

* Added proof with another function call.

Also tried to minimise the amount of output required information for the proof to go through. It appears the type and value information cannot be ommited as it has a default expected value.

* Set Version: 0.2.44

---------

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

v0.2.43: Hotfix/add.k (#322)

* Replaced missing underscores for `Local`

* Changed `Identifer` to `IdentifierToken` in `verify.k`

* Set Version: 0.2.24

* Set Version: 0.2.43

---------

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

v0.2.42: Update dependency: deps/pyk_release (#345)

* deps/pyk_release: Set Version v0.1.721

* Set Version: 0.2.42

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

* deps/k_release: sync release file version 6.3.44

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

* deps/pyk_release: Set Version v0.1.722

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

* deps/k_release: sync release file version 6.3.45

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

* deps/pyk_release: Set Version v0.1.723

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

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

* deps/pyk_release: Set Version v0.1.724

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

* deps/k_release: sync release file version 6.3.47

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

* deps/pyk_release: Set Version v0.1.725

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

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

* deps/pyk_release: Set Version v0.1.726

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

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

* deps/pyk_release: Set Version v0.1.727

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

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

* deps/pyk_release: Set Version v0.1.728

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

* deps/k_release: sync release file version 6.3.50

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

* deps/pyk_release: Set Version v0.1.729

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

* deps/k_release: sync release file version 6.3.52

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

* deps/pyk_release: Set Version v0.1.730

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

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

* deps/pyk_release: Set Version v0.1.731

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

* deps/k_release: sync release file version 6.3.58

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

* deps/pyk_release: Set Version v0.1.732

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

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

* deps/pyk_release: Set Version v0.1.733

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

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

---------

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

v0.2.41: Update dependency: deps/pyk_release (#344)

* deps/pyk_release: Set Version v0.1.719

* Set Version: 0.2.41

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

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

* deps/pyk_release: Set Version v0.1.720

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

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

---------

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

v0.2.40: Update dependency: deps/pyk_release (#342)

* deps/pyk_release: Set Version v0.1.704

* Set Version: 0.2.40

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

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

* deps/pyk_release: Set Version v0.1.705

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

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

* deps/pyk_release: Set Version v0.1.706

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

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

* deps/pyk_release: Set Version v0.1.707

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

* deps/k_release: sync release file version 6.3.37

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

* deps/pyk_release: Set Version v0.1.708

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

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

* deps/pyk_release: Set Version v0.1.709

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

* deps/k_release: sync release file version 6.3.39

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

* deps/pyk_release: Set Version v0.1.710

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

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

* deps/pyk_release: Set Version v0.1.711

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

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

* deps/pyk_release: Set Version v0.1.712

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

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

* deps/pyk_release: Set Version v0.1.713

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

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

* deps/pyk_release: Set Version v0.1.714

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

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

* deps/pyk_release: Set Version v0.1.715

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

* deps/k_release: sync release file version 6.3.42

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

* deps/pyk_release: Set Version v0.1.716

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

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

* deps/pyk_release: Set Version v0.1.717

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

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

* deps/pyk_release: Set Version v0.1.718

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

* deps/k_release: sync release file version 6.3.43

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

---------

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

v0.2.39: Update dependency: deps/pyk_release (#341)

* deps/pyk_release: Set Version v0.1.693

* Set Version: 0.2.39

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

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

* deps/pyk_release: Set Version v0.1.694

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

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

* deps/pyk_release: Set Version v0.1.695

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

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

* deps/pyk_release: Set Version v0.1.696

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

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

* deps/pyk_release: Set Version v0.1.697

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

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

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

This reverts commit 368dd0d0efecb9d84cd2013a9160767f6eaac23e.

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

This reverts commit 60f02534e9589cc5ce27ce07e470d56f168b421e.

* Revert "deps/pyk_release: Set Version v0.1.697"

This reverts commit a0a79b5a60f496b31c2239a49a28ff4aaafdd7c8.

* deps/pyk_release: Set Version v0.1.697

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

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

* deps/pyk_release: Set Version v0.1.698

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

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

* deps/pyk_release: Set Version v0.1.699

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

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

* deps/pyk_release: Set Version v0.1.700

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

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

* deps/pyk_release: Set Version v0.1.701

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

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

* deps/pyk_release: Set Version v0.1.702

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

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

* deps/pyk_release: Set Version v0.1.703

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

* deps/k_release: sync release file version 6.3.32

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

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Noah Watson <noah@nwatson.xyz>