Skip to content

Fix #504: lazy hash and inferred assumptions are race-free on shared nodes - #511

Open
petlenz wants to merge 2 commits into
fix-490-491-assumption-consistencyfrom
fix-504-shared-node-races
Open

Fix #504: lazy hash and inferred assumptions are race-free on shared nodes#511
petlenz wants to merge 2 commits into
fix-490-491-assumption-consistencyfrom
fix-504-shared-node-races

Carry the epoch semantics onto the atomic fact masks

9ed96c2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
clang-tidy
succeeded Sep 20, 2026 in 9m 51s