search

formosa-crypto / formosa-mlkem

Other
11 stars 7 forks source link

Minor code cleanup #12

Closed vbgl closed 9 months ago

vbgl commented 9 months ago

This ensures that Jasmin code typechecks without any warning.

vbgl commented 9 months ago

CI in progress: https://github.com/vbgl/hakyber/actions/runs/7781191786/job/21215164303