Changing sha2 benchmarks to refer to the faster Hacl_SHA2_Streaming versions - #362
Open
karthikbhargavan wants to merge 5 commits into
Open
Changing sha2 benchmarks to refer to the faster Hacl_SHA2_Streaming versions#362karthikbhargavan wants to merge 5 commits into
karthikbhargavan wants to merge 5 commits into
