| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** kraiskil <[email protected]> has joined #yosys | 10:38 | |
| *** kraiskil <[email protected]> has quit IRC (Ping timeout: 120 seconds) | 11:23 | |
| *** DevRandom <[email protected]> has joined #yosys | 11:32 | |
| DevRandom | what is the new irc server for yosys? | 11:33 |
|---|---|---|
| *** DevRandom <[email protected]> has quit IRC (Quit: leaving) | 11:33 | |
| *** kraiskil <[email protected]> has joined #yosys | 11:39 | |
| *** kraiskil <[email protected]> has quit IRC (Ping timeout: 120 seconds) | 13:18 | |
| *** kraiskil <[email protected]> has joined #yosys | 18:12 | |
| *** kraiskil <[email protected]> has quit IRC (Ping timeout: 120 seconds) | 20:13 | |
| *** kraiskil <[email protected]> has joined #yosys | 20:21 | |
| *** kraiskil <[email protected]> has quit IRC (Ping timeout: 120 seconds) | 20:42 | |
| ZipCPU | DevRandom: If you had stuck around, I would've told you .... | 23:11 |
| ZipCPU | whitequark has moved to the new server as well, so IRC logs are still being made ... only there now. | 23:11 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!