Re: [tlaplus] What is the plan for Distributed PlusCal?

[Stephan Merz <stephan.merz@xxxxxxxxx>]

Thank you for the interest in Distributed PlusCal! It motivated us to take it up again and make the extra push so that it could be made available. Our current plan is to make that happen and to publish a beta version in the first quarter of 2026, hopefully as an optional feature in the PlusCal translator.

Stephan

On 20 Nov 2025, at 17:54, Chris Ortiz <zitroomega@xxxxxxxxx> wrote:

Hi,

Good morning. I am wondering what is the plan to have Distributed PlusCal option (-distpcal).

https://members.loria.fr/SMerz/papers/2023-ifm.pdf

https://github.com/DistributedPlusCal/DistributedPlusCal

Thanks and best regards,

Chris (Zitro)

--
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/896821d8-3855-4280-ba9f-a668ba940324n%40googlegroups.com.

--
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/F5D7056D-3327-4369-8C09-44E9977C59D6%40gmail.com.