diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-02-28 09:46:07 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-28 09:46:07 +0000 |
| commit | 1252ed9252abc91dec15a240e2866d5344d3d81f (patch) | |
| tree | a3cf0db45c171da95794f72d973fb397d6ff6950 | |
| parent | 7a09bbe8d18abb376104e1399fc84ce911d8897d (diff) | |
| download | vericert-1252ed9252abc91dec15a240e2866d5344d3d81f.tar.gz vericert-1252ed9252abc91dec15a240e2866d5344d3d81f.zip | |
Update .gitignore
| -rw-r--r-- | .gitignore | 74 |
1 files changed, 8 insertions, 66 deletions
@@ -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/ |