ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
umath.c File Reference
#include <stdint.h>
Include dependency graph for umath.c:

Functions

static int64_t get_value (int64_t *base, int64_t rows, int64_t cols, int64_t row, int64_t col)
static double get_value_double (double *base, int64_t rows, int64_t cols, int64_t row, int64_t col)
void add (int64_t *A, int64_t *B, int64_t *C, int64_t a_rows, int64_t a_cols, int64_t b_rows, int64_t b_cols)
void add_double (double *A, double *B, double *C, int64_t a_rows, int64_t a_cols, int64_t b_rows, int64_t b_cols)
void subtract (int64_t *A, int64_t *B, int64_t *C, int64_t a_rows, int64_t a_cols, int64_t b_rows, int64_t b_cols)
void subtract_double (double *A, double *B, double *C, int64_t a_rows, int64_t a_cols, int64_t b_rows, int64_t b_cols)
void multiply (int64_t *A, int64_t *B, int64_t *C, int64_t a_rows, int64_t a_cols, int64_t b_rows, int64_t b_cols)
void multiply_double (double *A, double *B, double *C, int64_t a_rows, int64_t a_cols, int64_t b_rows, int64_t b_cols)
void divide (int64_t *A, int64_t *B, int64_t *C, int64_t a_rows, int64_t a_cols, int64_t b_rows, int64_t b_cols)
void divide_double (double *A, double *B, double *C, int64_t a_rows, int64_t a_cols, int64_t b_rows, int64_t b_cols)

Function Documentation

◆ add()

void add ( int64_t * A,
int64_t * B,
int64_t * C,
int64_t a_rows,
int64_t a_cols,
int64_t b_rows,
int64_t b_cols )

◆ add_double()

void add_double ( double * A,
double * B,
double * C,
int64_t a_rows,
int64_t a_cols,
int64_t b_rows,
int64_t b_cols )

◆ divide()

void divide ( int64_t * A,
int64_t * B,
int64_t * C,
int64_t a_rows,
int64_t a_cols,
int64_t b_rows,
int64_t b_cols )

◆ divide_double()

void divide_double ( double * A,
double * B,
double * C,
int64_t a_rows,
int64_t a_cols,
int64_t b_rows,
int64_t b_cols )

◆ get_value()

int64_t get_value ( int64_t * base,
int64_t rows,
int64_t cols,
int64_t row,
int64_t col )
static

◆ get_value_double()

double get_value_double ( double * base,
int64_t rows,
int64_t cols,
int64_t row,
int64_t col )
static

◆ multiply()

void multiply ( int64_t * A,
int64_t * B,
int64_t * C,
int64_t a_rows,
int64_t a_cols,
int64_t b_rows,
int64_t b_cols )

◆ multiply_double()

void multiply_double ( double * A,
double * B,
double * C,
int64_t a_rows,
int64_t a_cols,
int64_t b_rows,
int64_t b_cols )

◆ subtract()

void subtract ( int64_t * A,
int64_t * B,
int64_t * C,
int64_t a_rows,
int64_t a_cols,
int64_t b_rows,
int64_t b_cols )

◆ subtract_double()

void subtract_double ( double * A,
double * B,
double * C,
int64_t a_rows,
int64_t a_cols,
int64_t b_rows,
int64_t b_cols )