pgo
pgo copied to clipboard
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
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...
This makes debugging much easier.
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...