Issues

• Non linearizability in Size: Htbl.length and Skiplist.length can return an impossible size.

  ocaml-multicore/saturn#191 · Filter by author nobrakal opened on Oct 13, 2026

• Non-linearizability in Bounded_queue: is_full can return false on a full queue

  ocaml-multicore/saturn#190 · Filter by author nobrakal opened on Oct 12, 2026

• Test failure with new ocaml

  ocaml-multicore/saturn#187 · Filter by author LocutusOfBorg opened on Jun 30, 2025
  1

• lockfree alcotest dependency is not marked as with-test

  ocaml-multicore/saturn#184 · Filter by author Simn opened on Apr 1, 2025
  2

• Synchronization in work-stealing deque

  ocaml-multicore/saturn#183 · Filter by author clef-men opened on Jan 6, 2025
  3

• Extend API of Skiplist

  enhancement
  ocaml-multicore/saturn#178 · Filter by author lyrm opened on Dec 5, 2024

• Impact of copy_as_padded

  ocaml-multicore/saturn#171 · Filter by author art-w opened on Nov 28, 2024
  1

• Saturn.Queue.push interface

  ocaml-multicore/saturn#149 · Filter by author incipit0 opened on Sep 6, 2024
  1

• Implement additional operations and dynamic resizing on skiplists

  enhancement
  ocaml-multicore/saturn#119 · Filter by author polytypic opened on Jan 11, 2024

• More dscheck tests with dscheck.0.3.0

  enhancement
  ocaml-multicore/saturn#108 · Filter by author lyrm opened on Nov 21, 2023

• Testing utop

  ocaml-multicore/saturn#45 · Filter by author bartoszmodelski opened on Dec 16, 2022

• CQS

  help wantednew data structure
  ocaml-multicore/saturn#41 · Filter by author kayceesrk opened on Dec 12, 2022
  2

• Priority queue

  help wantednew data structure
  ocaml-multicore/saturn#31 · Filter by author bartoszmodelski opened on Nov 2, 2022
  3

• Doubly-linked list

  help wantednew data structure
  ocaml-multicore/saturn#30 · Filter by author bartoszmodelski opened on Nov 2, 2022
  1

• Lock-free bag

  enhancementhelp wanted
  ocaml-multicore/saturn#29 · Filter by author bartoszmodelski opened on Nov 2, 2022
  3