porcupine icon indicating copy to clipboard operation
porcupine copied to clipboard

A fast linearizability checker written in Go 🔎

Results 4 porcupine issues
Sort by recently updated
recently updated
newest added

See documentation for `LinearizationInfo.AddAnnotations` and the new `Annotation` type. Example: [[view interactive version]](https://anishathalye.github.io/porcupine/demo-annotations.html)

Porcupine visualization is a great tool to view history of operations done in model. However it only graphs event history outputted from linearization. In the real system there might be...

When testing changes to etcd robustness testing we have managed to generate 1.5GB visualization file. The operation history is about 3k operatons, which is pretty short, however due to high...

After calling `CheckOperationsVerbose` and getting a result I would love be able to access the "longest linearizable path" found. In the case of an `Ok` result this would be equivalent...