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

Functions

void dot (int64_t *A, int64_t *B, int64_t *C, int64_t m, int64_t n, int64_t p, int64_t bits)
void dot_double (double *A, double *B, double *C, int64_t m, int64_t n, int64_t p)
void matmul (int64_t *A, int64_t *B, int64_t *C, int64_t m, int64_t n, int64_t p, int64_t bits)
void matmul_double (double *A, double *B, double *C, int64_t m, int64_t n, int64_t p)
void transpose (int64_t *src, int64_t *dst, int64_t rows, int64_t cols)
void transpose_double (double *src, double *dst, int64_t rows, int64_t cols)
void det (const int64_t *src, int64_t *dst, int64_t rows, int64_t cols)

Function Documentation

◆ det()

void det ( const int64_t * src,
int64_t * dst,
int64_t rows,
int64_t cols )

◆ dot()

void dot ( int64_t * A,
int64_t * B,
int64_t * C,
int64_t m,
int64_t n,
int64_t p,
int64_t bits )

◆ dot_double()

void dot_double ( double * A,
double * B,
double * C,
int64_t m,
int64_t n,
int64_t p )

◆ matmul()

void matmul ( int64_t * A,
int64_t * B,
int64_t * C,
int64_t m,
int64_t n,
int64_t p,
int64_t bits )

◆ matmul_double()

void matmul_double ( double * A,
double * B,
double * C,
int64_t m,
int64_t n,
int64_t p )

◆ transpose()

void transpose ( int64_t * src,
int64_t * dst,
int64_t rows,
int64_t cols )

◆ transpose_double()

void transpose_double ( double * src,
double * dst,
int64_t rows,
int64_t cols )