| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** pointfree <[email protected]> has quit IRC (Quit: Connection closed for inactivity) | 01:58 | |
| *** pointfree <[email protected]> has joined #yosys | 17:04 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!