Awesome
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:
kup install k
remove K via
kup uninstall k
and list available versions with:
kup list k
To list all available packages, run
kup list
Any further functionality is described in the help commands:
kup --help
kup list --help
kup install --help
etc.
For Developers
Use make
to run common tasks (see the Makefile for a complete list of available targets).
make build
: Build wheelmake check
: Check code stylemake format
: Format codemake test-unit
: Run unit tests
For interactive use, spawn a shell with poetry shell
(after poetry install
), then run an interpreter.