tests/libc/oracle/fc_libc.0.res.oracle · cfe4beff89242aa20a6b44a131d32314c5995e31 · pub / frama-c

4 years ago

[Libc] fix and improve specification for frexp* and ldexp* · cfe4beff

Andre Maroneze authored 4 years ago and

David Bühler committed 3 years ago

Due to the absence of a long double version of the pow() logic function,
and due to likely little demand for ldexpl, this function has not been
specified.

cfe4beff

History

[Libc] fix and improve specification for frexp* and ldexp*

Andre Maroneze authored 4 years ago and

David Bühler committed 3 years ago

Due to the absence of a long double version of the pow() logic function,
and due to likely little demand for ldexpl, this function has not been
specified.