Annonimize submissiondev/asplos

6 files changed, 13 insertions, 13 deletions

diff --git a/doc/README.org b/doc/README.org
index 4113ed9..12c8516 100644
--- a/doc/README.org
+++ b/doc/README.org
@@ -1,6 +1,6 @@
 #+title: Vericert Documentation
 
-The documentation for [[https://github.com/ymherklotz/vericert][Vericert]], which is written in the [[/documentation.org][documentation.org]] file.
+The documentation for [[https://github.com/___/vericert][Vericert]], which is written in the [[/documentation.org][documentation.org]] file.
 
 * How to develop on documentation
 
diff --git a/doc/common.org b/doc/common.org
index aa27264..5299ef1 100644
--- a/doc/common.org
+++ b/doc/common.org
@@ -1,4 +1,4 @@
-#+author: Yann Herklotz
+#+author: ___ ___
 #+email: git@ymhg.org
 
 #+macro: version 1.2.2
diff --git a/doc/conf.py b/doc/conf.py
index 7000f7b..6f6508b 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -18,8 +18,8 @@
 # -- Project information -----------------------------------------------------
 
 project = 'Vericert'
-copyright = '2022  Yann Herklotz, John Wickerson'
-author = 'Yann Herklotz, John Wickerson'
+copyright = '2022  ___ ___, John Wickerson'
+author = '___ ___, John Wickerson'
 
 # The full version, including alpha/beta/rc tags
 release = 'v1.2.2'
diff --git a/doc/documentation.org b/doc/documentation.org
index 5a1bf61..5b02f21 100644
--- a/doc/documentation.org
+++ b/doc/documentation.org
@@ -1,6 +1,6 @@
 #+title: Vericert Manual
 #+subtitle: Release {{{version}}}
-#+author:   Yann Herklotz
+#+author:   ___ ___
 #+email:    git@ymhg.org
 #+language: en
 
@@ -30,7 +30,7 @@ called [[https://compcert.org/compcert-C.html][CompCert]] to perform this transl
 :COPYING: t
 :END:
 
-Copyright (C) 2019-2022  Yann Herklotz.
+Copyright (C) 2019-2022  ___ ___.
 
 #+begin_quote
 Permission is granted to copy, distribute and/or modify this document
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
 =======
diff --git a/doc/man.org b/doc/man.org
index cb6143f..03beded 100644
--- a/doc/man.org
+++ b/doc/man.org
@@ -69,11 +69,11 @@ vericert - A formally verified high-level synthesis tool.
 
 * AUTHOR
 
-Written by Yann Herklotz, Michalis Pardalos, James Pollard, Nadesh Ramanathan and John Wickerson.
+Written by ___ ___, Michalis Pardalos, ___ ___, ___ Ramanathan and John Wickerson.
 
 * COPYRIGHT
 
-Copyright (C) 2019-2022 Yann Herklotz <yann@yannherklotz.com>
+Copyright (C) 2019-2022 ___ ___ <___@______.com>
 
 This program is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by