whitequark 44a3d924ce cxxrtl: don't mark buffered internal wires as UNUSED for debug. ... Public wires may alias buffered internal wires, so keep BUFFERED wires in debug information even if they are private. Debug items are only created for public wires, so this does not otherwise affect how debug information is emitted. Fixes #2540. Fixes #2841.		2021-07-16 07:54:49 +00:00
..
aiger	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
blif	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
btor	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
cxxrtl	cxxrtl: don't mark buffered internal wires as UNUSED for debug.	2021-07-16 07:54:49 +00:00
edif	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
firrtl	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
intersynth	Intersynth URL	2021-06-09 12:42:52 +02:00
json	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
protobuf	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
rtlil	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
simplec	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
smt2	Add support for the Bitwuzla solver	2021-07-12 22:07:58 +02:00
smv	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
spice	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
table	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
verilog	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00