Organize bench dir

- Move scripts into a `bench/scripts` directory - Move dataset related files into `bench/dataests`
formalsec · Jan 10, 2025 · fe2ee40 · fe2ee40
1 parent 2d1cf7d
commit fe2ee40
Show file tree

Hide file tree

Showing 15 changed files with 0 additions and 0 deletions.
diff --git a/bench/QF_BV_paths.list → bench/datasets/QF_BV_paths.list b/bench/QF_BV_paths.list → bench/datasets/QF_BV_paths.list
diff --git a/bench/QF_FP_paths.list → bench/datasets/QF_FP_paths.list b/bench/QF_FP_paths.list → bench/datasets/QF_FP_paths.list
diff --git a/bench/QF_LIA_paths.list → bench/datasets/QF_LIA_paths.list b/bench/QF_LIA_paths.list → bench/datasets/QF_LIA_paths.list
diff --git a/bench/QF_SLIA_paths.list → bench/datasets/QF_SLIA_paths.list b/bench/QF_SLIA_paths.list → bench/datasets/QF_SLIA_paths.list
diff --git a/bench/QF_S_paths.list → bench/datasets/QF_S_paths.list b/bench/QF_S_paths.list → bench/datasets/QF_S_paths.list
diff --git a/bench/array_examples_paths.list → bench/datasets/array_examples_paths.list b/bench/array_examples_paths.list → bench/datasets/array_examples_paths.list
diff --git a/bench/array_industry_pattern_paths.list → ...atasets/array_industry_pattern_paths.list b/bench/array_industry_pattern_paths.list → ...atasets/array_industry_pattern_paths.list
diff --git a/bench/collections-c.list → bench/datasets/collections-c.list b/bench/collections-c.list → bench/datasets/collections-c.list
diff --git a/bench/eca_rers2018_paths.list → bench/datasets/eca_rers2018_paths.list b/bench/eca_rers2018_paths.list → bench/datasets/eca_rers2018_paths.list
diff --git a/bench/eq1.sh → bench/scripts/eq1.sh b/bench/eq1.sh → bench/scripts/eq1.sh
diff --git a/bench/eq2.sh → bench/scripts/eq2.sh b/bench/eq2.sh → bench/scripts/eq2.sh
diff --git a/bench/eq3.sh → bench/scripts/eq3.sh b/bench/eq3.sh → bench/scripts/eq3.sh
diff --git a/bench/plots.py → bench/scripts/plots.py b/bench/plots.py → bench/scripts/plots.py
diff --git a/bench/run_benchmarks.py → bench/scripts/run_benchmarks.py b/bench/run_benchmarks.py → bench/scripts/run_benchmarks.py
diff --git a/bench/testcomp.sh → bench/scripts/testcomp.sh b/bench/testcomp.sh → bench/scripts/testcomp.sh