aes: remove aes_parameterized version #77

This has been fully replaced by the explicit parameterizations of AES (AES128, AES256) in the internal codebase
GaloisInc · Jun 24, 2024 · 5b7ca52 · 5b7ca52
1 parent a074359
commit 5b7ca52
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