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 · 7718abf · 7718abf
1 parent 8c14010
commit 7718abf
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