diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 87 |
1 files changed, 21 insertions, 66 deletions
@@ -1,3 +1,7 @@ +/benchmarks/**/* +!/benchmarks/**/*.* +!/benchmarks/**/*/ + .*.aux *.a *.cma @@ -19,17 +23,8 @@ *.vo *.vok *.vos +*.cache .coq-native/ -.csdp.cache -.lia.cache -.nia.cache -.nlia.cache -.nra.cache -csdp.cache -lia.cache -nia.cache -nlia.cache -nra.cache Makefile.coq Makefile.coq.conf @@ -71,62 +66,6 @@ benchmarks/**/*.v *.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 - -/benchmarks/polybench-syn-div/stencils/seidel-2d -/benchmarks/polybench-syn-div/stencils/jacobi-2d -/benchmarks/polybench-syn-div/data-mining/covariance -/benchmarks/polybench-syn-div/linear-algebra/blas/gemm -/benchmarks/polybench-syn-div/linear-algebra/blas/gemver -/benchmarks/polybench-syn-div/linear-algebra/blas/gesummv -/benchmarks/polybench-syn-div/linear-algebra/blas/symm -/benchmarks/polybench-syn-div/linear-algebra/blas/syr2k -/benchmarks/polybench-syn-div/linear-algebra/blas/syrk -/benchmarks/polybench-syn-div/linear-algebra/blas/trmm -/benchmarks/polybench-syn-div/linear-algebra/kernels/2mm -/benchmarks/polybench-syn-div/linear-algebra/kernels/3mm -/benchmarks/polybench-syn-div/linear-algebra/kernels/atas -/benchmarks/polybench-syn-div/linear-algebra/kernels/bicg -/benchmarks/polybench-syn-div/linear-algebra/kernels/doitgen -/benchmarks/polybench-syn-div/linear-algebra/kernels/mvt -/benchmarks/polybench-syn-div/linear-algebra/solvers/cholesky -/benchmarks/polybench-syn-div/linear-algebra/solvers/durbin -/benchmarks/polybench-syn-div/linear-algebra/solvers/lu -/benchmarks/polybench-syn-div/linear-algebra/solvers/ludcmp -/benchmarks/polybench-syn-div/linear-algebra/solvers/trisolv -/benchmarks/polybench-syn-div/medley/floyd-warshall -/benchmarks/polybench-syn-div/medley/nussinov -/benchmarks/polybench-syn-div/stencils/adi -/benchmarks/polybench-syn-div/stencils/fdtd-2d -/benchmarks/polybench-syn-div/stencils/heat-3d -/benchmarks/polybench-syn-div/stencils/jacobi-1d - # Test *.check *.txt @@ -140,3 +79,19 @@ obj_dir/ /*.v .direnv/ +.envrc + +creduce_bug_*/ + +/doc/src/ +/html/ + +*~ +*.man +*.link + +/bin +/share +/results* + +_CoqProject |