diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-12 13:42:30 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-12 13:42:30 +0100 |
commit | 8d910bdc4ecb257066a0fdcc47984a495358dcc3 (patch) | |
tree | 313cd7a818134505f15c0a7d0301ae2bf40fe42f | |
parent | b4e70337d1c0d1130ec9c98e7fe6e52dbfee46a5 (diff) | |
download | vericert-8d910bdc4ecb257066a0fdcc47984a495358dcc3.tar.gz vericert-8d910bdc4ecb257066a0fdcc47984a495358dcc3.zip |
Add updated .gitignore for benchmarks
-rw-r--r-- | .gitignore | 40 |
1 files changed, 40 insertions, 0 deletions
@@ -62,3 +62,43 @@ lib/COMPCERTSTAMP # Misc lpsolve.txt + +# Benchmarks + +benchmarks/**/*.v + +*.gcc +*.iver +*.dot + +benchmarks/polybench-syn/stencils/seidel-2d +benchmarks/polybench-syn/stencils/jacobi-2d +benchmarks/polybench-syn/data-mining/covariance +benchmarks/polybench-syn/linear-algebra/blas/gemm +benchmarks/polybench-syn/linear-algebra/blas/gemver +benchmarks/polybench-syn/linear-algebra/blas/gesummv +benchmarks/polybench-syn/linear-algebra/blas/symm +benchmarks/polybench-syn/linear-algebra/blas/syr2k +benchmarks/polybench-syn/linear-algebra/blas/syrk +benchmarks/polybench-syn/linear-algebra/blas/trmm +benchmarks/polybench-syn/linear-algebra/kernels/2mm +benchmarks/polybench-syn/linear-algebra/kernels/3mm +benchmarks/polybench-syn/linear-algebra/kernels/atas +benchmarks/polybench-syn/linear-algebra/kernels/bicg +benchmarks/polybench-syn/linear-algebra/kernels/doitgen +benchmarks/polybench-syn/linear-algebra/kernels/mvt +benchmarks/polybench-syn/linear-algebra/solvers/cholesky +benchmarks/polybench-syn/linear-algebra/solvers/durbin +benchmarks/polybench-syn/linear-algebra/solvers/lu +benchmarks/polybench-syn/linear-algebra/solvers/ludcmp +benchmarks/polybench-syn/linear-algebra/solvers/trisolv +benchmarks/polybench-syn/medley/floyd-warshall +benchmarks/polybench-syn/medley/nussinov +benchmarks/polybench-syn/stencils/adi +benchmarks/polybench-syn/stencils/fdtd-2d +benchmarks/polybench-syn/stencils/heat-3d +benchmarks/polybench-syn/stencils/jacobi-1d + +# Test +*.check +*.txt |