DistCompiler/pgo

Issues

• Complete documentation for gogen

  #248 opened a year ago by Lzyabc
  3

• Add a README.md that describes all of the systems

  #238 opened 2 years ago by bestchai
  0

• Want an official PGo package / release

  #239 opened 2 years ago by niuzhi
  1

• Remove `ArchetypeResourceMaker` and using simple constructors instead

  #223 opened 2 years ago by shayanh
  0

• Remove `TLA` prefix from export functions and types names in the `tla` package

  #228 opened 2 years ago by shayanh
  0

• Suggestion to improve readability of the compiled Go code

  #172 opened 2 years ago by shayanh
  4

• Fix CI failure

  #217 opened 2 years ago by shayanh
  1

• Create a github.io site for the pgo project

  #237 opened 2 years ago by bestchai
  1

• Move the systems we build using PGo into a folder named `systems/`

  #222 opened 2 years ago by shayanh
  1

• Tracing gui using ShiViz

  #231 opened 2 years ago by gedw99
  5

• Support TLC module `ToString` Operator

  #229 opened 2 years ago by shayanh
  2

• Improve RaftKVS performance

  #224 opened 3 years ago by shayanh
  0

• Ability to provide custom logger to archetypes

  #220 opened 3 years ago by shayanh
  0

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

  #221 opened 3 years ago by shayanh
  0

• Repeated gob errors when running NestedCRDTImpl_test.go

  #225 opened 3 years ago by ruchitpalrecha
  0

• Add static analysis tools to CI

  #218 opened 3 years ago by shayanh
  2

• Recreate general shared state variable system

  #162 opened 3 years ago by shayanh
  0

• Process Failures in PGo

  #134 opened 3 years ago by shayanh
  1

• MPCal models with failures

  #144 opened 3 years ago by shayanh
  2

• Implement reading persistent state

  #219 opened 3 years ago by shayanh
  0

• Branch selection not actually fair

  #207 opened 3 years ago by fhackett
  0

• Panicking when trying to write to a local array

  #202 opened 3 years ago by shayanh
  1

• Exception when generating Go code

  #197 opened 3 years ago by shayanh
  0

• Wrong macro expansion in PlusCal compilation

  #195 opened 3 years ago by shayanh
  3

• semantic check on output failed. probably a PGo bug!

  #188 opened 3 years ago by shayanh
  0

• Running fuzz tests over and over again

  #169 opened 3 years ago by shayanh
  0

• Adding extra '\' when unnecessary in MPCal to PCal translation

  #184 opened 3 years ago by ruchitpalrecha
  0

• Support TLA+ 2

  #170 opened 3 years ago by fhackett
  1

• TLA+ module support (for completeness)

  #158 opened 3 years ago by fhackett
  2

• Archetype instantiation doesn't allow to reference archetype ID in the parameters list

  #173 opened 3 years ago by shayanh
  0

• Assertion error when compiling to PCal

  #174 opened 3 years ago by shayanh
  1

• Wrong compilation of `CHOOSE` construct

  #171 opened 3 years ago by shayanh
  1

• Error in compiled Go output

  #167 opened 3 years ago by shayanh
  2

• Wrong indexes in `EXCEPT` expression when compiling 2D arrays

  #164 opened 3 years ago by shayanh
  0

• AssertionError when wrongly mapping a 2D array

  #163 opened 3 years ago by shayanh
  4

• Macro Expansion Bug

  #161 opened 3 years ago by shayanh
  1

• Assigning a same value to multiple elements of a mapping macro

  #159 opened 3 years ago by shayanh
  0

• PGo dead code elimination

  #128 opened 3 years ago by shayanh
  1

• Syntax highlighting for MPCal

  #129 opened 3 years ago by shayanh
  1

• TCP failure detector and Monitor

  #135 opened 3 years ago by shayanh
  0

• pgo.InternalCompilerError when generating Go implementation

  #127 opened 3 years ago by shayanh
  3

• java.lang.NullPointerException

  #133 opened 3 years ago by shayanh
  0

• Generated PlusCal code has errors

  #147 opened 3 years ago by shayanh
  1

• Documentation outdated

  #138 opened 3 years ago by lemmy
  1

• Minimal version of PGo Go library (mostly stubs)

  #132 opened 3 years ago by fhackett
  0

• Rewriting Go code gen

  #131 opened 3 years ago by fhackett
  0

• Finalize failure behavior expressing approach in MPCal

  #136 opened 3 years ago by shayanh
  2

• PGo rewrite: Go-land data model implementation

  #130 opened 3 years ago by fhackett
  0

• Fix CI build

  #142 opened 3 years ago by fhackett
  0

• Generated Code Conformance Checking

  #137 opened 3 years ago by fhackett
  3