Skip to content

Handle Switch in Taclets w/o Transformer - #3761

Draft
Drodt wants to merge 31 commits into
KeYProject:mainfrom
Drodt:match-switch
Draft

Handle Switch in Taclets w/o Transformer#3761
Drodt wants to merge 31 commits into
KeYProject:mainfrom
Drodt:match-switch

Commits

Commits on Apr 21, 2026

Commits on Jun 18, 2026

Commits on Jun 23, 2026

Commits on Jun 24, 2026

Commits on Jun 25, 2026

Commits on Jun 26, 2026