From 8708ece69c47a3b176ee5dcd5656a66f2c98b42d Mon Sep 17 00:00:00 2001 From: Daniel Hirche Date: Wed, 6 Feb 2019 11:40:32 +0100 Subject: Rename p484_64.c to p434_64.c (fix typo) Renamed the generated file and function names / comments within, update Makefile. This fixes a typo in the name of the curve, the prime remains the same, see https://github.com/mit-plv/fiat-crypto/issues/486#issuecomment-460801840 --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 3b5f88fef..17c1e220c 100644 --- a/Makefile +++ b/Makefile @@ -84,7 +84,7 @@ PRE_STANDALONE_VOFILES := $(call vo_closure,$(PRE_STANDALONE_PRE_VOFILES)) endif UNSATURATED_SOLINAS_C_FILES := curve25519_64.c curve25519_32.c p521_64.c p521_32.c p448_solinas_64.c # p224_solinas_64.c -WORD_BY_WORD_MONTGOMERY_C_FILES := p256_64.c p256_32.c p384_64.c p384_32.c secp256k1_64.c secp256k1_32.c p224_64.c p224_32.c p484_64.c # p484_32.c +WORD_BY_WORD_MONTGOMERY_C_FILES := p256_64.c p256_32.c p384_64.c p384_32.c secp256k1_64.c secp256k1_32.c p224_64.c p224_32.c p434_64.c # p434_32.c ALL_C_FILES := $(UNSATURATED_SOLINAS_C_FILES) $(WORD_BY_WORD_MONTGOMERY_C_FILES) FUNCTIONS_FOR_25519 := carry_mul carry_square carry_scmul121666 carry add sub opp selectznz to_bytes from_bytes UNSATURATED_SOLINAS := src/ExtractionOCaml/unsaturated_solinas @@ -245,9 +245,9 @@ p224_64.c p224_32.c : p224_%.c : $(HIDE)$(TIMER_FULL) $(WORD_BY_WORD_MONTGOMERY) 'p224' '2^224 - 2^96 + 1' '$*' > $@ # 2^216 * 3^137 - 1 -p484_64.c p484_32.c : p484_%.c : +p434_64.c p434_32.c : p434_%.c : $(SHOW)'SYNTHESIZE > $@' - $(HIDE)$(TIMER_FULL) $(WORD_BY_WORD_MONTGOMERY) 'p484' '2^216 * 3^137 - 1' '$*' > $@ + $(HIDE)$(TIMER_FULL) $(WORD_BY_WORD_MONTGOMERY) 'p434' '2^216 * 3^137 - 1' '$*' > $@ test-c-files: $(ALL_C_FILES) $(CC) -Wall -Wno-unused-function -Werror $(CFLAGS) -c $(ALL_C_FILES) -- cgit v1.2.3