From 533bca9426ee3166433b29e84c8f942f7409981b Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 10 Aug 2023 12:29:11 +0100 Subject: Annonimize submission --- doc/README.org | 2 +- doc/common.org | 2 +- doc/conf.py | 4 ++-- doc/documentation.org | 4 ++-- doc/index.rst | 10 +++++----- doc/man.org | 4 ++-- 6 files changed, 13 insertions(+), 13 deletions(-) (limited to 'doc') 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 `_. +For discussions, you can join the following mailing list: `lists.sr.ht/~___/vericert-discuss `_. -For contributing patches to the `sourcehut `_ repository: -`lists.sr.ht/~ymherklotz/vericert-devel `_. +For contributing patches to the `sourcehut `_ repository: +`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 +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 -- cgit