Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== Generating GO from pluscal specs ====== 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: {{youtube>GvrpUeDN5zs?large}} You can also read the related paper: [[https://dl.acm.org/doi/10.1145/3575693.3575695|Compiling Distributed System Models with PGo]] using/pgo_generating_go_from_pluscal.txt Last modified: 2024/09/28 18:21by fponzi
fponzi