| *** tpb has joined #yosys | 00:00 | |
| *** pie__ has joined #yosys | 00:31 | |
| *** pie___ has quit IRC | 00:31 | |
| *** seldridge has quit IRC | 01:38 | |
| *** emeb has left #yosys | 01:49 | |
| *** gsi_ has joined #yosys | 01:50 | |
| *** gsi__ has quit IRC | 01:53 | |
| *** emeb_mac has joined #yosys | 01:53 | |
| *** AlexDaniel has joined #yosys | 02:27 | |
| *** seldridge has joined #yosys | 02:29 | |
| *** citypw has joined #yosys | 02:46 | |
| *** citypw has quit IRC | 02:47 | |
| *** develonepi3 has quit IRC | 03:22 | |
| *** develonepi3 has joined #yosys | 03:25 | |
| *** rohitksingh_work has joined #yosys | 03:49 | |
| *** rohitksingh has joined #yosys | 03:51 | |
| *** proteusguy has quit IRC | 04:55 | |
| *** pie___ has joined #yosys | 05:01 | |
| *** pie__ has quit IRC | 05:04 | |
| *** cr1901_modern has quit IRC | 05:13 | |
| *** rohitksingh has quit IRC | 05:15 | |
| *** m4ssi has joined #yosys | 05:44 | |
| *** m4ssi has quit IRC | 06:22 | |
| *** seldridge has quit IRC | 06:38 | |
| promach | why would my sby file runs for over a week and still had not finished the proof ? | 06:53 |
|---|---|---|
| *** emeb_mac has quit IRC | 07:14 | |
| *** proteusguy has joined #yosys | 07:17 | |
| *** _whitelogger has quit IRC | 07:49 | |
| *** _whitelogger has joined #yosys | 07:51 | |
| *** mrec has quit IRC | 08:43 | |
| *** cr1901_modern has joined #yosys | 09:16 | |
| *** Thorn has quit IRC | 09:32 | |
| *** Xark has quit IRC | 09:32 | |
| *** rohitksingh_work has quit IRC | 09:37 | |
| *** AlexDaniel has quit IRC | 09:37 | |
| *** Xark has joined #yosys | 09:37 | |
| *** show1 has quit IRC | 09:38 | |
| *** show1 has joined #yosys | 09:38 | |
| *** celadon_ has quit IRC | 09:42 | |
| *** proteusguy has quit IRC | 09:42 | |
| *** indy has quit IRC | 09:42 | |
| *** proteusguy has joined #yosys | 09:42 | |
| *** indy has joined #yosys | 09:49 | |
| *** Xark has quit IRC | 09:51 | |
| *** Xark has joined #yosys | 09:56 | |
| *** Thorn has joined #yosys | 09:59 | |
| *** m4ssi has joined #yosys | 10:01 | |
| *** leviathanch has joined #yosys | 10:05 | |
| corecode | exponential growth | 10:08 |
| *** proteusguy has quit IRC | 10:25 | |
| *** proteusguy has joined #yosys | 10:44 | |
| *** cr1901_modern has quit IRC | 12:33 | |
| *** cr1901_modern has joined #yosys | 12:34 | |
| *** Thorn has quit IRC | 12:37 | |
| *** Xark has quit IRC | 12:37 | |
| *** Forty-Bot has quit IRC | 12:37 | |
| *** somlo has quit IRC | 12:37 | |
| *** Forty-3 has joined #yosys | 12:37 | |
| *** Thorn has joined #yosys | 12:40 | |
| *** leviathanch has quit IRC | 13:55 | |
| *** rohitksingh has joined #yosys | 14:04 | |
| *** rohitksingh has quit IRC | 15:07 | |
| *** rohitksingh has joined #yosys | 15:07 | |
| *** emeb has joined #yosys | 15:12 | |
| *** maikmerten has joined #yosys | 16:28 | |
| *** m4ssi has quit IRC | 18:02 | |
| *** rohitksingh has quit IRC | 18:15 | |
| *** Thorn has quit IRC | 19:28 | |
| *** maikmerten has quit IRC | 21:58 | |
| *** lutsabound has joined #yosys | 21:59 | |
| *** AlexDaniel has joined #yosys | 23:44 | |
| *** AlexDaniel has quit IRC | 23:49 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!