3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 01:24:10 +00:00
yosys/passes/sat
Claire Xenia Wolf 72787f52fc 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;
2021-06-08 00:39:36 +02: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 Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +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
Makefile.inc Add WASI platform support. 2020-04-30 18:56:25 +00: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