tboudreaux/MeanField
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use nondeprecated subnormal prerequisite for C++23 certificates

Browse Source
This commit is contained in:
Emily Boudreaux
2026-09-17 09:54:34 -04:00
parent 485e802453
commit 6b10e68ed3
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
libmeanfield/interface/solver/enthalpy_admissibility.cppm
View File

@@ -62,7 +62,8 @@ export namespace mean_field::solver {
namespace mean_field::solver::enthalpy_detail {
static_assert(std::numeric_limits<double>::is_iec559 && std::numeric_limits<double>::radix == 2 &&
std::numeric_limits<double>::digits == 53 && std::numeric_limits<double>::max_exponent == 1024 &&
std::numeric_limits<double>::has_denorm == std::denorm_present,
std::numeric_limits<double>::denorm_min() > 0.0 &&
std::numeric_limits<double>::denorm_min() < std::numeric_limits<double>::min(),
"Polynomial enthalpy certification requires IEEE 754 binary64 with subnormal support.");
// Bounds concern the represented polynomial, not a tolerance-relaxed EOS.