| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Benchmarks: Automatically detect which cores to run contenders on | Joshua Bakita | 2021-03-11 |
| | | |||
| * | Benchmarks: Move thrashing task to a submodule and update paths | Joshua Bakita | 2021-03-09 |
| | | |||
| * | All the DIS runner scripts as used for the (rejected) RTSS'20 submission | Joshua Bakita | 2020-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 | |||
