code-gen: Simplify switch
#2240
Merged
dweindl merged 10 commits intoAMICI-dev:developfrom dweindl:better_switchDec 18, 2023
+27-12
Commits
Commits on Dec 15, 2023
- committed
- committed
Commits on Dec 18, 2023
- committed
- committed
- committed
- committed
- committed
- authored
- authored