TLAPM now publishes rolling pre-releases

73 views

Skip to first unread message

Andrew Helwer

unread,

Dec 4, 2024, 2:59:51 PM12/4/24

to tlaplus

Hello all,

Pleased to announce that TLAPM now publishes rolling pre-releases built directly from the head of the main branch, similar to the Java-based TLA+ tools. You can download these pre-built artifacts here:

https://github.com/tlaplus/tlapm/releases/tag/1.6.0-pre

Andrew Helwer

Karolis Petrauskas

unread,

Dec 21, 2024, 6:08:03 AM12/21/24

to tla...@googlegroups.com

Can we tweak it so the main page shows it as the latest release?

Currently, it still shows an old version. I think this confuses a lot of newcomers.

Karolis

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/bdbf5a88-3788-4357-bede-fd48379e87fen%40googlegroups.com.

Andrew Helwer

unread,

Dec 24, 2024, 10:49:21 AM12/24/24

to tlaplus

We could do that; github only allows the latest release to be a full release, not a pre-release, although the release's name does make it clear that it is a prerelease. I would have to update the tlaplus/examples CI before making the change since it pulls the latest TLAPM release to check proofs and there are a few additional proof checking failures with this new prerelease.

Markus also found this issue with the prerelease: https://github.com/tlaplus/tlapm/issues/185

I'm assuming the way to fix it has to do with building it on an older version of ubuntu in the github CI or something like that.