All issues

Search results

Parsing Error Defaulting to CHOOSE

Status: Open.

#259 In DistCompiler/pgo;

· sepehr541 opened on Jul 10, 2025

Parsing Error in EXCEPT is misleading

Status: Open.

#257 In DistCompiler/pgo;

· sepehr541 opened on Jul 10, 2025

Create a github.io site for the pgo project

Status: Open.

#237 In DistCompiler/pgo;

· bestchai opened on Nov 4, 2022

Repeated gob errors when running NestedCRDTImpl_test.go

Status: Open.

#225 In DistCompiler/pgo;

· ruchitpalrecha opened on Jan 27, 2022

Improve RaftKVS performance

Status: Open.

#224 In DistCompiler/pgo;

· shayanh opened on Jan 14, 2022

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

Status: Open.

#221 In DistCompiler/pgo;

· shayanh opened on Jan 14, 2022

Ability to provide custom logger to archetypes

Status: Open.

#220 In DistCompiler/pgo;

· shayanh opened on Jan 14, 2022

Implement reading persistent state

Status: Open.

#219 In DistCompiler/pgo;

· shayanh opened on Jan 14, 2022

Add static analysis tools to CI

Status: Open.

#218 In DistCompiler/pgo;

· shayanh opened on Jan 14, 2022

Support TLA+ 2

enhancementNew feature or requestNew feature or request

Status: Open.

#170 In DistCompiler/pgo;

· fhackett opened on Oct 16, 2021

TLA+ module support (for completeness)

enhancementNew feature or requestNew feature or request

Status: Open.

#158 In DistCompiler/pgo;

· fhackett opened on Sep 17, 2021

Documentation outdated

Status: Open.

#138 In DistCompiler/pgo;

· lemmy opened on Jun 23, 2021