| *** tpb has joined #yosys | 00:00 | |
| *** lf_ has quit IRC | 00:09 | |
| *** lf has joined #yosys | 00:09 | |
| *** proteusguy has quit IRC | 01:06 | |
| *** proteusguy has joined #yosys | 01:19 | |
| *** modwizcode has quit IRC | 01:39 | |
| *** vidbina_ has quit IRC | 01:49 | |
| *** futarisIRCcloud has joined #yosys | 02:02 | |
| *** SpaceCoaster has joined #yosys | 03:58 | |
| *** citypw has joined #yosys | 04:04 | |
| *** Degi_ has joined #yosys | 04:10 | |
| *** Degi has quit IRC | 04:13 | |
| *** Degi_ is now known as Degi | 04:13 | |
| *** jfcaron has quit IRC | 05:21 | |
| *** futarisIRCcloud has quit IRC | 05:52 | |
| *** citypw has quit IRC | 05:55 | |
| *** srk has quit IRC | 06:30 | |
| *** srk has joined #yosys | 06:31 | |
| *** emeb_mac has quit IRC | 07:00 | |
| *** bzztploink has quit IRC | 07:22 | |
| *** bzztploink has joined #yosys | 08:09 | |
| *** citypw has joined #yosys | 08:16 | |
| *** mancaus has quit IRC | 08:24 | |
| *** jakobwenzel has joined #yosys | 08:31 | |
| *** dnm has joined #yosys | 08:33 | |
| *** vidbina_ has joined #yosys | 09:08 | |
| *** citypw has quit IRC | 09:57 | |
| *** citypw has joined #yosys | 09:58 | |
| *** jakobwenzel has quit IRC | 10:43 | |
| *** jakobwenzel has joined #yosys | 10:44 | |
| *** jakobwenzel has quit IRC | 11:10 | |
| promach3 | Could anyone help with https://github.com/YosysHQ/yosys/issues/2533 ? | 11:15 |
|---|---|---|
| *** citypw has quit IRC | 12:05 | |
| *** citypw has joined #yosys | 12:11 | |
| *** citypw has quit IRC | 12:28 | |
| lambda | promach3: are you sure it didn't just get OOM-killed? | 12:39 |
| promach3 | lambda: how do I confirm whether it is OOM-killed ? | 12:43 |
| lambda | should be in dmesg | 12:44 |
| promach3 | ok, let me try running boolector again. It will be another few more hours before the brokenpipeerror pops up again | 12:45 |
| lambda | have you been able to reproduce it reliably? | 12:46 |
| promach3 | yes, two times | 12:47 |
| promach3 | let me try again today | 12:48 |
| promach3 | lambda: | 12:48 |
| *** srk has quit IRC | 14:08 | |
| *** srk has joined #yosys | 14:09 | |
| *** jakobwenzel has joined #yosys | 14:35 | |
| *** vidbina_ has quit IRC | 15:02 | |
| *** vidbina_ has joined #yosys | 15:14 | |
| *** maartenBE has quit IRC | 15:17 | |
| *** maartenBE has joined #yosys | 15:21 | |
| *** emeb has joined #yosys | 15:40 | |
| *** modwizcode has joined #yosys | 15:42 | |
| *** fevv8[m] has joined #yosys | 16:16 | |
| *** peeps[zen] has joined #yosys | 17:26 | |
| *** peepsalot has quit IRC | 17:27 | |
| *** kraiskil has joined #yosys | 18:41 | |
| *** kraiskil has quit IRC | 18:47 | |
| *** kraiskil has joined #yosys | 18:47 | |
| *** kraiskil has quit IRC | 19:16 | |
| *** kraiskil has joined #yosys | 19:29 | |
| *** mancaus has joined #yosys | 19:52 | |
| *** vidbina_ has quit IRC | 20:01 | |
| *** jakobwenzel has quit IRC | 20:14 | |
| *** emeb_mac has joined #yosys | 20:40 | |
| *** jakobwenzel has joined #yosys | 20:49 | |
| *** GenTooMan has quit IRC | 21:30 | |
| *** lambda has quit IRC | 21:30 | |
| *** kraiskil has quit IRC | 21:30 | |
| *** notafile has quit IRC | 21:30 | |
| *** notafile has joined #yosys | 21:31 | |
| *** lambda has joined #yosys | 21:32 | |
| *** GenTooMan has joined #yosys | 21:32 | |
| *** vidbina_ has joined #yosys | 21:44 | |
| *** vidbina_ has quit IRC | 21:55 | |
| *** maartenBE has quit IRC | 22:14 | |
| *** maartenBE has joined #yosys | 22:17 | |
| *** jakobwenzel has quit IRC | 22:30 | |
| *** jakobwenzel has joined #yosys | 22:53 | |
| *** jakobwenzel has quit IRC | 23:17 | |
| *** emeb has quit IRC | 23:32 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!