ran make after removing dettman mul32, square32 functions

(they're now special cases of the mul, square functions)
mit-plv · Jun 3, 2023 · 0660683 · 0660683
1 parent 224f4d8
commit 0660683
Show file tree

Hide file tree

Showing 13 changed files with 1,368 additions and 1,391 deletions.
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