Skip to content

Unify only modified2

Libor Peltan requested to merge unify_only_modified2 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.

...includes some refactoring

Merge request reports