change lib omp link lib name + fixes to stdlib#5

Merged

vezenovm merged 5 commits intokw/noir-dslfrom

mv/test-omp-build

Dec 9, 2022

Commits on Dec 2, 2022

change lib omp link lib name
vezenovm
committed

Commits on Dec 7, 2022

change assert statement in schnorr code and print check_circuit when composing a new proof
vezenovm
committed

Commits on Dec 8, 2022