THG's substitution applier#105

Draft

matthiasdiener wants to merge 12 commits intoinducer:mainfrom

matthiasdiener:thg_subst_applier

Commits on Sep 28, 2021

Template for substitution applier
thomasgibson
committed

Commits on May 20, 2022

Merge branch 'main' into thg_subst_applier
matthiasdiener
committed

Commits on Jun 1, 2022

Commits on Aug 22, 2023

Merge branch 'main' into thg_subst_applier
matthiasdiener
authored

Commits on Sep 28, 2024

Merge branch 'main' into thg_subst_applier
matthiasdiener
authored

Commits on Sep 30, 2024