Work in progress on rewriting incremental SHA2 in the new HST style
Work in progress on rewriting incremental SHA2 in the new HST style

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star