whitequark 225af830c1 cxxrtl: treat assignable internal wires used only for debug as locals. ...

This issue was introduced in commit 4aa65f40 while fixing #2739.

Fixes #2882.

2021-07-20 10:10:42 +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: treat assignable internal wires used only for debug as locals.

2021-07-20 10:10:42 +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