| Commit message (Collapse) | Author | Age |
| |
|
|
|
| |
Now supports specifying an input generation command for
each benchmark - see dis/dis2MbInNames.txt for an example.
|
| |
|
|
|
|
|
|
|
| |
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
|
|
|
Note that this repo does not attempt to keep a copy of the original
DIS benchmark distributions. UNC real-time has another repo for that.
|