|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Macros | |
| #define | N (1 << EXP2F_TABLE_BITS) |
| #define | T __exp2f_data.tab |
| #define | C __exp2f_data.poly |
| #define | SHIFT __exp2f_data.shift_scaled |
Functions | |
| static uint32_t | top12 (float x) |
| float | exp2f (float x) |
| #define C __exp2f_data.poly |
| #define N (1 << EXP2F_TABLE_BITS) |
| #define SHIFT __exp2f_data.shift_scaled |
| #define T __exp2f_data.tab |
|
inlinestatic |