Search results

Not quite The 3-Clause BSD License

Status: Open.

#31 In dvyukov/relacy;

· DenisYaroshevskiy opened on Sep 17, 2025

Build broken for versions prior to C++20

Status: Open.

#28 In dvyukov/relacy;

· RafaelGago1 opened on Apr 30, 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