ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
gsmecher has quit [Ping timeout: 240 seconds]
emeb has quit [Quit: Leaving.]
cr1901 has quit [Quit: Leaving.]
cr1901 has joined #yosys
cr1901 has left #yosys [#yosys]
Max-P has quit [Quit: Max-P]
Max-P has joined #yosys
FL4SHK has quit [Ping timeout: 252 seconds]
FL4SHK has joined #yosys
mwk has quit [*.net *.split]
agg has quit [*.net *.split]
trabucayre has quit [*.net *.split]
srk has quit [*.net *.split]
aquijoule__ has quit [*.net *.split]
Kamilion has quit [*.net *.split]
bpye has quit [*.net *.split]
mwk has joined #yosys
aquijoule__ has joined #yosys
agg has joined #yosys
trabucayre has joined #yosys
Kamilion has joined #yosys
bpye has joined #yosys
srk has joined #yosys
adjtm has quit [Ping timeout: 265 seconds]
strobo has joined #yosys
adjtm has joined #yosys
Curve25519ChaCha has quit [Ping timeout: 244 seconds]
Curve25519ChaCha has joined #yosys
adjtm has quit [Remote host closed the connection]
adjtm has joined #yosys
Klotz has joined #yosys
adjtm has quit [Ping timeout: 252 seconds]
Armleo has joined #yosys
adjtm has joined #yosys
loki_val has joined #yosys
crabbedhaloablut has quit [Ping timeout: 244 seconds]
GenTooMan has quit [Ping timeout: 256 seconds]
GenTooMan has joined #yosys
gmc_ has joined #yosys
<tnt> Is it just me or did the "show" output become less readable ?
<tnt> And related, When I look at the output JSON there seem to be some "nets" defined in it that I don't really see why they are in there as named nets (and this contributes to the harder to read 'show').
<tnt> For instance: https://pastebin.com/W6FXCpFs
<tpb> Title: "on_SB_LUT4_I1_2_O": { "hide_name": 0, "bits": [ 1 - Pastebin.com (at pastebin.com)
<mwk> that one is autoname's doing, it seems
<mwk> perhaps autoname should be changed to assign $ names instead, so that it doesn't pollute the main namespace
<mwk> and for the original example — I think we could solve that by adding support for multiple -dlogic options to opt_lut to also preserve the CO connections
<mwk> feels like an ugly workaround, but then so is opt_lut in the first place
adjtm has quit [Ping timeout: 272 seconds]
Klotz has quit [Quit: Klotz]
Armleo has quit [Quit: Client closed]
adjtm has joined #yosys