pie__ has joined #yosys
pie___ has quit [Remote host closed the connection]
seldridge has quit [Ping timeout: 268 seconds]
emeb has left #yosys [#yosys]
gsi_ has joined #yosys
gsi__ has quit [Ping timeout: 246 seconds]
emeb_mac has joined #yosys
AlexDaniel has joined #yosys
seldridge has joined #yosys
citypw has joined #yosys
citypw has quit [Remote host closed the connection]
develonepi3 has quit [Remote host closed the connection]
develonepi3 has joined #yosys
rohitksingh_work has joined #yosys
rohitksingh has joined #yosys
proteusguy has quit [Remote host closed the connection]
pie___ has joined #yosys
pie__ has quit [Ping timeout: 245 seconds]
cr1901_modern has quit [Ping timeout: 246 seconds]
rohitksingh has quit [Ping timeout: 246 seconds]
m4ssi has joined #yosys
m4ssi has quit [Quit: Leaving]
seldridge has quit [Read error: Connection reset by peer]
<
promach>
why would my sby file runs for over a week and still had not finished the proof ?
emeb_mac has quit [Ping timeout: 245 seconds]
proteusguy has joined #yosys
_whitelogger has joined #yosys
mrec has quit [Remote host closed the connection]
cr1901_modern has joined #yosys
Thorn has quit [Read error: Connection reset by peer]
Xark has quit [Ping timeout: 245 seconds]
rohitksingh_work has quit [Read error: Connection reset by peer]
AlexDaniel has quit [Ping timeout: 245 seconds]
Xark has joined #yosys
show1 has quit [Ping timeout: 245 seconds]
show1 has joined #yosys
celadon_ has quit [Ping timeout: 245 seconds]
proteusguy has quit [Ping timeout: 245 seconds]
indy has quit [Ping timeout: 245 seconds]
proteusguy has joined #yosys
indy has joined #yosys
Xark has quit [Ping timeout: 245 seconds]
Xark has joined #yosys
Thorn has joined #yosys
m4ssi has joined #yosys
leviathanch has joined #yosys
<
corecode>
exponential growth
proteusguy has quit [Remote host closed the connection]
proteusguy has joined #yosys
cr1901_modern has quit [Disconnected by services]
cr1901_modern has joined #yosys
Thorn has quit [Ping timeout: 246 seconds]
Xark has quit [Ping timeout: 246 seconds]
Forty-Bot has quit [Ping timeout: 246 seconds]
somlo has quit [Ping timeout: 255 seconds]
Forty-3 has joined #yosys
Thorn has joined #yosys
leviathanch has quit [Remote host closed the connection]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 250 seconds]
rohitksingh has joined #yosys
emeb has joined #yosys
maikmerten has joined #yosys
m4ssi has quit [Remote host closed the connection]
rohitksingh has quit [Ping timeout: 244 seconds]
Thorn has quit [Ping timeout: 255 seconds]
maikmerten has quit [Remote host closed the connection]
lutsabound has joined #yosys
AlexDaniel has joined #yosys
AlexDaniel has quit [Remote host closed the connection]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys