summaryrefslogtreecommitdiffstats
path: root/dis/inputs/Field/in0
Commit message (Collapse)AuthorAge
* All the DIS runner scripts as used for the (rejected) RTSS'20 submissionJoshua Bakita2020-10-17
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