Bump Apalache version - Githubissues

informalsystems / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Apache License 2.0

608 stars 30 forks source link

Closed bugarela closed 3 months ago

bugarela commented 3 months ago

Hello :octocat:

Just an Apalache version bump so the latest changes to type quantification are in place