The K submodule update for this project hasn't gone through in a while, and is currently not passing CI. We'd like to have all downstream semantics brought properly up to date so that we can test breaking changes (https://github.com/runtimeverification/k/issues/2490).
The K submodule update for this project hasn't gone through in a while, and is currently not passing CI. We'd like to have all downstream semantics brought properly up to date so that we can test breaking changes (https://github.com/runtimeverification/k/issues/2490).