From ecf6547fdce39b3ec0f333c9b391b0f1c25deba5 Mon Sep 17 00:00:00 2001 From: Joshua Bakita Date: Sat, 17 Oct 2020 21:22:08 -0400 Subject: All the DIS runner scripts as used for the (rejected) RTSS'20 submission DANGER! There's an inconsistency in the input files used for the all-pairs tests and those used for the baseline tests. Baselines: run_all_dis.sh calls run_dis.sh to do all baselines. All-pairs: Uses old TACLe script (not included here). Cache allocation 2nd-order effects on SMT friendliness: run_pair_convexity.sh --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 24a4e1f..1824f51 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,8 @@ # Ignore benchmark results *.txt *.txt.clean +# But not benchmark lists +!*Names.txt # Ignore DIS benchmark binaries **/field -- cgit v1.2.2