[FEATURE] Alpha release: Alpha Centaury

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

https://apalache-mc.org/

Apache License 2.0

441 stars 40 forks source link

[FEATURE] Alpha release: Alpha Centaury #710

Closed konnov closed 1 year ago

konnov commented 3 years ago

This is a meta issue for the first alpha release. For this release, we are going to freeze the feature set and focus on bug fixing and user experience.

All issues on this release are labelled with Alpha Centauri

thpani commented 1 year ago

I'm going to close this, since no open issues with this label remain.