Fix and speedup diff-shades integration #2773

Merged

JelleZijlstra merged 6 commits intopsf:mainfrom ichard26:diff-shades-v2

Jan 20, 2022

+68-41

Commits on Jan 15, 2022

... does this help with compile time / analysis runtime
ichard26
committed

Commits on Jan 17, 2022

Merge branch 'main' into diff-shades-v2
JelleZijlstra
authored