|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| float | log1pf (float x) |
Variables | |
| static const float | ln2_hi = 6.9313812256e-01 |
| static const float | ln2_lo = 9.0580006145e-06 |
| static const float | Lg1 = 0xaaaaaa.0p-24 |
| static const float | Lg2 = 0xccce13.0p-25 |
| static const float | Lg3 = 0x91e9ee.0p-25 |
| static const float | Lg4 = 0xf89e26.0p-26 |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |