diff options
author | Claire Xenia Wolf <claire@clairexen.net> | 2021-06-08 00:39:36 +0200 |
---|---|---|
committer | Claire Xenia Wolf <claire@clairexen.net> | 2021-06-08 00:39:36 +0200 |
commit | 72787f52fc31954e4b7dc3dc34d86705fc4e9dd1 (patch) | |
tree | ae771b020306e70d155344cab991773c363bb3bc /backends/smt2/smtbmc.py | |
parent | e65ed3f228bd0e26248eaaeabdcea507379d757a (diff) | |
download | yosys-72787f52fc31954e4b7dc3dc34d86705fc4e9dd1.tar.gz yosys-72787f52fc31954e4b7dc3dc34d86705fc4e9dd1.tar.bz2 yosys-72787f52fc31954e4b7dc3dc34d86705fc4e9dd1.zip |
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 <claire@yosyshq.com>/gi;
s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi;
s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi;
s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi;
s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
Diffstat (limited to 'backends/smt2/smtbmc.py')
-rw-r--r-- | backends/smt2/smtbmc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index da5a7f57e..be27a3d09 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -2,7 +2,7 @@ # # yosys -- Yosys Open SYnthesis Suite # -# Copyright (C) 2012 Clifford Wolf <clifford@clifford.at> +# Copyright (C) 2012 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 |