This repository has been archived and is now part of the main K Framework distribution at https://github.com/runtimeverification/k.