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 --- dis/inputs/Pointer/in0 | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 dis/inputs/Pointer/in0 (limited to 'dis/inputs/Pointer/in0') diff --git a/dis/inputs/Pointer/in0 b/dis/inputs/Pointer/in0 new file mode 100644 index 0000000..3535667 --- /dev/null +++ b/dis/inputs/Pointer/in0 @@ -0,0 +1,3 @@ +10485770 15 12800000 -2 1 + +10 10485760 10485760 -- cgit v1.2.2