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]
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
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.]