Verifier routines

15 routines · each holds the original Fortran, the emitted Ada, and the prover's own output — re-runnable with the verifier kit.

• blas-daxpy
• blas-ddot
• blas-dgemm
• blas-dgemv
• blas-dnrm2
• blas-dscal
• fftpack-cfftf
• lapack-dgeqrf
• lapack-dgetrf
• lapack-dpotrf
• phase3-conv2d_fp64
• phase3-int8-matmul
• phase3-layernorm
• phase3-max_pool
• phase3-relu

← back to the verifier