clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
lutsabound has quit [Quit: Connection closed for inactivity]
dramforever has joined #yosys
<promach> pepijndevos : from personal experience, yices is faster to finish the proof
citypw has joined #yosys
PyroPeter has quit [Ping timeout: 264 seconds]
PyroPeter has joined #yosys
dys has joined #yosys
emeb_mac has quit [Ping timeout: 245 seconds]
Thorn has joined #yosys
pie_ has quit [Ping timeout: 252 seconds]
Jybz has joined #yosys
dys has quit [Ping timeout: 272 seconds]
pie_ has joined #yosys
Jybz has quit [Excess Flood]
Jybz has joined #yosys
adjtm has quit [Ping timeout: 268 seconds]
rohitksingh has joined #yosys
gmc has quit [Ping timeout: 248 seconds]
adjtm has joined #yosys
rohitksingh has quit [Ping timeout: 264 seconds]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 264 seconds]
emeb has joined #yosys
gmc has joined #yosys
jakobwenzel has quit [Quit: jakobwenzel]
rajesh_s_ has joined #yosys
rajesh_s_ has quit [Remote host closed the connection]
rajesh_s_ has joined #yosys
rajesh_s_ has quit [Remote host closed the connection]
gmc has quit [Ping timeout: 246 seconds]
gmc has joined #yosys
citypw has quit [Ping timeout: 244 seconds]
dys has joined #yosys
jryans has quit [Ping timeout: 276 seconds]
jryans has joined #yosys
dramforever has quit [Ping timeout: 252 seconds]
adjtm has quit [Ping timeout: 248 seconds]
pie_ has quit [Ping timeout: 252 seconds]
adjtm has joined #yosys
adjtm_ has joined #yosys
adjtm has quit [Ping timeout: 268 seconds]
emeb_mac has joined #yosys
dys has quit [Ping timeout: 245 seconds]
dys has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
emeb has quit [Quit: Leaving.]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys