Repository navigation

Generalize Peterson invariant to N threads and add DSL local arrays - #52

Merged

SamuelIVX merged 3 commits into

mainfrom

feature/n-thread-peterson-and-dsl-local-arrays

Oct 12, 2026

Merged

Generalize Peterson invariant to N threads and add DSL local arrays#52
SamuelIVX merged 3 commits into
mainfrom
feature/n-thread-peterson-and-dsl-local-arrays

Commits on Oct 12, 2026
- Generalize Peterson invariant to N threads and add DSL local arrays
  
  SamuelIVX
  and
  codex
  committed
  590db3c
- Address CodeRabbit and Graphify review findings on PR 52
  
  SamuelIVX
  and
  codex
  committed
  41d2ee5
- fix(invariant): fail-fast on thread count mismatch in mutual_exclusion_peterson
  
  SamuelIVX
  and
  codex
  committed
  630e191