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

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

No plan currently. The route at this point would be to submit it to the specification language committee along with a plan for acquiring development resources for its implementation.

Andrew

On Thu, Nov 20, 2025 at 8:54 AM 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/CABj%3DxUXKPjTBd_YuFZVjYDbbLx5jf0Sx%3DcLK1N86vrE3RLPyCw%40mail.gmail.com.