Tuesday, 2023-06-06

*** tpb <[email protected]> has joined #yosys00:00
jleightcapso (i think) options are parsed 1. argv, 2. -s, 3. -p00:02
jleightcapso passing source in (1) means any -I options in (2) (3) aren't reached00:02
jleightcapand `read_verilog -Ifoo source` in (3) fails in (2)00:03
jleightcapso it seems (2) is the only place this logic can go, but then I have to hard-code source00:04
jleightcapparsed isn't correct, they're _processed_ in that order, rather :-)00:05
jleightcapa CLI `-I` that applies to argv source would make this nice -- would a PR be welcome?00:08
loftyEeeeh, it possibly would, although I don't know who would take a look at it00:09
loftyThe default Yosys verilog frontend scares everyone00:09
jleightcapis there a better tool for this?00:12
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)00:12
jleightcapi'd prefer not to exclude source with `include directives when sharing a script00:13
jleightcapTCL script, maybe reading from environment variables?00:13
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys00:14
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)00:23
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys00:25
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)00:33
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys00:35
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)00:54
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys00:55
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)01:06
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys01:09
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)01:16
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys01:21
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)01:31
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys01:34
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)01:41
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys01:42
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)01:48
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys01:51
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)01:56
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys01:57
*** bjork1intosh <bjork1intosh!~bjork@2600:1700:5400:c80:9840:c18a:73cb:3f9d> has quit IRC (Remote host closed the connection)01:58
*** bjork1intosh <bjork1intosh!~bjork@2600:1700:5400:c80:9840:c18a:73cb:3f9d> has joined #yosys01:58
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)02:03
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys02:05
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)02:09
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys02:12
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)02:19
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys02:23
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)02:33
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys02:33
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)02:39
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys02:41
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)02:55
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys02:58
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)03:10
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys03:14
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)03:22
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys03:26
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)03:32
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys03:36
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection)03:42
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys03:43
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::17> has quit IRC (Ping timeout: 250 seconds)03:45
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)03:57
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys03:59
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)04:28
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys04:29
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)04:36
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys04:39
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)05:00
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys05:03
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)05:10
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys05:12
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)05:20
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys05:24
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)05:30
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys05:33
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)06:03
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys06:07
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)06:13
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys06:16
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)06:42
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys06:43
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)06:48
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys06:48
*** FabM <[email protected]> has joined #yosys06:54
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)06:56
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys06:59
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer)07:01
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)07:04
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys07:06
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys07:06
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)07:24
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys07:26
*** AdamHorden <[email protected]> has joined #yosys07:28
*** srk <srk!~sorki@user/srk> has quit IRC (Remote host closed the connection)07:41
*** srk <srk!~sorki@user/srk> has joined #yosys07:41
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)07:44
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys07:45
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)07:50
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys07:53
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)08:23
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys08:26
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)08:38
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys08:39
*** Sarayan <Sarayan!~galibert@2a01:e0a:c8b:e320:beae:c5ff:fee3:518f> has quit IRC (Ping timeout: 250 seconds)08:42
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)09:00
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys09:04
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)09:15
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys09:19
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)09:34
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys09:36
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)09:44
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys09:45
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)09:53
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys09:54
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)10:08
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys10:12
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)10:17
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys10:21
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)10:30
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys10:34
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)10:47
*** Sarayan <Sarayan!~galibert@2a01:e0a:c8b:e320:beae:c5ff:fee3:518f> has joined #yosys10:50
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys10:51
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)11:01
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys11:04
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)11:10
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys11:17
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)11:23
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys11:26
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)11:32
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys11:34
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)12:04
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys12:06
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)12:27
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys12:29
*** krispaul <[email protected]> has joined #yosys12:35
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 240 seconds)12:37
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)12:37
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys12:40
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)12:48
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys12:50
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)12:58
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys13:01
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)13:24
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys13:28
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)13:38
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys14:17
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)14:22
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys14:23
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)14:36
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys14:39
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)14:46
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys14:49
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)14:58
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys15:09
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Remote host closed the connection)15:25
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)15:28
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys15:31
*** so-offish <[email protected]> has joined #yosys15:34
*** so-offish <[email protected]> has quit IRC (Ping timeout: 265 seconds)15:39
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)15:42
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys15:44
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)15:48
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys15:49
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)15:53
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys16:01
*** krispaul <[email protected]> has quit IRC (Quit: WeeChat 2.3)16:05
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys16:06
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)16:08
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys16:11
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)16:18
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys16:21
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)16:27
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys16:32
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)16:48
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys16:51
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)17:02
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys17:04
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)17:12
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys17:16
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)17:22
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys17:25
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)17:38
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys17:39
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)17:45
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys17:48
*** ecs <ecs!ecs_@user/ecs> has quit IRC (Read error: Connection reset by peer)17:49
*** ecs <ecs!ecs@user/ecs> has joined #yosys17:49
*** srk <srk!~sorki@user/srk> has quit IRC (Quit: ZNC 1.8.1 - https://znc.in)17:49
*** shoragan <shoragan!~shoragan@user/shoragan> has quit IRC (Remote host closed the connection)17:49
*** sauce <[email protected]> has quit IRC (Remote host closed the connection)17:50
*** srk <srk!~sorki@user/srk> has joined #yosys17:50
*** shoragan <shoragan!~shoragan@user/shoragan> has joined #yosys17:50
*** sauce <sauce!~sauce@2a07:9944:2222:1d::a> has joined #yosys17:51
*** ZipCPU <[email protected]> has quit IRC (Quit: ZNC 1.7.5+deb4 - https://znc.in)17:55
*** ZipCPU <[email protected]> has joined #yosys17:56
*** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has joined #yosys18:01
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)18:02
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys18:06
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)18:12
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys18:14
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)18:18
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys18:19
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)18:24
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys18:25
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)18:29
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys18:32
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)18:38
*** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has quit IRC (Ping timeout: 256 seconds)18:41
*** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has joined #yosys18:41
*** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has quit IRC (Ping timeout: 268 seconds)18:46
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys18:48
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)18:53
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys18:57
*** kraiskil <[email protected]> has joined #yosys18:59
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)19:04
*** AdamHorden <[email protected]> has quit IRC (Ping timeout: 256 seconds)19:04
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys19:05
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)19:17
*** AdamHorden <[email protected]> has joined #yosys19:20
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys19:21
*** AdamHorden <[email protected]> has quit IRC (Ping timeout: 268 seconds)19:29
*** kraiskil <[email protected]> has quit IRC (Ping timeout: 246 seconds)19:47
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)20:08
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys20:10
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)20:20
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys20:24
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)20:32
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys20:34
*** AdamHorden <[email protected]> has joined #yosys20:37
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)20:45
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys20:49
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)20:55
*** AdamHorden <[email protected]> has quit IRC (Ping timeout: 240 seconds)20:55
*** AdamHorden <[email protected]> has joined #yosys20:56
*** AdamHorden <[email protected]> has quit IRC (Ping timeout: 250 seconds)21:02
*** AdamHorden <[email protected]> has joined #yosys21:02
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys21:05
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)21:34
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys21:36
*** AdamHorden <[email protected]> has quit IRC (Quit: adam.horden.me)21:38
*** AdamHorden <[email protected]> has joined #yosys21:40
*** AdamHorden <[email protected]> has quit IRC (Client Quit)21:41
*** AdamHorden <[email protected]> has joined #yosys21:43
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)21:47
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys21:50
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)21:58
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys22:00
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:13
*** nonchip <[email protected]> has joined #yosys22:13
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)22:18
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys22:20
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)22:28
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys22:35
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection)22:43
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys22:43
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)22:48
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys22:51
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)23:02
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys23:06
*** lethalbit <[email protected]> has quit IRC (Quit: kill -9 -1)23:22
*** lethalbit <[email protected]> has joined #yosys23:22
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)23:24
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys23:26
*** philtor <[email protected]> has quit IRC (Ping timeout: 240 seconds)23:34
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::15> has joined #yosys23:42
*** philtor <[email protected]> has joined #yosys23:47
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds)23:51
*** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys23:54
*** philtor <[email protected]> has quit IRC (Quit: Leaving)23:56
*** philtor <[email protected]> has joined #yosys23:56

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