leanprover / LNSym

Armv8 Native Code Symbolic Simulator in Lean
Apache License 2.0
62 stars 18 forks source link

Update aes_hw_ctr32_encrypt_blocks #63

Closed pennyannn closed 3 months ago

pennyannn commented 3 months ago

Description:

This PR updates program and tests for aes_hw_ctr32_encrypt_blocks based on the fix of a bug from the PR https://github.com/aws/aws-lc/pull/1690

Testing:

What tests have been run? Did make all succeed for your changes? Was conformance testing successful on an Aarch64 machine? Yes for both.

License:

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.