Repository navigation

Fix handling of node numbers in queries with multiple alternatives - #338

Merged

thomaskrause merged 4 commits into

korpling:mainfrom

matthias-stemmler:bugfix/node-numbers-multiple-alternatives

Jun 25, 2026

Commits on Jun 6, 2026
- Fix handling of node numbers in queries with multiple alternatives
  matthias-stemmler
  committed
  cd8b5e9
Commits on Jun 25, 2026
- Add comments that specify in which fields node numbers or variable names are used
  thomaskrause
  committed
  5ec35fe
- Wording
  thomaskrause
  committed
  4a12790
- Merge branch 'main' into bugfix/node-numbers-multiple-alternatives
  thomaskrause
  committed
  741d697