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