summaryrefslogtreecommitdiff
path: root/SCAN-SSA/run.sh
AgeCommit message (Collapse)AuthorLines
2023-05-24run benchmarks with timeout of 30 minutes per configurationDaniel Friesel-1/+1
2023-05-17port SCAN-SSA to dfatoolDaniel Friesel-8/+24
2021-06-16PrIM -- first commitJuan Gomez Luna-0/+11