tpb has quit [Remote host closed the connection]
tpb has joined #yosys
sauce has quit [Ping timeout: 246 seconds]
bjonnh has quit [Changing host]
bjonnh has joined #yosys
lumo_e has quit [Quit: Quit]
chaoticryptidz has joined #yosys
chaoticryptidz has joined #yosys
chaoticryptidz has joined #yosys
FabM has joined #yosys
FabM has joined #yosys
skipwich has quit [Ping timeout: 264 seconds]
skipwich has joined #yosys
skipwich has quit [Ping timeout: 252 seconds]
skipwich has joined #yosys
skipwich has quit [Ping timeout: 252 seconds]
skipwich has joined #yosys
lexano has quit [Ping timeout: 260 seconds]
skipwich has quit [Ping timeout: 258 seconds]
skipwich has joined #yosys
lexano has joined #yosys
skipwich has quit [Ping timeout: 260 seconds]
skipwich has joined #yosys
skipwich has quit [Ping timeout: 252 seconds]
skipwich has joined #yosys
skipwich has quit [Ping timeout: 260 seconds]
skipwich has joined #yosys
bjonnh has quit [Ping timeout: 255 seconds]
bjonnh has joined #yosys
skipwich has quit [Ping timeout: 240 seconds]
skipwich has joined #yosys
FL4SHK has joined #yosys
nak has quit [Ping timeout: 255 seconds]
nak has joined #yosys
GenTooMan has quit [Ping timeout: 240 seconds]
FabM has quit [Ping timeout: 258 seconds]
GenTooMan has joined #yosys
GenTooMan has quit [Ping timeout: 258 seconds]
nak has quit [Ping timeout: 252 seconds]
nak has joined #yosys
GenTooMan has joined #yosys
GenTooMan has quit [Excess Flood]
GenTooMan has joined #yosys
GenTooMan has quit [Excess Flood]
nak has quit [Ping timeout: 248 seconds]
GenTooMan has joined #yosys
nak has joined #yosys
Lord_Nightmare has joined #yosys
strobo has quit [Ping timeout: 240 seconds]
strobo has joined #yosys
Guest85 has joined #yosys
Guest85 has quit [Client Quit]
trabucayre has quit [Ping timeout: 264 seconds]
trabucayre has joined #yosys
ec has quit [Remote host closed the connection]
ec has joined #yosys
<
cr1901>
Is "seq" equivalent to the "bounded model check" mode of "yosys-smtbmc"?
strobo has quit [Ping timeout: 258 seconds]
strobo has joined #yosys
nonchip has joined #yosys
GenTooMan has quit [Ping timeout: 260 seconds]
GenTooMan has joined #yosys