Skip to content

Activity

Showing most recent first

Update ocamlformat version. (#181)

Pull request merge
lyrmpushed 1 commit to main • 306bea6…f343045 • 
on Jan 8

Fix links in doc. (#180)

Pull request merge
lyrmpushed 1 commit to main • 12e841a…306bea6 • 
on Dec 11, 2024

Automate odoc deploy (#179)

Pull request merge
lyrmpushed 1 commit to main • ed0a45d…12e841a • 
on Dec 11, 2024

Update saturn doc to 1.0.0.

lyrmpushed 1 commit to gh-pages • 797b4bc…58567e9 • 
on Dec 5, 2024

Prepare for release 1.0 (#176)

Pull request merge
lyrmpushed 1 commit to main • 0b23fa5…ed0a45d • 
on Dec 5, 2024

Fix deps and update deps for OCaml, backoff and qcheck-stm libs (#175)

Pull request merge
lyrmpushed 1 commit to main • 23c957d…0b23fa5 • 
on Dec 5, 2024

Improve documentation. (#177)

Pull request merge
lyrmpushed 1 commit to main • 78bbd54…23c957d • 
on Dec 4, 2024

Minor fixes in documentation. (#174)

Pull request merge
lyrmpushed 1 commit to main • e512028…78bbd54 • 
on Dec 4, 2024

Lockfree bag based on the hash table (#173)

Pull request merge
lyrmpushed 1 commit to main • 05e0b3a…e512028 • 
on Dec 3, 2024

Skiplist : doc improvement (#172)

Pull request merge
lyrmpushed 1 commit to main • c8a7591…05e0b3a • 
on Dec 3, 2024

Update README file (#169)

Pull request merge
lyrmpushed 1 commit to main • fba29af…c8a7591 • 
on Dec 2, 2024

Mpsc update (#162)

Pull request merge
lyrmpushed 1 commit to main • 687680c…fba29af • 
on Dec 2, 2024

Uniformization of Michael Scott queue with other queues (#167)

Pull request merge
lyrmpushed 1 commit to main • 3b74e90…687680c • 
on Dec 2, 2024

Add useful warnings. (#170)

Pull request merge
lyrmpushed 1 commit to main • 2bb4d4b…3b74e90 • 
on Dec 2, 2024

Ws deque update : documentation improvement and drop functions (#168)

Pull request merge
lyrmpushed 1 commit to main • fc0e6a2…2bb4d4b • 
on Dec 2, 2024

Uniformize spcs documentation and functions (#165)

Pull request merge
lyrmpushed 1 commit to main • fc34768…fc0e6a2 • 
on Dec 2, 2024

Add test for of_list_exn. (#166)

Pull request merge
lyrmpushed 1 commit to main • 2035010…fc34768 • 
on Nov 24, 2024

Optimize work-stealing deque (#124)

Pull request merge
lyrmpushed 1 commit to main • 471912c…2035010 • 
on Nov 23, 2024

Fix bench.

lyrmpushed 1 commit to optimize-ws-deque • 4bbccc9…eb486cc • 
on Nov 23, 2024

Fix tests after minor changes.

lyrmpushed 1 commit to optimize-ws-deque • 29a52e6…4bbccc9 • 
on Nov 23, 2024

Minor changes.

Force push
lyrmforce pushed to optimize-ws-deque • 5f0534d…29a52e6 • 
on Nov 23, 2024

Bounded queue (#160)

Pull request merge
lyrmpushed 1 commit to main • d9cd634…471912c • 
on Nov 23, 2024

Change bench for safe/unsafe htbl and ms_queue from first class modul…

Pull request merge
lyrmpushed 1 commit to main • fcd94ac…d9cd634 • 
on Nov 23, 2024

Rename Bounded_stack.of_list -> of_list_exn and change a dscheck test…

Pull request merge
lyrmpushed 1 commit to main • e50b636…fcd94ac • 
on Nov 23, 2024

Bounded stack (#156)

Pull request merge
lyrmpushed 1 commit to main • d509fc6…e50b636 • 
on Nov 21, 2024

Fix treiber minor issues (#163)

Pull request merge
lyrmpushed 1 commit to main • 8ed5de4…d509fc6 • 
on Nov 21, 2024

Add new functions and improve documentations of Treiber stack. (#158)

Pull request merge
lyrmpushed 1 commit to main • 37d41e2…8ed5de4 • 
on Nov 21, 2024

Rename pop to pop_exn and steal to steal_exn

Force push
lyrmforce pushed to optimize-ws-deque • 98f99bd…5f0534d • 
on Nov 17, 2024

Remove Saturn_lockfree package. (#159)

Pull request merge
lyrmpushed 1 commit to main • 357c1fe…37d41e2 • 
on Nov 5, 2024

Remove relaxed_queue and M module in ws_deque (#157)

Pull request merge
lyrmpushed 1 commit to main • 8b46e8e…357c1fe • 
on Oct 31, 2024