This project implements a fast concrete rewriting engine for KORE, the internal representation of the K Framework, along with a set of related tools and utilities. Direct usage of this repository is intended for advanced K users and core developers; most use cases are supported by the user-facing K tools.
Internal documentation for core developers and advanced K users can be found in
the docs/
directory.
For developer setup instructions, refer to INSTALL.md.