Search results

shared ptr has atomics but the bugs are not detected

Status: Open.

#46 In dvyukov/relacy;

· DenisYaroshevskiy opened on Apr 5, 2026

readme links are broken

Status: Open.

#42 In dvyukov/relacy;

· DenisYaroshevskiy opened on Feb 1, 2026

load/store pair is never being executed out-of-order, even in relaxed mode

Status: Open.

#39 In dvyukov/relacy;

· aleh-kazakevich opened on Jan 25, 2026

Not quite The 3-Clause BSD License

Status: Open.

#31 In dvyukov/relacy;

· DenisYaroshevskiy opened on Sep 17, 2025

Race condition false positive (?) (seq_cst fences involved).

Status: Open.

#26 In dvyukov/relacy;

· RafaelGago1 opened on Dec 19, 2024

Relaxed exchange appears stronger than on real hardware

Status: Open.

#16 In dvyukov/relacy;

· snaury opened on Aug 30, 2023

Compilation error - GCC 7.4.0

Status: Open.

#13 In dvyukov/relacy;

· m-chichikalov opened on Jul 26, 2019

Scheduler based on memory snapshots

Status: Open.

#7 In dvyukov/relacy;

· dorooleg opened on Apr 3, 2018

Why assertion passed but must fail

Status: Open.

#3 In dvyukov/relacy;

· bragcustom opened on Sep 6, 2016