clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
citypw has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
emeb has left #yosys [#yosys]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 240 seconds]
ZipCPU has quit [Ping timeout: 276 seconds]
m4ssi has joined #yosys
nrossi has joined #yosys
Marex has quit [*.net *.split]
Ristovski has quit [*.net *.split]
forrestv has quit [*.net *.split]
m4ssi has quit [Remote host closed the connection]
Marex has joined #yosys
Ristovski has joined #yosys
forrestv has joined #yosys
Jybz has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
pie_ has quit [Ping timeout: 245 seconds]
pie_ has joined #yosys
m4ssi has joined #yosys
acdimalev has joined #yosys
kraiskil has joined #yosys
flaviusb has quit [Ping timeout: 250 seconds]
flaviusb has joined #yosys
d0nker5 has quit [Ping timeout: 268 seconds]
d0nker5 has joined #yosys
acdimalev has quit [Quit: .]
d0nker5 has quit [Ping timeout: 245 seconds]
ZipCPU has joined #yosys
d0nker5 has joined #yosys
russell-- has joined #yosys
d0nker5 has quit [Ping timeout: 268 seconds]
d0nker5 has joined #yosys
d0nker5 has quit [Ping timeout: 268 seconds]
d0nker5 has joined #yosys
fevv8[m] has quit [Remote host closed the connection]
promach3 has quit [Read error: Connection reset by peer]
pepijndevos[m] has quit [Read error: Connection reset by peer]
rohitksingh has quit [Ping timeout: 250 seconds]
promach3 has joined #yosys
fevv8[m] has joined #yosys
pepijndevos[m] has joined #yosys
m4ssi has quit [Remote host closed the connection]
kraiskil has quit [Ping timeout: 240 seconds]
Laksen has joined #yosys
elGamal has quit [Quit: ZNC 1.7.4 - https://znc.in]
elGamal has joined #yosys
dh73 has joined #yosys
dh73 has quit [Read error: Connection reset by peer]
Xark has quit [Ping timeout: 246 seconds]
Xark has joined #yosys
elGamal has quit [Quit: ZNC 1.7.4 - https://znc.in]
elGamal has joined #yosys
grazfather has joined #yosys
<grazfather> hey all. Is yices a req for symbiyosys, or can I have it use another smt solver? I have the engine configured as smtbmc
kraiskil has joined #yosys
<daveshah> grazfather: You should be able to use another solver
<daveshah> eg smtbmc z3 or smtbmc boolector
<grazfather> daveshah: how do I specify it? smtbmc is specified as the engine but i get a stack trace when the subprocess call to yices fails
<grazfather> Oh, i just had to put z3 after the word smtbmc :)
<daveshah> Yeah
<grazfather> thank you!
pie_ has quit [Ping timeout: 250 seconds]
Laksen has quit [Quit: Leaving]
fsasm has joined #yosys
rohitksingh has joined #yosys
nrossi has quit [Quit: Connection closed for inactivity]
rohitksingh has quit [Ping timeout: 250 seconds]
mirage335 has quit [Ping timeout: 245 seconds]
fsasm has quit [Ping timeout: 250 seconds]
rohitksingh has joined #yosys
mirage335 has joined #yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys