Linearizability checker
[knossos "0.2.1"]
knossos/knossos {:mvn/version "0.2.1"}
implementation("knossos:knossos:0.2.1")
<dependency> <groupId>knossos</groupId> <artifactId>knossos</artifactId> <version>0.2.1</version> </dependency>
Want to display the latest version of your project on GitHub? Use the markdown code below!
If you want to include pre-releases and snapshots, use the following markdown code: