Skip to content

feat(spec): comprehensive spec-driven workflow with 44 features - #179

Merged
Patel230 merged 11 commits into
mainfrom
feat/spec-driven-and-hooks
Aug 5, 2026
Merged

feat(spec): comprehensive spec-driven workflow with 44 features#179
Patel230 merged 11 commits into
mainfrom
feat/spec-driven-and-hooks

feat(spec): formal correctness properties for spec verification

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