yosys/passes/sat
Claire Xenia Wolf 0ada13cbe2 Use HTTPS for website links, gatecat email
git ls-tree -r --name-only HEAD | xargs sed -i -rf ~/fixemails.sed

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|gatecat)\s+<(dave|david|gatecat)@(symbioticeda.com|yosyshq.com|ds0.me)>/gatecat <gatecat@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/,https://yosyshq.net/yosys/,g;
2021-06-09 12:16:56 +02:00
..
Makefile.inc Add WASI platform support. 2020-04-30 18:56:25 +00:00
assertpmux.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
async2sync.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
clk2fflogic.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
cutpoint.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
eval.cc Use HTTPS for website links, gatecat email 2021-06-09 12:16:56 +02:00
example.v Added support for shifter cells to SAT generator 2013-06-08 15:12:08 +02:00
example.ys Fixes in old SAT example.ys 2014-09-01 11:45:47 +02:00
expose.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fmcombine.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fminit.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
freduce.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
miter.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
mutate.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
qbfsat.cc qbfsat: Add `-solver-option` option. 2020-07-20 21:54:56 +00:00
qbfsat.h qbfsat: Add `-solver-option` option. 2020-07-20 21:54:56 +00:00
sat.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
sim.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
supercover.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00