Rework the position handling in the Crucible code - #3291

Draft

sauclovian-g wants to merge 14 commits into

3116-crucible-positions

Commits on Jun 4, 2026

crucible: Fix the printer for the PrePost type.
sauclovian-g
committed
7cd4648
crucible: Tidy ConditionMetadata type.
sauclovian-g
committed
f5e783a
crucible: Rearrange "conditionContext"
sauclovian-g
committed
bbdd93d
crucible: position handling fix
sauclovian-g
committed
a798e41
crucible: Remove osLocation from OverrideMatcher state.
sauclovian-g
committed
ad60531
crucible: Change conditionType in ConditionMetadata to Text.
sauclovian-g
committed
24590ec
crucible: minor positioning fix
sauclovian-g
committed
87b6ffa
crucible: Fix the function names attached to ghost value assertions.
sauclovian-g
committed
954c187
interpreter: Add hacks for overall crucible-setup source positions.
sauclovian-g
committed
0b267db
Add a FunctionOnlyPos to saw-script/saw-central positions.
sauclovian-g
committed
8866e15
crucible: Switch to saw-central positions for whole MethodSpecs.
sauclovian-g
committed
313a244
CHANGES: Position reporting in the verification summaries has improved.
sauclovian-g
committed
3773ebd
crucible: More position tracking fixups and notes.
sauclovian-g
committed
e9c4628
crucible: Assorted other minor tidyups related to position handling.
sauclovian-g
committed
3a42c62