Skip to content

Katamaran 0.2.0
Compare
Choose a tag to compare
@skeuchel skeuchel released this 19 Jul 17:01
v0.2.0
b5958bd
This commit was signed with the committer’s verified signature.
skeuchel Steven Keuchel
GPG key ID: 5877DEE97428557F
Learn about vigilant mode.

What's Changed

  • Now compatible with Coq 8.14 and 8.15.
  • Support for application-specific abstract pure predicates and user-defined solvers.
  • The LinkedList toy example now comes with a full instantiation of the Iris model.
  • New heuristics for consuming exact and precise chunks.
  • Inlining up to a bound for functions without contracts.
  • Speed and memory improvements.
  • New custom bit vector library.
  • Computing verification condition statistics and sizes.
  • Support multiple sets of contracts for the same functions.

Full Changelog: https://github.com/katamaran-project/katamaran/commits/v0.2.0

Assets 2
Loading