Merge branch '426-specs-des-fonctions-flottantes-math-h' into 'master'
Resolve "Specs des fonctions flottantes (math.h)" Closes #426 See merge request frama-c/frama-c!2405
No related branches found
No related tags found
Showing
- Makefile 1 addition, 0 deletionsMakefile
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- share/libc/math.h 890 additions, 103 deletionsshare/libc/math.h
- src/kernel_services/ast_transformations/contract_special_float.ml 138 additions, 0 deletions...el_services/ast_transformations/contract_special_float.ml
- src/kernel_services/ast_transformations/contract_special_float.mli 21 additions, 0 deletions...l_services/ast_transformations/contract_special_float.mli
- src/plugins/report/tests/report/oracle/csv.csv 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/csv.csv
- src/plugins/report/tests/report/oracle/csv.res.oracle 8 additions, 8 deletionssrc/plugins/report/tests/report/oracle/csv.res.oracle
- tests/float/contract_special_float.c 99 additions, 0 deletionstests/float/contract_special_float.c
- tests/float/oracle/builtins.res.oracle 34 additions, 14 deletionstests/float/oracle/builtins.res.oracle
- tests/float/oracle/contract_special_float.0.res.oracle 67 additions, 0 deletionstests/float/oracle/contract_special_float.0.res.oracle
- tests/float/oracle/contract_special_float.1.res.oracle 69 additions, 0 deletionstests/float/oracle/contract_special_float.1.res.oracle
- tests/float/oracle/contract_special_float.2.res.oracle 37 additions, 0 deletionstests/float/oracle/contract_special_float.2.res.oracle
- tests/float/oracle/math_builtins.res.oracle 165 additions, 421 deletionstests/float/oracle/math_builtins.res.oracle
- tests/idct/oracle/ieee_1180_1990.res.oracle 263 additions, 184 deletionstests/idct/oracle/ieee_1180_1990.res.oracle
- tests/libc/oracle/fc_libc.0.res.oracle 7 additions, 6 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 115 additions, 93 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/math_h.res.oracle 85 additions, 112 deletionstests/libc/oracle/math_h.res.oracle
Loading
Please register or sign in to comment