Index SCIP field enclosing_range#838

Merged

jupblb merged 3 commits intosourcegraph:mainfrom

CatherineGasnier:fix-enclosing-range-method-833

Feb 13, 2026

Commits on Feb 13, 2026

Populate SCIP field enclosing_range for definitions
Catherine Gasnier
committed
Indent snapshot source lines with 2 spaces and replace tabs with spaces
jupblb
committed
Change enclosing_range to visual start/end markers matching scip-go style
jupblb
committed