Skip to content

Add data-aware Declare constraints to path search - #15

Merged
dbera merged 23 commits into
mainfrom
feature/declare-constraints
Aug 7, 2026
Merged

Add data-aware Declare constraints to path search#15
dbera merged 23 commits into
mainfrom
feature/declare-constraints

feat: improve constrained path condition editor

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

Annotations

1 warning
Frontend checks
succeeded Aug 7, 2026 in 14s