Consider rewriting pippenger so it can be used in IPA verification #1019

Open maramihali opened 1 month ago