diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-09 20:38:59 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-09 21:04:54 +0000 |
commit | effa7bf4c59bb229a5db17fcea3e9c1889145cba (patch) | |
tree | dc6b795c35296f154ea03be72f24e0a81cef1345 /src/hls | |
parent | f2475c07f2c44b5463f5f1ef610e0713ddc01888 (diff) | |
download | vericert-effa7bf4c59bb229a5db17fcea3e9c1889145cba.tar.gz vericert-effa7bf4c59bb229a5db17fcea3e9c1889145cba.zip |
Parallelize runner script, make it work on other benchmarks
Diffstat (limited to 'src/hls')
0 files changed, 0 insertions, 0 deletions