Merge maintenance/mps20232 into master#1263

Merged

arimer merged 19 commits intomasterfrom

Mar 31, 2025

Commits on Mar 26, 2025

Commits on Mar 27, 2025

build: fix project location for modelcheck
sergej-koscejev
committed
deactivate the modelcheck task
Alexander Pann
committed
Merge remote-tracking branch 'origin/merge/mps20223' into merge/mps20223
Alexander Pann
committed
Merge pull request #1259 from IETS3/merge/mps20223
Alexander Pann
authored
toplevel.rt.rt: introduced hashCode() and equals for projection results.
mgronover
committed

Commits on Mar 28, 2025

cleanups by "./gradlew build migrate remigrate"
mgronover
committed