clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
lf_ has quit [Ping timeout: 260 seconds]
lf has joined #yosys
proteusguy has quit [Ping timeout: 264 seconds]
proteusguy has joined #yosys
modwizcode has quit [Quit: Later]
vidbina_ has quit [Ping timeout: 256 seconds]
futarisIRCcloud has joined #yosys
SpaceCoaster has joined #yosys
citypw has joined #yosys
Degi_ has joined #yosys
Degi has quit [Ping timeout: 256 seconds]
Degi_ is now known as Degi
jfcaron has quit [Quit: jfcaron]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
citypw has quit [Ping timeout: 240 seconds]
srk has quit [Remote host closed the connection]
srk has joined #yosys
emeb_mac has quit [Quit: Leaving.]
bzztploink has quit [Ping timeout: 256 seconds]
bzztploink has joined #yosys
citypw has joined #yosys
mancaus has quit [Ping timeout: 264 seconds]
jakobwenzel has joined #yosys
dnm has joined #yosys
vidbina_ has joined #yosys
citypw has quit [Remote host closed the connection]
citypw has joined #yosys
jakobwenzel has quit [Remote host closed the connection]
jakobwenzel has joined #yosys
jakobwenzel has quit [Quit: jakobwenzel]
<promach3> Could anyone help with https://github.com/YosysHQ/yosys/issues/2533 ?
citypw has quit [Ping timeout: 240 seconds]
citypw has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
<lambda> promach3: are you sure it didn't just get OOM-killed?
<promach3> lambda: how do I confirm whether it is OOM-killed ?
<lambda> should be in dmesg
<promach3> ok, let me try running boolector again. It will be another few more hours before the brokenpipeerror pops up again
<lambda> have you been able to reproduce it reliably?
<promach3> yes, two times
<promach3> let me try again today
<promach3> lambda:
srk has quit [Quit: ZNC 1.8.2 - https://znc.in]
srk has joined #yosys
jakobwenzel has joined #yosys
vidbina_ has quit [Ping timeout: 256 seconds]
vidbina_ has joined #yosys
maartenBE has quit [Ping timeout: 256 seconds]
maartenBE has joined #yosys
emeb has joined #yosys
modwizcode has joined #yosys
fevv8[m] has joined #yosys
peeps[zen] has joined #yosys
peepsalot has quit [Ping timeout: 240 seconds]
kraiskil has joined #yosys
kraiskil has quit [Read error: Connection reset by peer]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 256 seconds]
kraiskil has joined #yosys
mancaus has joined #yosys
vidbina_ has quit [Ping timeout: 246 seconds]
jakobwenzel has quit [Quit: jakobwenzel]
emeb_mac has joined #yosys
jakobwenzel has joined #yosys
lambda has quit [Ping timeout: 260 seconds]
GenTooMan has quit [Ping timeout: 260 seconds]
kraiskil has quit [Ping timeout: 265 seconds]
notafile has quit [Ping timeout: 260 seconds]
notafile has joined #yosys
lambda has joined #yosys
GenTooMan has joined #yosys
vidbina_ has joined #yosys
vidbina_ has quit [Ping timeout: 246 seconds]
maartenBE has quit [Ping timeout: 256 seconds]
maartenBE has joined #yosys
jakobwenzel has quit [Ping timeout: 260 seconds]
jakobwenzel has joined #yosys
jakobwenzel has quit [Ping timeout: 240 seconds]
emeb has quit [Quit: Leaving.]