Thursday, 2022-07-28

*** tpb <[email protected]> has joined #yosys00:00
*** Xark_ <[email protected]> has joined #yosys01:57
*** Xark <[email protected]> has quit IRC (Ping timeout: 276 seconds)01:57
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys04:41
*** FabM <FabM!~FabM@2a03:d604:103:600:38bc:eaae:fc09:107> has joined #yosys05:13
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Remote host closed the connection)05:39
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys05:40
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Remote host closed the connection)06:29
*** kraiskil_ <[email protected]> has joined #yosys14:41
*** kraiskil_ <[email protected]> has quit IRC (Ping timeout: 245 seconds)14:59
*** kraiskil_ <[email protected]> has joined #yosys16:07
*** kraiskil_ <[email protected]> has quit IRC (Ping timeout: 245 seconds)16:55
*** Guest93 <[email protected]> has joined #yosys17:55
Guest93Hey I've some quick questions about Yosys JSON format, is there any documentation as to how it has to be formatted?17:56
*** kraiskil_ <kraiskil_!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has joined #yosys18:11
*** qball1 <qball1!~qball@user/qball> has quit IRC (Ping timeout: 244 seconds)18:12
*** qball1 <[email protected]> has joined #yosys18:16
*** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has joined #yosys18:24
*** kraiskil_ <kraiskil_!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has quit IRC (Ping timeout: 268 seconds)18:41
*** Guest93 <[email protected]> has quit IRC (Ping timeout: 252 seconds)18:41
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving)19:17
*** Guest93 <[email protected]> has joined #yosys20:27
*** Guest93 <[email protected]> has quit IRC (Client Quit)20:31
*** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has quit IRC (Quit: Klotz)20:58
*** GenTooMan <[email protected]> has quit IRC (Ping timeout: 268 seconds)21:54
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:04
*** nonchip <[email protected]> has joined #yosys22:04
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys22:07
*** Guest93 <[email protected]> has joined #yosys22:10
*** Guest93 <[email protected]> has left #yosys22:10
*** Guest6727 <Guest6727!~Guest67@2604:ca00:11a:8ade::260:c80c> has joined #yosys23:26
*** Guest6727 <Guest6727!~Guest67@2604:ca00:11a:8ade::260:c80c> has quit IRC (Client Quit)23:27

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