ocaml-multicore / kcas

Software Transactional Memory for OCaml
https://ocaml-multicore.github.io/kcas/
ISC License
109 stars 11 forks source link

Add test that `get` is linearizable using `Xt` #148

Closed polytypic closed 11 months ago