ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
tlwoerner has quit [Ping timeout: 240 seconds]
tlwoerner has joined #yosys
bl0x has joined #yosys
bl0x_ has quit [Ping timeout: 240 seconds]
citypw has joined #yosys
cr1901_ is now known as cr1901
tlwoerner has quit [Quit: Leaving]
citypw has quit [Remote host closed the connection]
strobo has quit [Read error: Connection reset by peer]
strobo has joined #yosys
citypw has joined #yosys
citypw has quit [Ping timeout: 255 seconds]
<FL4SHK> can someone tell me how to install `sby` on Arch Linux?
<FL4SHK> I looked in the AUR and the regular packages
<FL4SHK> didn't find it
<FL4SHK> oh wait I just found the Installation Guide
<jix> FL4SHK: there's also an oss-cad-suite-build-bin aur pacakge, the oss-cad-suite includes sby and all the useful optional dependencies
<FL4SHK> jix: thanks
<jix> FL4SHK: there also is a sby-nightly aur package, but the oss-cad-suite is a good choice if you don't want to spend time figuring out which dependencies like SMT solvers you're actually going to need
<FL4SHK> I think I only need sby
<FL4SHK> I've done yosys-based formal before, but I haven't done it in this installation
<FL4SHK> of my OS
<FL4SHK> thank you though
tlwoerner has joined #yosys
tlwoerner has quit [Ping timeout: 264 seconds]
tlwoerner has joined #yosys
unkraut has quit [Remote host closed the connection]
unkraut has joined #yosys
bjorkintosh has quit [Remote host closed the connection]
bjorkintosh has joined #yosys
bjorkintosh has quit [Changing host]
bjorkintosh has joined #yosys
AdamHorden has quit [Quit: Adam Horden]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
ec_ has joined #yosys