diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 15:46:22 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 15:46:22 +0100 |
| commit | 9d93550ef6b1c90ed3f35ca853e014dc8889b819 (patch) | |
| tree | d8079f5c8860f0fec3507ae394d7dbbf79d4d866 | |
| parent | a61f0a5b3a4664f2e1f42e788cc195a7d56ade28 (diff) | |
| parent | 4d60ebafc1c94603b1da4a4b97446c3da513da82 (diff) | |
| download | oopsla21_fvhls-9d93550ef6b1c90ed3f35ca853e014dc8889b819.tar.gz oopsla21_fvhls-9d93550ef6b1c90ed3f35ca853e014dc8889b819.zip | |
Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0
| -rw-r--r-- | introduction.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/introduction.tex b/introduction.tex index 1871a26..91102fd 100644 --- a/introduction.tex +++ b/introduction.tex @@ -53,7 +53,7 @@ The contributions of this paper are as follows: %\JW{This sentence seems pretty good to me; is it up-to-date with the latest `challenges' you've faced?} \paragraph{Companion material} -\vericert{} is fully open source and available on GitHub at \url{https://github.com/ymherklotz/vericert}. A snapshot of the \vericert{} development is also available in a Zenodo repository~\cite{yann_herklotz_2021_5093839}, which also contains \JW{fill this in}. +\vericert{} is fully open source and available on GitHub at \url{https://github.com/ymherklotz/vericert}. A snapshot of the \vericert{} development is also available in a Zenodo repository~\cite{yann_herklotz_2021_5093839}, which also contains \JW{fill this in, e.g. `source code for the benchmarks' or `benchmarking results' or whatever}. %%% Local Variables: |