summaryrefslogtreecommitdiffstats
path: root/dis/bin
Commit message (Collapse)AuthorAge
* Unify unpaired timing scripts for DIS, TACLe, and SD-VBSJoshua Bakita2020-10-20
| | | | | Now supports specifying an input generation command for each benchmark - see dis/dis2MbInNames.txt for an example.
* 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