swap GUID and REF_GUID in PlanungsBereichValid message#2243

Merged

mariusheine merged 9 commits intomainfrom

fix-swap-reference-uids

Mar 10, 2026

Commits on Mar 3, 2026

swap GUID and REF_GUID in PlanungsBereichValid message

Linus Brombacher
authored and
Linus Brombacher
committed

Commits on Mar 4, 2026

Update java/bundles/org.eclipse.set.feature.plazmodel/src/org/eclipse/set/feature/plazmodel/check/PlanungsBereichValid.xtend

linusbbb
and
mariusheine
authored
Update java/bundles/org.eclipse.set.feature.plazmodel/src/org/eclipse/set/feature/plazmodel/check/PlanungsBereichValid.xtend

linusbbb
and
mariusheine
authored
fix github syntax errors

Linus Brombacher
authored and
Linus Brombacher
committed

Commits on Mar 9, 2026

changed error object to be the reference of Zeiger_TypeClass

Linus Brombacher
authored and
Linus Brombacher
committed
improve performance

Linus Brombacher
authored and
Linus Brombacher
committed
Merge branch 'fix-swap-reference-uids' of https://github.com/linusbbb/set into fix-swap-reference-uids
TruongQuangSB
committed

Commits on Mar 10, 2026