1 Pull request merged by 1 person

• Towards a more permissive grammar

  #1696 merged Jun 18, 2025

1 Pull request opened by 1 person

• Refactor CLI to extract responsabilities and reduce file size

  #1697 opened Jun 23, 2025

1 Issue closed by 1 person

• Unclear error message when record keys are keywords

  #1688 closed Jun 18, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Improve docs for contributors

  #1694 commented on Jun 23, 2025 • 6 new comments

• Handle Apalache process termination when Java is missing

  #1695 commented on Jun 17, 2025 • 0 new comments