[release] 0.60.0 - #3432
Conversation
Signed-off-by: konnov <github@actions.ci>
Signed-off-by: konnov <github@actions.ci>
|
Upgrading the minimum Java dependency to 25 is a breaking change for tlaplus/examples. Do you anticipate any further breaking changes in the foreseeable future? If so, we might want to pin the example repository to the 0.59 release. |
It is indeed a breaking change, as indicated in the changelog. Do I don't think we will change JREs in the near future. The other breaking changes will affect the features that are, most likely, not used by anyone. |
By the way, we could probably preserve binary compatibility with the earlier versions. Is there a specific reason for using Java 17 in |
Apalache now requires JDK 25 as of apalache-mc/apalache#3432. Install both JDKs in the main CI workflow, preserve JDK 25 for Apalache via APALACHE_JAVA_HOME, and keep JDK 17 for TLC, SANY, PlusCal, and the TLC-only workflows. Co-authored-by: GPT-5 <support@openai.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
|
Yes, absolutely! https://github.com/tlaplus/ValidationTestSuite/blob/main/.github/workflows/main.yml currently tests against Java 17, and we must maintain compatibility with 17 for the foreseeable future. |
Apalache now requires JDK 25 as of apalache-mc/apalache#3432. Install both JDKs in the main CI workflow, preserve JDK 25 for Apalache via APALACHE_JAVA_HOME, and keep JDK 17 for TLC, SANY, PlusCal, and the TLC-only workflows. Co-authored-by: GPT-5 <support@openai.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
OK. Then wait a bit until the next release. It will target Java 17. |
|
I merged tlaplus/Examples#222 to unblock the Example repo build. Will revert the commit when the next Apalache release comes out. |
It turns out that we need at least Java 21 to use modern features like |
|
For the benefit of enterprise users, we have been very conservative in the past. Java 17 is an LTS release and does not have a single universal EOL date. Oracle JDK 17 remains under Premier Support through September 2026 and Extended Support through September 2029, while OpenJDK distributions such as Temurin, Corretto, and Red Hat have their own support timelines. |
Apalache is raising its minimum runtime from 17 to 21 apalache-mc/apalache#3432 (comment) Reinstates d2ee24d, reverted in 8cc6a04 when Apalache briefly went back to 17, with 25 replaced by 21. Install both JDKs in the main CI workflow, preserve JDK 21 for Apalache via APALACHE_JAVA_HOME, and keep JDK 17 for TLC, SANY, PlusCal, and the TLC-only workflows. Co-authored-by: Claude Opus 5 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Apalache is raising its minimum runtime from 17 to 21 apalache-mc/apalache#3432 (comment) Reinstates d2ee24d, reverted in 8cc6a04 when Apalache briefly went back to 17, with 25 replaced by 21. Install both JDKs in the main CI workflow, preserve JDK 21 for Apalache via APALACHE_JAVA_HOME, and keep JDK 17 for TLC, SANY, PlusCal, and the TLC-only workflows. Co-authored-by: Claude Opus 5 <noreply@anthropic.com> Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
3 participants
Reviewer instructions
Release notes
0.60.0 - 2026-08-05
Breaking changes