Add internal/Hacl_Spec.h to MSVC

cryspen · Jul 18, 2023 · bcf5962 · bcf5962
1 parent 5d40ece
commit bcf5962
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/include/msvc/internal/Hacl_Spec.h b/include/msvc/internal/Hacl_Spec.h
@@ -40,6 +40,10 @@ extern "C" {
 #define Spec_Cipher_Expansion_Hacl_CHACHA20 0
 #define Spec_Cipher_Expansion_Vale_AES128 1
 #define Spec_Cipher_Expansion_Vale_AES256 2
+#define Spec_Cipher_Expansion_AESNI_PCLMUL_AES128 3
+#define Spec_Cipher_Expansion_AESNI_PCLMUL_AES256 4
+#define Spec_Cipher_Expansion_M32_AES128 5
+#define Spec_Cipher_Expansion_M32_AES256 6
 
 typedef uint8_t Spec_Cipher_Expansion_impl;