Notable changes to Kater will be documented in this file. This repository is only updated whenever a new version of Kater is released.
- Support for mutually recursive relations via
let rec - Support for
extraacyclicity exports
- Using immediate relations (e.g.,
po-imm,mo-imm, etc) is now forbidden - Different code export for GenMC
- Various bug fixes (e.g., for assertion checking)
- Support for user-declared predicates via
predicate - Support for declaring pairwise disjoint predicates via
disjoint - Performance improvements
- clang-format file for project
- User relations are now declared with
relation - Non-standard assumptions need to be of the form
[A];po;[B] <= [A];po;[F];po;[B] - The consistency-checking clauses of a KAT file now require the
exportprefix - C++20 features are required for compilation
- Switch to
cmake(instead ofautotools)
- Various bug fixes
- Documentation fixes
- Release on Github