clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
emeb_mac has joined #yosys
dxld has quit [Quit: Bye]
dxld has joined #yosys
emeb_mac has quit [Ping timeout: 240 seconds]
emeb_mac has joined #yosys
ym has joined #yosys
develonepi3 has quit [Remote host closed the connection]
X-Scale has quit [Ping timeout: 252 seconds]
maartenBE has quit [Read error: Connection reset by peer]
maartenBE has joined #yosys
ym has quit [Quit: Leaving]
azonenberg_work has quit [Ping timeout: 245 seconds]
azonenberg_work has joined #yosys
_whitelogger has joined #yosys
X-Scale has joined #yosys
_whitelogger has joined #yosys
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 252 seconds]
rohitksingh has joined #yosys
emeb_mac has quit [Quit: Leaving.]
rohitksingh has quit [Ping timeout: 246 seconds]
_whitelogger has joined #yosys
rohitksingh has joined #yosys
_whitelogger has joined #yosys
AlexDaniel has joined #yosys
GuzTech has joined #yosys
rohitksingh has quit [Quit: Leaving.]
GuzTech has quit [Ping timeout: 244 seconds]
rohitksingh has joined #yosys
rohitksingh has quit [Client Quit]
rohitksingh has joined #yosys
fsasm has joined #yosys
fsasm has quit [Ping timeout: 252 seconds]
rohitksingh has quit [Ping timeout: 252 seconds]
<ZipCPU> awygle: The new/updated proof is still running. I'm about 16 steps into a 30 step proof, and it's been 5hrs since the last basecase step completed.
dxld has quit [Quit: Bye]
dxld has joined #yosys
GuzTech has joined #yosys
emeb_mac has joined #yosys
lutsabound has joined #yosys
dxld has quit [Quit: Bye]
dxld has joined #yosys
dys has joined #yosys
rohitksingh has joined #yosys
emeb_mac has quit [Ping timeout: 246 seconds]
rohitksingh has quit [Quit: Leaving.]
rohitksingh has joined #yosys
azonenberg_work has quit [Ping timeout: 246 seconds]
rohitksingh has quit [Quit: Leaving.]
azonenberg_work has joined #yosys
_whitelogger has joined #yosys
dys has quit [Ping timeout: 252 seconds]
emeb_mac has joined #yosys
zjoel has quit [Quit: Leaving]
dys has joined #yosys
_whitelogger has joined #yosys