Ivan Beschastnikh

@lemmy, thanks for the quick comment. Is it possible to influence/direct TLC during simulator mode -- i.e., to push it along a concrete path that we are checking?

Hi Gerard, Thanks for your interest. PGo is independent of ShiViz and does not currently output instrumentation for ShiViz (i.e., does not integrate [GoVector](https://github.com/DistributedClocks/GoVector), which is necessary to get ShiViz-compatible...

Thanks for the description. This (PGo) project might help you with design of your replication logic, but only if you need to have some formal guarantees. For example, if you...

I'm going to quote Finn, who thought a bit about your question -- > Due to our custom architecture, there isn't so much of a "simple" method of integrating GoVector....

Hi Markus, that's a good suggestion. I'm wondering how to accomplish this, however. Since ShiViz is browser-side only, the best we can do is export a png/jpg/svg of the graph...