Merge branch 'master' into feature/wp/update-provers-1.3.1

.Makefile.lint

share/libc/math.h

src/kernel_internals/typing/logic_builtin.ml

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/src/main.ml

src/plugins/value/legacy/eval_terms.ml

src/plugins/wp/Cfloat.ml

src/plugins/wp/Cfloat.mli

src/plugins/wp/Lang.ml

src/plugins/wp/Lang.mli

src/plugins/wp/LogicBuiltins.ml

src/plugins/wp/LogicBuiltins.mli

src/plugins/wp/ProverWhy3.ml

src/plugins/wp/Vlist.ml

src/plugins/wp/share/why3/frama_c_wp/cfloat.mlw

src/plugins/wp/tests/wp_acsl/float_const.i

src/plugins/wp/tests/wp_acsl/oracle/float_const.res.oracle

...ns/wp/tests/wp_acsl/oracle/unsupported_builtin.res.oracle

...wp/tests/wp_acsl/oracle_qualif/float_compare.0.res.oracle

...nst.0.session/cache/211e52458be3c1ae451dfd1d012b443d.json