Saturday, 2023-09-09

*** tpb <[email protected]> has joined #yosys00:00
*** lumo_e <[email protected]> has quit IRC (Quit: Quit)00:03
*** lambda <[email protected]> has quit IRC (Server closed connection)01:22
*** lambda <[email protected]> has joined #yosys01:22
*** heath3 <heath3!~heath@user/heath> has quit IRC (Server closed connection)02:33
*** heath3 <heath3!~heath@user/heath> has joined #yosys02:34
*** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Quit: DISCONNECT)03:01
*** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys03:03
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys03:21
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 246 seconds)05:16
*** killjoy <killjoy!~nameless@user/killjoy> has quit IRC (Read error: Connection reset by peer)09:02
*** killjoy <[email protected]> has joined #yosys09:03
povikthese flags sound like something we could add to the github ci09:26
povikuh, any ideas on how to supply wirenames containing ':' to be the limits of cone expansion with %ci/%co?09:27
povik':' is mistaken for a rule separator in that context09:27
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys12:23
*** anticw <[email protected]> has quit IRC (Server closed connection)12:31
*** anticw <[email protected]> has joined #yosys12:32
povikselection vars to the rescue!12:58
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 246 seconds)14:20
*** DX-MON <[email protected]> has quit IRC (Server closed connection)14:56
*** DX-MON <[email protected]> has joined #yosys14:56
*** MoeIcenowy <MoeIcenowy!~MoeIcenow@2401:c080:1000:445a:5400:4ff:fe31:6509> has quit IRC (Server closed connection)15:09
*** MoeIcenowy <MoeIcenowy!~MoeIcenow@2401:c080:1000:445a:5400:4ff:fe31:6509> has joined #yosys15:09
*** lumo_e <[email protected]> has joined #yosys15:11
*** tlwoerner <[email protected]> has quit IRC (Server closed connection)15:22
*** tlwoerner <[email protected]> has joined #yosys15:22
*** notgull <notgull!~notgull@2600:1f14:8f4:3100:e2a2:c920:847d:d23> has quit IRC (Ping timeout: 245 seconds)15:47
*** bluesceada <bluesceada!~dennis@user/bluesceada> has quit IRC (Server closed connection)15:48
*** notgull <notgull!~notgull@2600:1f14:8f4:3100:e2a2:c920:847d:d23> has joined #yosys15:48
*** bluesceada <bluesceada!~dennis@user/bluesceada> has joined #yosys15:49
*** lkcl <[email protected]> has quit IRC (Ping timeout: 248 seconds)15:51
*** Gracana <[email protected]> has quit IRC (Server closed connection)15:52
*** Gracana <[email protected]> has joined #yosys15:52
*** lumo_e <[email protected]> has quit IRC (Quit: Quit)17:54
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 258 seconds)18:46
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys18:48
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 240 seconds)19:16
*** GenTooMan <[email protected]> has joined #yosys19:56
*** GenTooMan <[email protected]> has quit IRC (Ping timeout: 248 seconds)20:09
*** GenTooMan <[email protected]> has joined #yosys21:08
*** GenTooMan <[email protected]> has quit IRC (Excess Flood)21:10
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys21:10
*** notgull <notgull!~notgull@2600:1f14:8f4:3100:e2a2:c920:847d:d23> has quit IRC (Ping timeout: 248 seconds)21:52
*** notgull <notgull!~notgull@2600:1f14:8f4:3100:e2a2:c920:847d:d23> has joined #yosys21:54
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Quit: Leaving)22:06
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:17
*** nonchip <[email protected]> has joined #yosys22:17
*** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:13ac:c391:5286:dd4b> has joined #yosys22:19
*** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has quit IRC (Server closed connection)23:15
*** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has joined #yosys23:16
*** V <V!~v@ircpuzzles/2022/april/winner/V> has quit IRC (Server closed connection)23:43
*** V <V!~v@ircpuzzles/2022/april/winner/V> has joined #yosys23:43
*** hrberg <[email protected]> has joined #yosys23:46

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!