Open Issues Need Help
View All on GitHub [FEATURE] Interval analysis to improve a..b about 2 months ago
help wanted usability
apalache-mc/apalache apalache-mc/apalache APALACHE: symbolic model checker for TLA+ and Quint
Open project →
469
APALACHE: symbolic model checker for TLA+ and Quint
Scala
#apalache#model-checking#quint#smt#tla#tlaplus#verification
bug help wanted usability impact-medium
apalache-mc/apalache apalache-mc/apalache APALACHE: symbolic model checker for TLA+ and Quint
Open project →
469
APALACHE: symbolic model checker for TLA+ and Quint
Scala
#apalache#model-checking#quint#smt#tla#tlaplus#verification
ADR015 is using very old type annotations about 1 year 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-mc/apalache apalache-mc/apalache APALACHE: symbolic model checker for TLA+ and Quint
Open project →
469
APALACHE: symbolic model checker for TLA+ and Quint
Scala
#apalache#model-checking#quint#smt#tla#tlaplus#verification