using:pgo_generating_go_from_pluscal

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:

You can also read the related paper: Compiling Distributed System Models with PGo

  • using/pgo_generating_go_from_pluscal.txt
  • Last modified: 2024/09/28 20:21
  • by fponzi