migrate verification strategy#51

Open

enadeau wants to merge 12 commits intodevelopfrom

migrate-strategy

Commits on Jan 31, 2020

migrate verification strategy
enadeau
committed

Commits on Feb 3, 2020

Commits on Feb 5, 2020

Commits on Feb 7, 2020

move all_placements for equivalence to batch
enadeau
committed