pgo icon indicating copy to clipboard operation
pgo copied to clipboard

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

Results 29 pgo issues
Sort by recently updated
recently updated
newest added

Am new here . Really nice framework . ShiViz is working with this code base, so that I can see the evacuation history ?

I believe it's still possible to get a much better performance from RaftKVS.

`ArchetypeResourceMaker` was introduced to help with persistence at first. We didn't implement anything at that time until later we implemented persistence with another idea. The resource maker interface now doesn't...

I suggest using [logrus](https://github.com/sirupsen/logrus) or [zap](https://github.com/uber-go/zap).

When running NestedCRDTImpl_test.go, a bunch of network errors are reported. A quick snapshot below of an example. ``` 2022/01/27 12:44:26 network error during handleConn, dropping connection: gob: decoding into local...

Preferably both for Go and Scala codes.

I believe CI failures are due to two problems in the tcp mailboxes that I describe them below. 1. Receiving duplicate commit messages causes negative wait group count and a...