Skip to content

WIP: Unify only modified

Libor Peltan requested to merge unify_only_modified into master

To further speedup incremental updates, mostly the cleanup phase,

keep track of affected nodes (both by update and by adjusting) and unify only those.

Merge request reports

Loading