Repository navigation

feat(dpor): implement dynamic property-aware partial order reduction (Spec 15) - #55

Merged

SamuelIVX merged 3 commits into

mainfrom

feat/property-aware-dpor

Oct 16, 2026

Merged

feat(dpor): implement dynamic property-aware partial order reduction (Spec 15)#55
SamuelIVX merged 3 commits into
mainfrom
feat/property-aware-dpor

Commits on Oct 16, 2026
- feat(dpor): implement dynamic property-aware partial order reduction (Spec 15)
  
  SamuelIVX
  and
  Gemini
  committed
  136fad5
- fix(dpor): address CodeRabbit and Graphify review feedback on Spec 15
  
  SamuelIVX
  and
  Gemini
  committed
  f5011ad
- docs(spec-15): format markdown headings, code fences, and list style
  
  SamuelIVX
  and
  Gemini
  committed
  49cf1fb