1.0-α2
No open tickets in this milestone.
Closed tickets 6
-
1Comments in CSP₀ scriptsresolved -
4“Interrupt” operator is actually “timeout”resolved -
6Interleave doesn't handle ✓ events correctlyresolved -
7CSP₀ identifiers should be able to contain underscoresresolved -
3Failures refinementresolved -
9is_superset_with_proof sometimes gives incorrect proofresolved