aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn/setup-syn-vericert.sh
Commit message (Expand)AuthorAgeFilesLines
* scriptsNadesh Ramanathan2020-11-191-1/+1
* Adding synthesis scriptsNadesh Ramanathan2020-11-101-0/+24