Skip to content


T-Gruber requested to merge T-Gruber/frama-clang:feature/limits into master

The standard library of Frama-Clang is knwon to be incomplete. The implementation of the limits header should be added. This requires changes to three files:


  • add cfloat header to share/libc++
  • includes float.h from the C standard library
  • implementation of limits header uses macros defined in float.h


  • add limits header to share/libc++
  • add implementation of std::numeric_limits template class


  • add cfloat and limits header to CXX_HEADERS (Installed header files)

Merge request reports