diff options
| author | Joshua Bakita <jbakita@cs.unc.edu> | 2020-10-17 21:22:08 -0400 |
|---|---|---|
| committer | Joshua Bakita <jbakita@cs.unc.edu> | 2020-10-17 21:30:01 -0400 |
| commit | ecf6547fdce39b3ec0f333c9b391b0f1c25deba5 (patch) | |
| tree | c6f25afe348be22172bed024ffe8881323e74aaf /.gitignore | |
| parent | 1120161286ee5c855b630bccc9e0b37bb8a3ee65 (diff) | |
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
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
| @@ -1,6 +1,8 @@ | |||
| 1 | # Ignore benchmark results | 1 | # Ignore benchmark results |
| 2 | *.txt | 2 | *.txt |
| 3 | *.txt.clean | 3 | *.txt.clean |
| 4 | # But not benchmark lists | ||
| 5 | !*Names.txt | ||
| 4 | 6 | ||
| 5 | # Ignore DIS benchmark binaries | 7 | # Ignore DIS benchmark binaries |
| 6 | **/field | 8 | **/field |