Fixing old e-mail addresses and deadnames

s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <[email protected]>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <[email protected]>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <[email protected]>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <[email protected]>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
uwsampl · Jun 7, 2021 · 72787f5 · 72787f5
1 parent e65ed3f
commit 72787f5
Show file tree

Hide file tree

Showing 309 changed files with 330 additions and 331 deletions.
diff --git a/COPYING b/COPYING
@@ -1,6 +1,6 @@
 ISC License
 
-Copyright (C) 2012 - 2020  Claire Wolf <claire@symbioticeda.com>
+Copyright (C) 2012 - 2020  Claire Xenia Wolf <claire@yosyshq.com>
 
 Permission to use, copy, modify, and/or distribute this software for any
 purpose with or without fee is hereby granted, provided that the above

diff --git a/Makefile b/Makefile
@@ -956,7 +956,7 @@ ifeq ($(ENABLE_ABC),1)
 	cp -r $(PROGRAM_PREFIX)yosys-abc.exe abc/lib/x86/pthreadVC2.dll yosys-win32-mxebin-$(YOSYS_VER)/
 endif
 	echo -en 'This is Yosys $(YOSYS_VER) for Win32.\r\n' > yosys-win32-mxebin-$(YOSYS_VER)/readme.txt
-	echo -en 'Documentation at http://www.clifford.at/yosys/.\r\n' >> yosys-win32-mxebin-$(YOSYS_VER)/readme.txt
+	echo -en 'Documentation at http://yosyshq.net/yosys/.\r\n' >> yosys-win32-mxebin-$(YOSYS_VER)/readme.txt
 	zip -r yosys-win32-mxebin-$(YOSYS_VER).zip yosys-win32-mxebin-$(YOSYS_VER)/
 endif
 

diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 ```
 yosys -- Yosys Open SYnthesis Suite
 
-Copyright (C) 2012 - 2020  Claire Wolf <claire@symbioticeda.com>
+Copyright (C) 2012 - 2020  Claire Xenia Wolf <claire@yosyshq.com>
 
 Permission to use, copy, modify, and/or distribute this software for any
 purpose with or without fee is hereby granted, provided that the above
@@ -38,11 +38,11 @@ Web Site and Other Resources
 ============================
 
 More information and documentation can be found on the Yosys web site:
-- http://www.clifford.at/yosys/
+- http://yosyshq.net/yosys/
 
 The "Documentation" page on the web site contains links to more resources,
 including a manual that even describes some of the Yosys internals:
-- http://www.clifford.at/yosys/documentation.html
+- http://yosyshq.net/yosys/documentation.html
 
 The directory `guidelines` contains additional information
 for people interested in using the Yosys C++ APIs.
@@ -92,7 +92,7 @@ For Cygwin use the following command to install all prerequisites, or select the
 
 There are also pre-compiled Yosys binary packages for Ubuntu and Win32 as well
 as a source distribution for Visual Studio. Visit the Yosys download page for
-more information: http://www.clifford.at/yosys/download.html
+more information: http://yosyshq.net/yosys/download.html
 
 To configure the build system to use a specific compiler, use one of
 
@@ -568,7 +568,7 @@ Building the documentation
 ==========================
 
 Note that there is no need to build the manual if you just want to read it.
-Simply download the PDF from http://www.clifford.at/yosys/documentation.html
+Simply download the PDF from http://yosyshq.net/yosys/documentation.html
 instead.
 
 On Ubuntu, texlive needs these packages to be able to build the manual:

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *                2019  Eddie Hung <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any

diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above
@@ -18,7 +18,7 @@
  */
 
 // [[CITE]] Btor2 , BtorMC and Boolector 3.0
-// Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere
+// Aina Niemetz, Mathias Preiner, C. Wolf, Armin Biere
 // Computer Aided Verification - 30th International Conference, CAV 2018
 // https://cs.stanford.edu/people/niemetz/publication/2018/niemetzpreinerwolfbiere-cav18/
 

diff --git a/backends/edif/edif.cc b/backends/edif/edif.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/firrtl/firrtl.cc b/backends/firrtl/firrtl.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/intersynth/intersynth.cc b/backends/intersynth/intersynth.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/json/json.cc b/backends/json/json.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/protobuf/protobuf.cc b/backends/protobuf/protobuf.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *  Copyright (C) 2018  Serge Bazanski <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any

diff --git a/backends/rtlil/rtlil_backend.cc b/backends/rtlil/rtlil_backend.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/rtlil/rtlil_backend.h b/backends/rtlil/rtlil_backend.h
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/simplec/simplec.cc b/backends/simplec/simplec.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
@@ -2,7 +2,7 @@
 #
 # yosys -- Yosys Open SYnthesis Suite
 #
-# Copyright (C) 2012  Clifford Wolf <[email protected]>
+# Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
@@ -1,7 +1,7 @@
 #
 # yosys -- Yosys Open SYnthesis Suite
 #
-# Copyright (C) 2012  Clifford Wolf <[email protected]>
+# Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
 #
 # Permission to use, copy, modify, and/or distribute this software for any
 # purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/smv/smv.cc b/backends/smv/smv.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/spice/spice.cc b/backends/spice/spice.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/table/table.cc b/backends/table/table.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/backends/verilog/verilog_backend.cc b/backends/verilog/verilog_backend.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *                2019  Eddie Hung <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any

diff --git a/frontends/aiger/aigerparse.h b/frontends/aiger/aigerparse.h
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *                2019  Eddie Hung <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any

diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *  Copyright (C) 2018  Ruben Undheim <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any

diff --git a/frontends/ast/ast.h b/frontends/ast/ast.h
@@ -1,7 +1,7 @@
 /* -*- c++ -*-
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/ast/dpicall.cc b/frontends/ast/dpicall.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/blif/blifparse.cc b/frontends/blif/blifparse.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/blif/blifparse.h b/frontends/blif/blifparse.h
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/json/jsonparse.cc b/frontends/json/jsonparse.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/liberty/liberty.cc b/frontends/liberty/liberty.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/rtlil/rtlil_frontend.cc b/frontends/rtlil/rtlil_frontend.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/rtlil/rtlil_frontend.h b/frontends/rtlil/rtlil_frontend.h
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/rtlil/rtlil_lexer.l b/frontends/rtlil/rtlil_lexer.l
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/rtlil/rtlil_parser.y b/frontends/rtlil/rtlil_parser.y
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above

diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
@@ -1,7 +1,7 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2012  Clifford Wolf <[email protected]>
+ *  Copyright (C) 2012  Claire Xenia Wolf <[email protected]>
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above