Issues

• Parsing Error Defaulting to CHOOSE

  DistCompiler/pgo#259 · Filter by author sepehr541 opened on Jul 10, 2025
  1

• Parsing Error in EXCEPT is misleading

  DistCompiler/pgo#257 · Filter by author sepehr541 opened on Jul 10, 2025

• Create a github.io site for the pgo project

  DistCompiler/pgo#237 · Filter by author bestchai opened on Nov 4, 2022
  1

  

• Repeated gob errors when running NestedCRDTImpl_test.go

  DistCompiler/pgo#225 · Filter by author ruchitpalrecha opened on Jan 27, 2022

• Improve RaftKVS performance

  DistCompiler/pgo#224 · Filter by author shayanh opened on Jan 14, 2022
  

• Using a more advanced logging library that supports different logging levels.

  DistCompiler/pgo#221 · Filter by author shayanh opened on Jan 14, 2022
  

• Ability to provide custom logger to archetypes

  DistCompiler/pgo#220 · Filter by author shayanh opened on Jan 14, 2022
  

• Implement reading persistent state

  DistCompiler/pgo#219 · Filter by author shayanh opened on Jan 14, 2022

• Add static analysis tools to CI

  DistCompiler/pgo#218 · Filter by author shayanh opened on Jan 14, 2022
  2

• Support TLA+ 2

  enhancement
  DistCompiler/pgo#170 · Filter by author fhackett opened on Oct 16, 2021
  1

  

• TLA+ module support (for completeness)

  enhancement
  DistCompiler/pgo#158 · Filter by author fhackett opened on Sep 17, 2021
  2

  

• Documentation outdated

  DistCompiler/pgo#138 · Filter by author lemmy opened on Jun 23, 2021
  1

  

• Generated Code Conformance Checking

  enhancement
  DistCompiler/pgo#137 · Filter by author fhackett opened on Jun 12, 2021
  3

• Accepting labels as macros' arguments

  enhancement
  DistCompiler/pgo#126 · Filter by author shayanh opened on May 12, 2021
  1

  

• Compiler validation: provide an option for PGo to attempt compiling invariants into generated code

  enhancement
  DistCompiler/pgo#122 · Filter by author fhackett opened on May 7, 2021
  5

• Support diamond inheritance in TLA+ modules

  DistCompiler/pgo#74 · Filter by author fhackett opened on Jun 20, 2018

• Support TLA+ bags

  DistCompiler/pgo#8 · Filter by author minhnhdo opened on Jan 17, 2018
  4