Re: [tlaplus] Pluscal-2

I am afraid that this work is no longer active. The extension of PlusCal presented at the 2020 TLA+ Community Meeting (http://conf.tlapl.us/2020/) is available at https://github.com/DistributedPlusCal/DistributedPlusCal, but it is different from the one you mention.

Stephan

On 4 Jul 2022, at 05:45, Amit Vasudevan <amitvasudevan@xxxxxxxxx> wrote:

Hello,

Is the Pluscal-2 implementation available somewhere? This work: https://tel.archives-ouvertes.fr/tel-00815570 mentions the following repository:

https://gforge.inria.fr/projects/pcal2-0/

However, the aforementioned link gives me a 403 (forbidden) error. It seems like gforge has transitioned to gitlab (https://gitlab.inria.fr) , but am unable to find the pcal2-0 project there. Any help would be greatly appreciated.

Thanks!

--
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 on the web visit https://groups.google.com/d/msgid/tlaplus/582b65da-56c3-4faa-bc96-59fd99bdbd6bn%40googlegroups.com.