summaryrefslogtreecommitdiffstats
path: root/smt_analysis_rtss20
Commit message (Collapse)AuthorAge
* All the TACLeBench runner scripts as used for the (rejected) RTSS'20 submissionJoshua Bakita2020-10-17
| | | | | Everything without isolation: run_tacle_rtss20.sh For isolation you have to run the hodgepodge of scripts as before.
* 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