kup - the K Framework installer

kup is the new installer tool for downloading and running the latest version of K Framework and any semantics built on top of K. This tool uses the Nix package manager as a backbone and is currently supported on all major x86_64 Linux distributions, as well as Intel and ARM macOS. If you're on a compatible system, use this one click install script which installs Nix (if not already present) and kup:

bash <(curl https://kframework.org/install)

You can then install/update K Framework via:

remove K via

and list available versions with:

To list all available packages, run

Any further functionality is described in the help commands:

kup --help
kup list --help
kup install --help
etc.

For Developers

Prerequsites: python >= 3.10, uv.

Use make to run common tasks (see the Makefile for a complete list of available targets).

• make build: Build wheel
• make check: Check code style
• make format: Format code
• make test-unit: Run unit tests
• make test-integration: Run integration tests