aes: remove aes_parameterized version #77

This has been fully replaced by the explicit parameterizations of AES (AES128, AES256) introduced in 53d6e68 in the internal codebase
GaloisInc · Jun 24, 2024 · 302d249 · 302d249
1 parent 8c14010
commit 302d249
Showing 1 changed file with 0 additions and 43 deletions.
diff --git a/Primitive/Symmetric/Cipher/Block/AES_parameterized.cry b/Primitive/Symmetric/Cipher/Block/AES_parameterized.cry