| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
|
|
|
|
| |
- Add a unified runner script for DIS
- Remove explicit case study termination script
(do `kill ${cat pids.txt}` instead)
- Auto-create bin directories for TACLe
- Add the python cache directory to the gitignore
- Tweak input path representation in benchmark name files
|
| |
|
|
|
| |
Now supports specifying an input generation command for
each benchmark - see dis/dis2MbInNames.txt for an example.
|
|
|
Also move run_all_dis.sh up a directory in preperation for
further changes.
|
