az0re has quit [Remote host closed the connection]
az0re has joined #yosys
az0re has quit [Ping timeout: 240 seconds]
emeb_mac has quit [Quit: Leaving.]
az0re has joined #yosys
_whitelogger has joined #yosys
Asu has joined #yosys
N2TOH_ has joined #yosys
N2TOH__ has joined #yosys
N2TOH has quit [Ping timeout: 256 seconds]
N2TOH_ has quit [Ping timeout: 265 seconds]
Thorn has quit [Ping timeout: 240 seconds]
emeb has joined #yosys
Thorn has joined #yosys
N2TOH__ has quit [Read error: Connection reset by peer]
citypw has quit [Ping timeout: 240 seconds]
qu1j0t3 has joined #yosys
emeb has quit [Quit: Leaving.]
<z0ttel>
Is there some rule of thumb for how far I can get with `yosys ... sat ...` vs full symbiosys? I had some success with a fully combinatorial circuit but couldn't even get a sequential circuit to have a proper clock input...