[FEAT] Race Detector#271

Closed

mark14wu wants to merge 16 commits intomainfrom

feature/race_detector

Commits on Mar 6, 2026

[FEAT] Add RaceDetector with symbolic-first Z3 cross-block detection
mark14wu
committed

Commits on Mar 8, 2026

Commits on Mar 14, 2026

Merge branch 'main' into feature/race_detector
mark14wu
committed

Commits on Mar 17, 2026

[FIX] Fix infinite loop and O(n²) blowup in race detector for CAS spin barriers
mark14wu
committed

Commits on Mar 19, 2026

Replace symbolic epoch splitting with candidate-only bailout
mark14wu
committed

Commits on Mar 21, 2026

Fix symbolic success skipping concrete replay, witness precision, CLI message
mark14wu
committed