TLA+ Wiki

This is an old revision of the document!

PHP's gd library is missing or unable to create PNG images

PGo is a source to source compiler that translates Modular PlusCal specifications (which use a superset of PlusCal) into Go programs.

Homepage: https://distcompiler.github.io/
Repo: https://github.com/DistCompiler/pgo

Watch the talk to the TLA+ 2019 conf:

<HTML> <iframe width="859" height="483" src="https://www.youtube.com/embed/GvrpUeDN5zs?list=PLWLcqZLzY8u_Osnz-YPOVrptG1ys73OkR" title="Compiling Distributed System Models into Implementations with PGo - Ivan Beschastnikh, Finn Hackett" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen> </iframe> </HTML> You can also read the related paper: Compiling Distributed System Models with PGo

Generating GO from pluscal specs