Open Issues Need Help
View All on GitHub ADR015 is using very old type annotations about 2 months ago
AI Summary: Update the type annotations in ADR015 (a document describing how to produce parseable counterexamples for the Apalache model checker) to reflect the current type system used by Apalache. This involves migrating from older annotation styles to the newer, documented style.
Complexity:
3/5
help wanted doc good-first-issue
APALACHE: symbolic model checker for TLA+ and Quint
Scala
#apalache#model-checking#quint#smt#tla#tlaplus#verification