clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
mithro has quit [Ping timeout: 252 seconds]
mithro has joined #yosys
ccole has joined #yosys
ccole has quit [Client Quit]
proteusguy has joined #yosys
cyrozap has quit [Quit: Client quit]
proteusguy has quit [Ping timeout: 252 seconds]
cyrozap has joined #yosys
ZipCPU|Laptop has joined #yosys
ZipCPU|Laptop has quit [Quit: Transitioning to a lower energy state]
proteusguy has joined #yosys
proteusguy has quit [Ping timeout: 265 seconds]
vinny has joined #yosys
vinny has quit [Quit: Page closed]
qu1j0t3 has quit [Ping timeout: 240 seconds]
qu1j0t3 has joined #yosys
pie__ has quit [Ping timeout: 255 seconds]
pie_ has quit [Ping timeout: 255 seconds]
eduardo__ has joined #yosys
eduardo_ has quit [Ping timeout: 264 seconds]
digshadow has quit [Remote host closed the connection]
digshadow has joined #yosys
m_t has joined #yosys
ar3itrary has quit [Read error: Connection reset by peer]
ar3itrary has joined #yosys
AlexDaniel has quit [Ping timeout: 256 seconds]
<ZipCPU> promach: Are you using the most recent version of yosys? I seem to recall that may have been fixed recently ..
m_t has quit [Quit: Leaving]
AlexDaniel has joined #yosys
pie_ has joined #yosys
pie__ has joined #yosys
<promach> ZipCPU: I just downloaded the latest yosys-git about 10 hours ago
pie__ has quit [Ping timeout: 265 seconds]
pie_ has quit [Ping timeout: 265 seconds]
pie__ has joined #yosys
pie_ has joined #yosys
<promach> ZipCPU: maybe yosys-smtbmc does not support indexing for register array yet
<promach> at least within the assert()
pie_ has quit [Ping timeout: 265 seconds]
pie__ has quit [Ping timeout: 265 seconds]
dys has joined #yosys
AlexDaniel has quit [Ping timeout: 248 seconds]
AlexDaniel has joined #yosys
proteusguy has joined #yosys
m_t has joined #yosys
gnufan has joined #yosys
pie_ has joined #yosys
pie__ has joined #yosys
bpye_ has joined #yosys
jpo_ has joined #yosys
swick has quit [*.net *.split]
bpye has quit [*.net *.split]
bluesceada has quit [*.net *.split]
jpo has quit [*.net *.split]
Nazara has quit [Ping timeout: 240 seconds]
bluesceada has joined #yosys
Nazara has joined #yosys
m_w has joined #yosys
swick has joined #yosys
Nazara has quit [Ping timeout: 240 seconds]
Nazara has joined #yosys
m_t has quit [Quit: Leaving]
dys has quit [Ping timeout: 268 seconds]