Update AES-GCM programs and their tests#54

Merged

shigoel merged 2 commits intoleanprover:mainfrom pennyannn:yppe/update-assembly

Aug 5, 2024

+2,017-2,038

Commits on Aug 1, 2024

Update AES-GCM programs and their tests with respect to PR
pennyannn
committed

Commits on Aug 5, 2024

Merge branch 'main' into yppe/update-assembly
shigoel
authored