Skip to content

Optimize UI updates of slicing panel#3735

Open
FliegendeWurst wants to merge 2 commits into
KeYProject:mainfrom
FliegendeWurst:slicing-ui-perf
Open

Optimize UI updates of slicing panel#3735
FliegendeWurst wants to merge 2 commits into
KeYProject:mainfrom
FliegendeWurst:slicing-ui-perf

Slicing: remove RuleAppListeners, cleanup related code

22164b0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
checkerFramework
succeeded Jul 9, 2026 in 2m 26s