Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add tests for AES-GCM Graviton2 assembly routines #32

Merged
merged 5 commits into from
Jun 13, 2024

Conversation

pennyannn
Copy link
Collaborator

@pennyannn pennyannn commented May 23, 2024

Description:

Adding tests for AES-GCM Graviton2 assembly routines.

  1. AESV8ProgramTests.lean tests AES related routines including: aes_hw_ctr32_encrypt_blocks, aes_hw_encrypt and aes_hw_set_encrypt_key
  2. GCMProgramTests.lean tests GCM related routines including: gcm_ghash_v8, gcm_gmult_v8 and gcm_init_v8
  3. AESGCMProgramTests.lean tests AES GCM related routines including: aes_gcm_dec_kernel and aes_gcm_enc_kernel
  4. Common.lean includes common utilities used in these tests

Testing:

Make all was successful and conformance tests passed.

License:

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

@pennyannn pennyannn force-pushed the yppe/program_tests branch 10 times, most recently from fe12177 to 85f9d39 Compare May 31, 2024 01:12
@pennyannn pennyannn force-pushed the yppe/program_tests branch 18 times, most recently from 7a7c795 to f6787ef Compare June 5, 2024 22:50
@pennyannn pennyannn force-pushed the yppe/program_tests branch 2 times, most recently from b7311bd to ac162a3 Compare June 11, 2024 23:32
@pennyannn pennyannn force-pushed the yppe/program_tests branch 3 times, most recently from 8f158c5 to 480a777 Compare June 12, 2024 18:56
@pennyannn pennyannn force-pushed the yppe/program_tests branch from 480a777 to 1c146de Compare June 12, 2024 18:57
@pennyannn pennyannn marked this pull request as ready for review June 12, 2024 19:07
Tests/Common.lean Outdated Show resolved Hide resolved
@pennyannn pennyannn force-pushed the yppe/program_tests branch from 1fbe3c0 to ecbd282 Compare June 13, 2024 22:03
@pennyannn pennyannn force-pushed the yppe/program_tests branch from ebf70fe to 5a0864e Compare June 13, 2024 23:11
@shigoel shigoel merged commit 21872b2 into leanprover:main Jun 13, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants