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