lincheck 0.2.0

A linearizability checker for concurrent data structures
Documentation