| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** jossi_1 <[email protected]> has quit IRC (Ping timeout: 120 seconds) | 15:35 | |
| *** jossi_1 <[email protected]> has joined #yosys | 15:35 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!