summaryrefslogtreecommitdiffstats
path: root/dis/run_all_dis.sh
Commit message (Expand)AuthorAge
* Whitespace fixes for TACLeBench and copyright update in extra.hJoshua Bakita2020-10-20
* All the DIS runner scripts as used for the (rejected) RTSS'20 submissionJoshua Bakita2020-10-17