`DeadCode`: Eliminate out-of-scope results, handle templates and multiple compilation#717

Merged

lcartey merged 16 commits intomainfrom

lcartey/dead-code-improvements

Oct 15, 2024

Commits on Sep 24, 2024

DeadCode: Use HoldsForAllInstances
lcartey
committed

Commits on Sep 27, 2024

Merge branch 'main' into lcartey/dead-code-improvements
lcartey
authored

Commits on Oct 4, 2024

Merge branch 'main' into lcartey/dead-code-improvements
lcartey
authored

Commits on Oct 15, 2024