Introducing some structure for model method bodies#3571

Merged

mattulbrich merged 10 commits intoKeYProject:mainfrom

mattulbrich:structuredModelMethods

Aug 12, 2025

Commits on Feb 23, 2025

Commits on Mar 3, 2025

Commits on May 11, 2025

updating the BoyerMoore example to use statements in model methods.
mattulbrich
committed
Merge remote-tracking branch 'origin/main' into structuredModelMethods
mattulbrich
committed

Commits on Aug 6, 2025

Commits on Aug 12, 2025