bend-blas-lapack@0.0.0.1 relies on unsafe/foreign

0xf090bec5d73bd2d01f26c93f586673b1

bend-blas: BLAS, LAPACK and cuBLAS for Bend 2, as one def per routine

bend-blas-lapack@0.0.0.1 by Lorenzobattistela

Published: 2026-09-28
Size: 212,773 bytes, 47 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 105 defs, 2 types

Import

import bend-blas-lapack@0.0.0.1/bend_blas.bend as Bend_blas
import 0xf090bec5d73bd2d01f26c93f586673b1/bend_blas.bend as Bend_blas
import bend-blas-lapack@0.0.0.1/blas.bend as Blas
import 0xf090bec5d73bd2d01f26c93f586673b1/blas.bend as Blas
import bend-blas-lapack@0.0.0.1/cublas.bend as Cublas
import 0xf090bec5d73bd2d01f26c93f586673b1/cublas.bend as Cublas
import bend-blas-lapack@0.0.0.1/lapack.bend as Lapack
import 0xf090bec5d73bd2d01f26c93f586673b1/lapack.bend as Lapack
import bend-blas-lapack@0.0.0.1/mat.bend as Mat
import 0xf090bec5d73bd2d01f26c93f586673b1/mat.bend as Mat

Modules

bend_blas.bend 0 declarations — bend-blas: BLAS, LAPACK and cuBLAS for Bend 2, as one def per routine
blas.bend 18 declarations — bend-blas: the CBLAS routines on Array<F32>, one def per routine, the
cublas.bend 12 declarations — bend-blas: cuBLAS on Array<F32>, one def per routine, plus device
lapack.bend 12 declarations — bend-blas: LAPACK routines on Array<F32>, one def per routine, the
mat.bend 67 declarations — bend-blas: the shaped layer. A Mat<rows, cols> is one row-major

Other files

effs/blas_isamax.c 5,609 bytes
effs/blas_isamax.js 1,161 bytes
effs/blas_sasum.c 5,579 bytes
effs/blas_sasum.js 1,142 bytes
effs/blas_saxpy.c 5,796 bytes
effs/blas_saxpy.js 1,207 bytes
effs/blas_sdot.c 5,642 bytes
effs/blas_sdot.js 1,182 bytes
effs/blas_sgemm.c 6,256 bytes
effs/blas_sgemm.js 1,237 bytes
effs/blas_sgemv.c 6,119 bytes
effs/blas_sgemv.js 1,458 bytes
effs/blas_sger.c 5,958 bytes
effs/blas_sger.js 1,296 bytes
effs/blas_snrm2.c 5,567 bytes
effs/blas_snrm2.js 1,150 bytes
effs/blas_sscal.c 5,709 bytes
effs/blas_sscal.js 1,154 bytes
effs/cublas_available.c 9,796 bytes
effs/cublas_available.js 1,176 bytes
effs/cublas_download.c 10,028 bytes
effs/cublas_download.js 1,263 bytes
effs/cublas_free.c 9,855 bytes
effs/cublas_free.js 1,268 bytes
effs/cublas_sgemm.c 10,568 bytes
effs/cublas_sgemm.js 1,375 bytes
effs/cublas_sgemm_w.c 10,600 bytes
effs/cublas_sgemm_w.js 1,437 bytes
effs/cublas_upload.c 9,953 bytes
effs/cublas_upload.js 1,276 bytes
effs/lapack_sgesv.c 6,299 bytes
effs/lapack_sgesv.js 2,093 bytes
effs/lapack_sgesvd.c 7,098 bytes
effs/lapack_sgesvd.js 3,269 bytes
effs/lapack_sgesvd_s.c 6,777 bytes
effs/lapack_sgesvd_s.js 3,214 bytes
effs/lapack_spotrf.c 6,153 bytes
effs/lapack_spotrf.js 1,484 bytes
effs/lapack_spotrs.c 6,184 bytes
effs/lapack_spotrs.js 1,583 bytes
effs/lapack_ssyev.c 6,556 bytes
effs/lapack_ssyev.js 2,497 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
bend_blas.bend	relies on unsafe/foreign	78 defs rely on unsafe or foreign code defs: `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemm`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemm.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemv`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemv.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sger`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sger.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sdot`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sdot.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.snrm2`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.snrm2.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sasum`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sasum.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.isamax`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.isamax.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.saxpy`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.saxpy.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sscal`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sscal.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesv`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesv.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrf`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrf.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrs`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrs.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd_s`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd_s.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.ssyev`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.ssyev.try`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.available`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.available.try`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.upload`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.upload.try`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.download`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.download.try`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.free`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.free.try`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.sgemm`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.sgemm.try`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.sgemm_w`, `0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.sgemm_w.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm_t`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm_t.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm_tn`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm_tn.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemv`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemv.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemv_t`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemv_t.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.ger`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.ger.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.dot`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.dot.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.nrm2`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.nrm2.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.asum`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.asum.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.iamax`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.iamax.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.axpy`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.axpy.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.scal`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.scal.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.solve`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.solve.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.cholesky`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.cholesky.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.cholesky_solve`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.cholesky_solve.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.svd_values`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.svd_values.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.svd`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.svd.try`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.eigh`, `0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.eigh.try` output SOME PROOFS FAIL Error: 78 defs rely on unsafe or foreign code: - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemm - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemm.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemv - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemv.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sger - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sger.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sdot - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sdot.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.snrm2 - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.snrm2.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sasum - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sasum.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.isamax - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.isamax.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.saxpy - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.saxpy.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sscal - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sscal.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesv - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesv.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrf - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrf.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrs - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrs.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd_s - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd_s.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.ssyev - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.ssyev.try - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.available - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.available.try - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.upload - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.upload.try - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.download - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.download.try - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.free - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.free.try - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.sgemm - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.sgemm.try - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.sgemm_w - 0xf090bec5d73bd2d01f26c93f586673b1/cublas.Cublas.sgemm_w.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm_t - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm_t.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm_tn - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemm_tn.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemv - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemv.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemv_t - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.gemv_t.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.ger - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.ger.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.dot - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.dot.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.nrm2 - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.nrm2.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.asum - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.asum.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.iamax - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.iamax.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.axpy - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.axpy.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.scal - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Vec.scal.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.solve - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.solve.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.cholesky - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.cholesky.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.cholesky_solve - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.cholesky_solve.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.svd_values - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.svd_values.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.svd - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.svd.try - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.eigh - 0xf090bec5d73bd2d01f26c93f586673b1/mat.Mat.eigh.try	0.9 s
blas.bend	relies on unsafe/foreign	18 defs rely on unsafe or foreign code defs: `Blas.sgemm`, `Blas.sgemm.try`, `Blas.sgemv`, `Blas.sgemv.try`, `Blas.sger`, `Blas.sger.try`, `Blas.sdot`, `Blas.sdot.try`, `Blas.snrm2`, `Blas.snrm2.try`, `Blas.sasum`, `Blas.sasum.try`, `Blas.isamax`, `Blas.isamax.try`, `Blas.saxpy`, `Blas.saxpy.try`, `Blas.sscal`, `Blas.sscal.try` output SOME PROOFS FAIL Error: 18 defs rely on unsafe or foreign code: - Blas.sgemm - Blas.sgemm.try - Blas.sgemv - Blas.sgemv.try - Blas.sger - Blas.sger.try - Blas.sdot - Blas.sdot.try - Blas.snrm2 - Blas.snrm2.try - Blas.sasum - Blas.sasum.try - Blas.isamax - Blas.isamax.try - Blas.saxpy - Blas.saxpy.try - Blas.sscal - Blas.sscal.try	0.8 s
cublas.bend	relies on unsafe/foreign	12 defs rely on unsafe or foreign code defs: `Cublas.available`, `Cublas.available.try`, `Cublas.upload`, `Cublas.upload.try`, `Cublas.download`, `Cublas.download.try`, `Cublas.free`, `Cublas.free.try`, `Cublas.sgemm`, `Cublas.sgemm.try`, `Cublas.sgemm_w`, `Cublas.sgemm_w.try` output SOME PROOFS FAIL Error: 12 defs rely on unsafe or foreign code: - Cublas.available - Cublas.available.try - Cublas.upload - Cublas.upload.try - Cublas.download - Cublas.download.try - Cublas.free - Cublas.free.try - Cublas.sgemm - Cublas.sgemm.try - Cublas.sgemm_w - Cublas.sgemm_w.try	0.6 s
lapack.bend	relies on unsafe/foreign	12 defs rely on unsafe or foreign code defs: `Lapack.sgesv`, `Lapack.sgesv.try`, `Lapack.spotrf`, `Lapack.spotrf.try`, `Lapack.spotrs`, `Lapack.spotrs.try`, `Lapack.sgesvd_s`, `Lapack.sgesvd_s.try`, `Lapack.sgesvd`, `Lapack.sgesvd.try`, `Lapack.ssyev`, `Lapack.ssyev.try` output SOME PROOFS FAIL Error: 12 defs rely on unsafe or foreign code: - Lapack.sgesv - Lapack.sgesv.try - Lapack.spotrf - Lapack.spotrf.try - Lapack.spotrs - Lapack.spotrs.try - Lapack.sgesvd_s - Lapack.sgesvd_s.try - Lapack.sgesvd - Lapack.sgesvd.try - Lapack.ssyev - Lapack.ssyev.try	0.7 s
mat.bend	relies on unsafe/foreign	66 defs rely on unsafe or foreign code defs: `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemm`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemm.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemv`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemv.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sger`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sger.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sdot`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sdot.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.snrm2`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.snrm2.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sasum`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sasum.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.isamax`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.isamax.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.saxpy`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.saxpy.try`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sscal`, `0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sscal.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesv`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesv.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrf`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrf.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrs`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrs.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd_s`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd_s.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd.try`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.ssyev`, `0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.ssyev.try`, `Mat.gemm`, `Mat.gemm.try`, `Mat.gemm_t`, `Mat.gemm_t.try`, `Mat.gemm_tn`, `Mat.gemm_tn.try`, `Mat.gemv`, `Mat.gemv.try`, `Mat.gemv_t`, `Mat.gemv_t.try`, `Mat.ger`, `Mat.ger.try`, `Vec.dot`, `Vec.dot.try`, `Vec.nrm2`, `Vec.nrm2.try`, `Vec.asum`, `Vec.asum.try`, `Vec.iamax`, `Vec.iamax.try`, `Vec.axpy`, `Vec.axpy.try`, `Vec.scal`, `Vec.scal.try`, `Mat.solve`, `Mat.solve.try`, `Mat.cholesky`, `Mat.cholesky.try`, `Mat.cholesky_solve`, `Mat.cholesky_solve.try`, `Mat.svd_values`, `Mat.svd_values.try`, `Mat.svd`, `Mat.svd.try`, `Mat.eigh`, `Mat.eigh.try` output SOME PROOFS FAIL Error: 66 defs rely on unsafe or foreign code: - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemm - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemm.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemv - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sgemv.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sger - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sger.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sdot - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sdot.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.snrm2 - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.snrm2.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sasum - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sasum.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.isamax - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.isamax.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.saxpy - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.saxpy.try - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sscal - 0xf090bec5d73bd2d01f26c93f586673b1/blas.Blas.sscal.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesv - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesv.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrf - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrf.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrs - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.spotrs.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd_s - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd_s.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.sgesvd.try - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.ssyev - 0xf090bec5d73bd2d01f26c93f586673b1/lapack.Lapack.ssyev.try - Mat.gemm - Mat.gemm.try - Mat.gemm_t - Mat.gemm_t.try - Mat.gemm_tn - Mat.gemm_tn.try - Mat.gemv - Mat.gemv.try - Mat.gemv_t - Mat.gemv_t.try - Mat.ger - Mat.ger.try - Vec.dot - Vec.dot.try - Vec.nrm2 - Vec.nrm2.try - Vec.asum - Vec.asum.try - Vec.iamax - Vec.iamax.try - Vec.axpy - Vec.axpy.try - Vec.scal - Vec.scal.try - Mat.solve - Mat.solve.try - Mat.cholesky - Mat.cholesky.try - Mat.cholesky_solve - Mat.cholesky_solve.try - Mat.svd_values - Mat.svd_values.try - Mat.svd - Mat.svd.try - Mat.eigh - Mat.eigh.try	0.9 s