Schema pruning - #141

Open

imranq2 wants to merge 5 commits into

mainfrom

Commits on Mar 28, 2022

rename schema_reduction to schema_pruning
imranq2
committed

Commits on Mar 29, 2022

Commits on Apr 18, 2022

Merge branch 'main' into schema_pruning
imranq2
committed