| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** gsmecher <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 00:05 | |
| *** emeb <[email protected]> has quit IRC (Quit: Leaving.) | 00:12 | |
| *** cr1901 <cr1901!~William@2601:8d:8600:911:cd9b:34f6:fa7f:1b84> has quit IRC (Quit: Leaving.) | 00:23 | |
| *** cr1901 <cr1901!~William@2601:8d:8600:911:cc66:33ef:2181:2e65> has joined #yosys | 00:53 | |
| *** cr1901 <cr1901!~William@2601:8d:8600:911:cc66:33ef:2181:2e65> has left #yosys | 00:53 | |
| *** Max-P <Max-P!~Max-P@thelounge/maintainer/Max-P> has quit IRC (Quit: Max-P) | 03:00 | |
| *** Max-P <Max-P!~Max-P@thelounge/maintainer/Max-P> has joined #yosys | 03:00 | |
| *** FL4SHK <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 05:21 | |
| *** FL4SHK <[email protected]> has joined #yosys | 05:23 | |
| *** mwk <mwk!~mwk@yosys/mwk> has quit IRC (*.net *.split) | 06:24 | |
| *** agg <[email protected]> has quit IRC (*.net *.split) | 06:24 | |
| *** trabucayre <[email protected]> has quit IRC (*.net *.split) | 06:24 | |
| *** srk <srk!~sorki@user/srk> has quit IRC (*.net *.split) | 06:24 | |
| *** aquijoule__ <[email protected]> has quit IRC (*.net *.split) | 06:24 | |
| *** Kamilion <Kamilion!~kvirc@user/kamilion> has quit IRC (*.net *.split) | 06:24 | |
| *** bpye <bpye!~bpye@user/bpye> has quit IRC (*.net *.split) | 06:24 | |
| *** aquijoule__ <[email protected]> has joined #yosys | 06:24 | |
| *** mwk <mwk!~mwk@yosys/mwk> has joined #yosys | 06:24 | |
| *** agg <[email protected]> has joined #yosys | 06:24 | |
| *** trabucayre <[email protected]> has joined #yosys | 06:24 | |
| *** Kamilion <Kamilion!~kvirc@user/kamilion> has joined #yosys | 06:24 | |
| *** bpye <bpye!~bpye@user/bpye> has joined #yosys | 06:24 | |
| *** srk <srk!~sorki@user/srk> has joined #yosys | 06:24 | |
| *** adjtm <[email protected]> has quit IRC (Ping timeout: 265 seconds) | 06:49 | |
| *** strobo <[email protected]> has joined #yosys | 09:38 | |
| *** adjtm <[email protected]> has joined #yosys | 10:33 | |
| *** Curve25519ChaCha <Curve25519ChaCha!~Username@user/curve25519chacha> has quit IRC (Ping timeout: 244 seconds) | 10:35 | |
| *** Curve25519ChaCha <Curve25519ChaCha!~Username@user/curve25519chacha> has joined #yosys | 10:37 | |
| *** adjtm <[email protected]> has quit IRC (Remote host closed the connection) | 11:50 | |
| *** adjtm <[email protected]> has joined #yosys | 11:50 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has joined #yosys | 12:26 | |
| *** adjtm <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 12:38 | |
| *** Armleo <[email protected]> has joined #yosys | 15:53 | |
| *** adjtm <[email protected]> has joined #yosys | 15:54 | |
| *** loki_val <loki_val!~crabbedha@user/crabbedhaloablut> has joined #yosys | 17:34 | |
| *** crabbedhaloablut <crabbedhaloablut!~crabbedha@user/crabbedhaloablut> has quit IRC (Ping timeout: 244 seconds) | 17:35 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 256 seconds) | 18:34 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 18:38 | |
| *** gmc_ <[email protected]> has joined #yosys | 19:40 | |
| tnt | Is it just me or did the "show" output become less readable ? | 20:13 |
|---|---|---|
| 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'). | 20:14 |
| tnt | For instance: https://pastebin.com/W6FXCpFs | 20:16 |
| tpb | Title: "on_SB_LUT4_I1_2_O": { "hide_name": 0, "bits": [ 1 - Pastebin.com (at pastebin.com) | 20:16 |
| mwk | that one is autoname's doing, it seems | 20:26 |
| mwk | perhaps autoname should be changed to assign $ names instead, so that it doesn't pollute the main namespace | 20:30 |
| 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 | 20:48 |
| mwk | feels like an ugly workaround, but then so is opt_lut in the first place | 20:49 |
| *** adjtm <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 20:54 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has quit IRC (Quit: Klotz) | 21:02 | |
| *** Armleo <[email protected]> has quit IRC (Quit: Client closed) | 21:14 | |
| *** adjtm <[email protected]> has joined #yosys | 21:29 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!