Lef/everparse absolute fix#4153

Closed

elefthei wants to merge 2 commits intofstar2from

lef/everparse-absolute-fix

Commits on Mar 31, 2026

Parser.Dep: respect fstar.include in directory expansion

Lef Ioannidis
and
Copilot
committed

Commits on Apr 1, 2026

Parser.Dep: make --dep full output relative paths

Lef Ioannidis
and
Copilot
committed