| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** tlwoerner <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 00:29 | |
| *** tlwoerner <[email protected]> has joined #yosys | 00:31 | |
| *** bl0x <[email protected]> has joined #yosys | 01:20 | |
| *** bl0x_ <bl0x_!~bl0x@p200300d7a745cf00ae0d17146bcd1bcf.dip0.t-ipconnect.de> has quit IRC (Ping timeout: 240 seconds) | 01:22 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 01:52 | |
| *** cr1901_ is now known as cr1901 | 01:57 | |
| *** tlwoerner <[email protected]> has quit IRC (Quit: Leaving) | 03:27 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Remote host closed the connection) | 04:39 | |
| *** strobo <[email protected]> has quit IRC (Read error: Connection reset by peer) | 08:21 | |
| *** strobo <[email protected]> has joined #yosys | 08:27 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 09:45 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 255 seconds) | 13:01 | |
| FL4SHK | can someone tell me how to install `sby` on Arch Linux? | 13:46 |
|---|---|---|
| FL4SHK | I looked in the AUR and the regular packages | 13:46 |
| FL4SHK | didn't find it | 13:46 |
| FL4SHK | oh wait I just found the Installation Guide | 13:47 |
| 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 | 13:48 |
| FL4SHK | jix: thanks | 13:48 |
| 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 | 13:51 |
| FL4SHK | I think I only need sby | 13:53 |
| FL4SHK | I've done yosys-based formal before, but I haven't done it in this installation | 13:53 |
| FL4SHK | of my OS | 13:53 |
| FL4SHK | thank you though | 13:54 |
| *** tlwoerner <[email protected]> has joined #yosys | 14:48 | |
| *** tlwoerner <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 15:30 | |
| *** tlwoerner <[email protected]> has joined #yosys | 15:55 | |
| *** unkraut <[email protected]> has quit IRC (Remote host closed the connection) | 17:30 | |
| *** unkraut <[email protected]> has joined #yosys | 17:32 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Remote host closed the connection) | 17:39 | |
| *** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:5118:813f:6c07:d55f> has joined #yosys | 17:51 | |
| *** AdamHorden <[email protected]> has quit IRC (Quit: Adam Horden) | 20:20 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:10 | |
| *** nonchip <[email protected]> has joined #yosys | 22:10 | |
| *** ec_ <ec_!~ec@gateway/tor-sasl/ec> has joined #yosys | 22:44 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!