diff options
Diffstat (limited to 'doc/index.rst')
| -rw-r--r-- | doc/index.rst | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/index.rst b/doc/index.rst index f5a7776..c3a1b29 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -42,20 +42,20 @@ have all been proven correct, providing a verified translation from C to Verilog Publications ------------ -:OOPSLA '21: Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. Formal +:OOPSLA '21: ___ ___, ___ D. ___, ___ Ramanathan, and John Wickerson. Formal Verification of High-Level Synthesis. In *Proc. ACM Program. Lang.* 5, OOPSLA, 2021. -:LATTE '21: Yann Herklotz and John Wickerson. High-level synthesis tools should be proven +:LATTE '21: ___ ___ and John Wickerson. High-level synthesis tools should be proven correct. In *Workshop on Languages, Tools, and Techniques for Accelerator Design*, 2021. Mailing lists ------------- -For discussions, you can join the following mailing list: `lists.sr.ht/~ymherklotz/vericert-discuss <https://lists.sr.ht/~ymherklotz/vericert-discuss>`_. +For discussions, you can join the following mailing list: `lists.sr.ht/~___/vericert-discuss <https://lists.sr.ht/~___/vericert-discuss>`_. -For contributing patches to the `sourcehut <https://sr.ht/~ymherklotz/vericert/>`_ repository: -`lists.sr.ht/~ymherklotz/vericert-devel <https://lists.sr.ht/~ymherklotz/vericert-devel>`_. +For contributing patches to the `sourcehut <https://sr.ht/~___/vericert/>`_ repository: +`lists.sr.ht/~___/vericert-devel <https://lists.sr.ht/~___/vericert-devel>`_. Indices ======= |