Update bedrock2 generated files from CI

mit-plv · Nov 7, 2023 · 42d644e · 42d644e
1 parent 27bdabb
commit 42d644e
Show file tree

Hide file tree

Showing 27 changed files with 108 additions and 54 deletions.
diff --git a/fiat-bedrock2/src/curve25519_32.c b/fiat-bedrock2/src/curve25519_32.c
diff --git a/fiat-bedrock2/src/curve25519_64.c b/fiat-bedrock2/src/curve25519_64.c
diff --git a/fiat-bedrock2/src/curve25519_scalar_32.c b/fiat-bedrock2/src/curve25519_scalar_32.c
diff --git a/fiat-bedrock2/src/curve25519_scalar_64.c b/fiat-bedrock2/src/curve25519_scalar_64.c
diff --git a/fiat-bedrock2/src/curve25519_solinas_64.c b/fiat-bedrock2/src/curve25519_solinas_64.c
diff --git a/fiat-bedrock2/src/p224_32.c b/fiat-bedrock2/src/p224_32.c
diff --git a/fiat-bedrock2/src/p224_64.c b/fiat-bedrock2/src/p224_64.c
diff --git a/fiat-bedrock2/src/p256_32.c b/fiat-bedrock2/src/p256_32.c
diff --git a/fiat-bedrock2/src/p256_64.c b/fiat-bedrock2/src/p256_64.c
diff --git a/fiat-bedrock2/src/p256_scalar_32.c b/fiat-bedrock2/src/p256_scalar_32.c
diff --git a/fiat-bedrock2/src/p256_scalar_64.c b/fiat-bedrock2/src/p256_scalar_64.c
diff --git a/fiat-bedrock2/src/p384_32.c b/fiat-bedrock2/src/p384_32.c
diff --git a/fiat-bedrock2/src/p384_64.c b/fiat-bedrock2/src/p384_64.c
diff --git a/fiat-bedrock2/src/p384_scalar_32.c b/fiat-bedrock2/src/p384_scalar_32.c
diff --git a/fiat-bedrock2/src/p384_scalar_64.c b/fiat-bedrock2/src/p384_scalar_64.c
diff --git a/fiat-bedrock2/src/p434_64.c b/fiat-bedrock2/src/p434_64.c
diff --git a/fiat-bedrock2/src/p448_solinas_64.c b/fiat-bedrock2/src/p448_solinas_64.c
diff --git a/fiat-bedrock2/src/p521_32.c b/fiat-bedrock2/src/p521_32.c
diff --git a/fiat-bedrock2/src/p521_64.c b/fiat-bedrock2/src/p521_64.c
diff --git a/fiat-bedrock2/src/poly1305_32.c b/fiat-bedrock2/src/poly1305_32.c
diff --git a/fiat-bedrock2/src/poly1305_64.c b/fiat-bedrock2/src/poly1305_64.c
diff --git a/fiat-bedrock2/src/secp256k1_dettman_32.c b/fiat-bedrock2/src/secp256k1_dettman_32.c
diff --git a/fiat-bedrock2/src/secp256k1_dettman_64.c b/fiat-bedrock2/src/secp256k1_dettman_64.c
diff --git a/fiat-bedrock2/src/secp256k1_montgomery_32.c b/fiat-bedrock2/src/secp256k1_montgomery_32.c
diff --git a/fiat-bedrock2/src/secp256k1_montgomery_64.c b/fiat-bedrock2/src/secp256k1_montgomery_64.c
diff --git a/fiat-bedrock2/src/secp256k1_montgomery_scalar_32.c b/fiat-bedrock2/src/secp256k1_montgomery_scalar_32.c
diff --git a/fiat-bedrock2/src/secp256k1_montgomery_scalar_64.c b/fiat-bedrock2/src/secp256k1_montgomery_scalar_64.c