maintain separate direct and Make-quoted stanc options - #1231

Merged

jgabry merged 8 commits into

bugfix-issue-1227

Jul 27, 2026

Commits on Jul 25, 2026

maintain separate direct and Make-quoted stanc options
jgabry
committed
8a322fb
Merge branch 'master' into bugfix-issue-1227
jgabry
authored
46715bc
Preserve stanc diagnostics and resolved include paths
jgabry
committed
ca63f77
Add more test coverage
jgabry
committed
97ddf76
always set --allow-undefined if user header is specified
jgabry
committed
e8719aa
improve error message and fix some tests
jgabry
committed
389f9ff

Commits on Jul 27, 2026

Consolidate stanc option handling into a single helper
jgabry
committed
097a107
remove unnecessary code comment
jgabry
committed
ae9e624