One Step Simplifier: optimizations (no new rules)#3280
Open
FliegendeWurst wants to merge 19 commits intoKeYProject:mainfrom FliegendeWurst:ossOptimizeNoNewRules
+264-61
Commits
Commits on Sep 5, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 22, 2023
- committed
- committed
- committed
- committed
- committed