This archive contains:

dm32          GMP-Double-Mersenne executable for i686 Linux (32-bit)
dm64          GMP-Double-Mersenne executable for x86-64 Linux (64-bit)
dm64_redc     GMP-Double-Mersenne executable for x86-64 Linux (64-bit)

dm64_redc uses a modular multiplication method based on Pierrick Gaudry's
REDC code from GMP-ECM for factors up to 128 bits.


Executables were compiled with GCC 4.1.2 using these command lines:

gcc -Wall -m32 -march=i686 -O2 -fomit-frame-pointer -D_DM_ -o dm32 fermat_redc.c -lgmp

gcc -Wall -m64 -march=k8 -O2 -D_DM_ -o dm64 fermat_redc.c mulmod128.s sqrmod128.s mulmod192.s sqrmod192.s -lgmp

gcc -Wall -m64 -march=k8 -O2 -D_DM_ _DUSE_REDC -o dm64 fermat_redc.c mulmod128.s sqrmod128.s mulmod192.s sqrmod192.s -lgmp
