|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <driver_types.h>Go to the source code of this file.
Macros | |
| #define | M_PI 3.14159265358979323846 |
| #define | M_PI_2 1.57079632679489661923132169164 |
| #define | NEPERIANO 2.718281828 |
| #define | PREC 1e-16 |
Functions | |
| __device__ float | exp10f (float x) |
| __device__ float | powf_gpu (float x, float y) |
| float | __exp10f (float x) |
| float | __powf_gpu (float x, float y) |
| int | __mul24 (int x, int y) |
| unsigned int | __umul24 (unsigned int x, unsigned int y) |
| #define M_PI 3.14159265358979323846 |
| #define M_PI_2 1.57079632679489661923132169164 |
| #define NEPERIANO 2.718281828 |
| #define PREC 1e-16 |
| __device__ float exp10f | ( | float | x | ) |
| __device__ float powf_gpu | ( | float | x, |
| float | y ) |