From 1252ed9252abc91dec15a240e2866d5344d3d81f Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 28 Feb 2022 09:46:07 +0000 Subject: Update .gitignore --- .gitignore | 74 +++++++------------------------------------------------------- 1 file changed, 8 insertions(+), 66 deletions(-) diff --git a/.gitignore b/.gitignore index aaabd2a..43c9acc 100644 --- a/.gitignore +++ b/.gitignore @@ -19,17 +19,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 +62,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 +75,10 @@ obj_dir/ /*.v .direnv/ +.envrc + +creduce_bug_*/ + +/docs/man/ +/docs/manual/ +/docs/src/ -- cgit