[Lean Squad] feat(fv): Task 1 — expand FV targets to include SplitCommandLine and TreeNodeFilter#7849

Merged

Evangelink merged 3 commits intomainfrom

lean-squad/task1-new-targets-2026-04-26-af98d23215b156cc

Apr 27, 2026

Commits on Apr 26, 2026

feat(fv): Task 1 — expand FV targets to include SplitCommandLine and TreeNodeFilter

github-actions[bot]
and
Copilot
authored

Commits on Apr 27, 2026

Apply suggestions from code review

Evangelink
and
Copilot
authored
Merge origin/main into branch — resolve conflict in formal-verification/TARGETS.md

Copilot
and
Evangelink
authored