Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago

The Linux manpage for tan states that only a floating-point exception
(FE_OVERFLOW) occurs in case of result overflow, but the POSIX manpage mentions
that errno can be set to ERANGE.

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.

David Bühler authored 4 years ago and Loïc Correnson committed 4 years ago

These behaviors are automatically removed with default option
[-warn-special-float non-finite].

By default in Frama-C, NaN values are considered as errors and should not be
produced by calls to library functions.

  Add \plus_infinity, \minus_infinity, \NaN
  Support in EVA

(blind make headers from specifications)

- Fix Value/Value#5
- Fix Value/Value#14

Some case studies (e.g. dyad) use some ugly casts from fd_set_t which lead
to the analysis stopping too early.
Changing the representation of fd_set_t should also help it better conform to
the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).

[Ptests] preserve LOG after STDOPT directive

See merge request frama-c/frama-c!2073