Fix optimistic locking under weak memory ordering - #2581

Open

quentin wants to merge 3 commits into

souffle-lang:masterfrom

quentin:weak-mem-ordering

Commits on May 10, 2026

Fix optimistic B-tree traversal under weak memory ordering
quentin
committed
3f1b771
Fix optimistic locking in parallel B-tree find
quentin
committed
f9ab25a
Restore Apple ARM OpenMP CI with GCC 15
quentin
committed
ecb775c