La base de liens CRLibm-ftq
Issues base of tool CRLibm (INRIA Correctly Rounded Mathematical Library) [aum] from Team Sigwal
2 types of issue:
2 types of issue:
- AF=evolution 📝
- VR=anomaly 🐛
Solved (x1)
Reference
Last date
File name
Description
State
Reference
Last date
15/07/2025
File name
Description
Compilation issue over gwin64-7.3.0 (mingw32 host)
Added test over CRLIBM_HAS_FPU_CONTROL in crlibm_exit() as in crlibm_init() (crlibm_private.c).
Solved on July 15 25 commit 79f54bf
gcc -O0 -std=gnu99 -Drandom=rand -Dsrandom=srand -o crlibm_testval.exe test_val.o test_common.o ../libcrlibm.a -lm
../libcrlibm.a(crlibm_private.o):crlibm_private.c:(.text+0x14): undefined reference to `_FPU_SETCW'
collect2.exe: error: ld returned 1 exit status
../libcrlibm.a(crlibm_private.o):crlibm_private.c:(.text+0x14): undefined reference to `_FPU_SETCW'
collect2.exe: error: ld returned 1 exit status
Added test over CRLIBM_HAS_FPU_CONTROL in crlibm_exit() as in crlibm_init() (crlibm_private.c).
Solved on July 15 25 commit 79f54bf
State
🔵Solved