Pluscal-2

[Amit Vasudevan]

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!

[Stephan Merz]

Hello,

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.

Regards,

Stephan

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

[Amit Vasudevan]

Thanks for the response Stephan! 

I will take a look into the distributed pluscal work you mentioned. One of the things that was interesting with pluscal-2 was the partial order reduction implementation for TLC to reduce state space. Do you know if that is available with distributed pluscal or with TLC in general? 

[Stephan Merz]

No, partial order reduction is currently not implemented for TLC, but it could be an interesting direction for research.

Stephan

To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/442d07d7-c520-40b0-9780-81cb53f08eacn%40googlegroups.com.