#amaranth-lang on 2022-01-05 — irc logs at libera.irclog.whitequark.org

2021-12-11 06:40 whitequark changed the topic of #amaranth-lang to: Amaranth hardware definition language · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang

00:04 <d1b2> <widlarizer> Sorry, I meant the other way around. Yosys behind amaranth-yosys. Could be just my yosys being behind master. I'm rebuilding and will report back

00:07 lf_ has joined #amaranth-lang

00:07 lf has quit [Ping timeout: 268 seconds]

01:03 Degi has quit [Ping timeout: 256 seconds]

01:03 Degi_ has joined #amaranth-lang

01:03 <_whitenotifier-8> [YoWASP/yosys] whitequark pushed 1 commit to develop [+0/-0/±1] https://git.io/JSDwQ

01:04 <_whitenotifier-8> [YoWASP/yosys] whitequark 204f8d1 - Update dependencies.

01:04 Degi_ is now known as Degi

02:03 nelgau has joined #amaranth-lang

02:10 cr1901 has quit [Remote host closed the connection]

02:39 bl0x_ has quit [Ping timeout: 240 seconds]

02:41 bl0x_ has joined #amaranth-lang

02:48 cr1901 has joined #amaranth-lang

03:19 nelgau has quit [Remote host closed the connection]

04:30 <whitequark> amaranth-yosys should have the hierarchy pass included

04:30 <whitequark> you may need to update it from PyPI

05:02 Degi_ has joined #amaranth-lang

05:02 Degi has quit [Ping timeout: 256 seconds]

05:02 Degi_ is now known as Degi

05:06 <_whitenotifier-8> [amaranth-boards] TomKeddie synchronize pull request #146: butterstick: add board defn for r1.0 - https://git.io/JDCwC

06:06 <_whitenotifier-8> [amaranth-lang/amaranth-boards] whitequark pushed 1 commit to main [+0/-0/±1] https://git.io/JSyE0

06:06 <_whitenotifier-8> [amaranth-lang/amaranth-boards] whitequark aaf1825 - setup: relax dependency on amaranth.

06:07 <_whitenotifier-8> [amaranth-boards] whitequark commented on issue #190: Tip-of-tree amaranth not compatible with tip of amaranth-boards - https://git.io/JSyEr

06:47 <cr1901> https://github.com/cr1901/ADT_M117#gateware Okay, minimum viable repo is ready

07:07 Lord_Nightmare has quit [Ping timeout: 240 seconds]

07:07 Lord_Nightmare2 has joined #amaranth-lang

07:11 Lord_Nightmare2 is now known as Lord_Nightmare

08:02 nelgau has joined #amaranth-lang

08:07 nelgau has quit [Ping timeout: 240 seconds]

08:19 nelgau has joined #amaranth-lang

08:24 nelgau has quit [Ping timeout: 256 seconds]

08:35 nelgau has joined #amaranth-lang

08:39 nelgau has quit [Ping timeout: 240 seconds]

08:42 bvernoux has joined #amaranth-lang

10:24 Degi has quit [Ping timeout: 256 seconds]

10:25 Degi has joined #amaranth-lang

11:24 <_whitenotifier-8> [amaranth] ekliptik commented on issue #671: cxxsim: ValueError: 4 is not a valid cxxrtl_type - https://git.io/JSSLT

11:26 <_whitenotifier-8> [amaranth] whitequark commented on issue #671: cxxsim: ValueError: 4 is not a valid cxxrtl_type - https://git.io/JSSLO

12:36 nelgau has joined #amaranth-lang

12:37 Vonter has quit [Ping timeout: 240 seconds]

12:40 nelgau has quit [Ping timeout: 256 seconds]

12:42 Vonter has joined #amaranth-lang

13:20 nelgau has joined #amaranth-lang

13:24 nelgau has quit [Ping timeout: 256 seconds]

14:58 Vonter has quit [Ping timeout: 256 seconds]

15:29 bvernoux has quit [*.net *.split]

15:29 SpaceCoaster has quit [*.net *.split]

15:29 peeps[zen] has quit [*.net *.split]

15:29 FL4SHK has quit [*.net *.split]

15:29 smkz has quit [*.net *.split]

15:29 Degi has quit [*.net *.split]

15:29 cr1901 has quit [*.net *.split]

15:29 GenTooMan has quit [*.net *.split]

15:29 arisu has quit [*.net *.split]

15:29 forksand has quit [*.net *.split]

15:29 trabucayre has quit [*.net *.split]

15:29 cyborg_ar has quit [*.net *.split]

15:29 ktemkin has quit [*.net *.split]

15:29 _whitenotifier-8 has quit [*.net *.split]

15:29 tcal has quit [*.net *.split]

15:29 bl0x_ has quit [*.net *.split]

15:29 lf_ has quit [*.net *.split]

15:29 miek has quit [*.net *.split]

15:29 balrog has quit [*.net *.split]

15:29 XgF has quit [*.net *.split]

15:29 indy has quit [*.net *.split]

15:29 pie_ has quit [*.net *.split]

15:29 nyanotech has quit [*.net *.split]

15:29 sauce has quit [*.net *.split]

15:29 alanvgreen has quit [*.net *.split]

15:29 Qyriad has quit [*.net *.split]

15:29 Ekho has quit [*.net *.split]

15:29 dragonmux has quit [*.net *.split]

15:29 cyrozap has quit [*.net *.split]

15:29 tpw_rules has quit [*.net *.split]

15:29 mindw0rk has quit [*.net *.split]

15:29 modwizcode has quit [*.net *.split]

15:29 Stary has quit [*.net *.split]

15:29 lethalbit has quit [*.net *.split]

15:29 Lord_Nightmare has quit [*.net *.split]

15:29 lofty has quit [*.net *.split]

15:29 swym has quit [*.net *.split]

15:29 bob_twinkles has quit [*.net *.split]

15:29 lkcl has quit [*.net *.split]

15:29 chaoticryptidz has quit [*.net *.split]

15:29 adamgreig[m] has quit [*.net *.split]

15:29 whitequark has quit [*.net *.split]

15:29 Lilian has quit [*.net *.split]

15:29 chiastre has quit [*.net *.split]

15:29 mithro has quit [*.net *.split]

15:29 pho has quit [*.net *.split]

15:29 mikolajw has quit [*.net *.split]

15:29 tiltmesenpai[m] has quit [*.net *.split]

15:29 lambda has quit [*.net *.split]

15:29 gdd has quit [*.net *.split]

15:29 ebb has quit [*.net *.split]

15:29 electronic_eel has quit [*.net *.split]

15:29 key2 has quit [*.net *.split]

15:29 rektide has quit [*.net *.split]

15:29 eigenform has quit [*.net *.split]

15:29 vup has quit [*.net *.split]

15:29 anuejn has quit [*.net *.split]

15:29 cesar has quit [*.net *.split]

15:29 a has quit [*.net *.split]

15:29 Raito_Bezarius has quit [*.net *.split]

15:29 Luke has quit [*.net *.split]

15:29 xiretza[m] has quit [*.net *.split]

15:29 jfng[m] has quit [*.net *.split]

15:29 gatecat has quit [*.net *.split]

15:29 wolfshappen has quit [*.net *.split]

15:29 d1b2 has quit [*.net *.split]

15:29 Peanut_ has quit [*.net *.split]

15:29 urja has quit [*.net *.split]

15:29 gruetzkopf has quit [*.net *.split]

15:29 duck2 has quit [*.net *.split]

15:29 oter has quit [*.net *.split]

15:29 enok has quit [*.net *.split]

15:29 mwk has quit [*.net *.split]

15:29 esden has quit [*.net *.split]

15:29 jn has quit [*.net *.split]

15:32 cr1901 has joined #amaranth-lang

15:32 bl0x_ has joined #amaranth-lang

15:32 xiretza[m] has joined #amaranth-lang

15:32 gatecat has joined #amaranth-lang

15:32 Luke has joined #amaranth-lang

15:32 jfng[m] has joined #amaranth-lang

15:32 wolfshappen has joined #amaranth-lang

15:32 d1b2 has joined #amaranth-lang

15:32 lf_ has joined #amaranth-lang

15:32 pie_ has joined #amaranth-lang

15:32 GenTooMan has joined #amaranth-lang

15:32 forksand has joined #amaranth-lang

15:32 XgF has joined #amaranth-lang

15:32 miek has joined #amaranth-lang

15:32 cyborg_ar has joined #amaranth-lang

15:32 peeps[zen] has joined #amaranth-lang

15:32 nyanotech has joined #amaranth-lang

15:32 indy has joined #amaranth-lang

15:32 alanvgreen has joined #amaranth-lang

15:32 dragonmux has joined #amaranth-lang

15:32 _whitenotifier-8 has joined #amaranth-lang

15:32 Qyriad has joined #amaranth-lang

15:32 Raito_Bezarius has joined #amaranth-lang

15:32 a has joined #amaranth-lang

15:32 tcal has joined #amaranth-lang

15:32 tpw_rules has joined #amaranth-lang

15:32 sauce has joined #amaranth-lang

15:32 ktemkin has joined #amaranth-lang

15:32 cesar has joined #amaranth-lang

15:32 cyrozap has joined #amaranth-lang

15:32 Ekho has joined #amaranth-lang

15:32 mindw0rk has joined #amaranth-lang

15:32 trabucayre has joined #amaranth-lang

15:32 arisu has joined #amaranth-lang

15:32 FL4SHK has joined #amaranth-lang

15:32 balrog has joined #amaranth-lang

15:32 SpaceCoaster has joined #amaranth-lang

15:32 Degi has joined #amaranth-lang

15:32 smkz has joined #amaranth-lang

15:32 bvernoux has joined #amaranth-lang

15:32 ChanServ has joined #amaranth-lang

15:32 wolfshappen has quit [Max SendQ exceeded]

15:32 mikolajw has joined #amaranth-lang

15:32 pho has joined #amaranth-lang

15:32 tiltmesenpai[m] has joined #amaranth-lang

15:32 lambda has joined #amaranth-lang

15:32 ebb has joined #amaranth-lang

15:32 key2 has joined #amaranth-lang

15:32 rektide has joined #amaranth-lang

15:32 gdd has joined #amaranth-lang

15:32 electronic_eel has joined #amaranth-lang

15:32 vup has joined #amaranth-lang

15:32 eigenform has joined #amaranth-lang

15:32 anuejn has joined #amaranth-lang

15:32 modwizcode has joined #amaranth-lang

15:32 Stary has joined #amaranth-lang

15:32 lethalbit has joined #amaranth-lang

15:32 wolfshappen has joined #amaranth-lang

15:32 swym has joined #amaranth-lang

15:32 lofty has joined #amaranth-lang

15:32 Lord_Nightmare has joined #amaranth-lang

15:32 Vonter has joined #amaranth-lang

15:32 bob_twinkles has joined #amaranth-lang

15:32 chaoticryptidz has joined #amaranth-lang

15:32 adamgreig[m] has joined #amaranth-lang

15:32 mithro has joined #amaranth-lang

15:32 whitequark has joined #amaranth-lang

15:32 Lilian has joined #amaranth-lang

15:32 chiastre has joined #amaranth-lang

15:32 adamgreig[m] has quit [Ping timeout: 245 seconds]

15:32 whitequark has quit [Ping timeout: 245 seconds]

15:33 Peanut_ has joined #amaranth-lang

15:33 urja has joined #amaranth-lang

15:33 jn has joined #amaranth-lang

15:33 duck2 has joined #amaranth-lang

15:33 esden has joined #amaranth-lang

15:33 oter has joined #amaranth-lang

15:33 enok has joined #amaranth-lang

15:33 gruetzkopf has joined #amaranth-lang

15:33 mwk has joined #amaranth-lang

15:33 esden[m] has quit [Ping timeout: 240 seconds]

15:33 wolfshappen has quit [Max SendQ exceeded]

15:33 wolfshappen has joined #amaranth-lang

15:33 mikolajw has quit [Ping timeout: 250 seconds]

15:33 tiltmesenpai[m] has quit [Ping timeout: 250 seconds]

15:33 cesar has quit [Ping timeout: 250 seconds]

15:33 modwizcode has quit [Ping timeout: 252 seconds]

15:33 pho has quit [Ping timeout: 250 seconds]

15:33 xiretza[m] has quit [Ping timeout: 268 seconds]

15:34 ebb has quit [Max SendQ exceeded]

15:37 jfng[m] has quit [Ping timeout: 268 seconds]

15:42 ebb has joined #amaranth-lang

15:46 Vonter has quit [Quit: WeeChat 3.4]

15:49 Vonter has joined #amaranth-lang

15:54 esden[m] has joined #amaranth-lang

16:02 jfng[m] has joined #amaranth-lang

16:09 pho has joined #amaranth-lang

16:09 tiltmesenpai[m] has joined #amaranth-lang

16:28 mikolajw has joined #amaranth-lang

16:30 xiretza[m] has joined #amaranth-lang

16:39 cesar has joined #amaranth-lang

17:16 modwizcode has joined #amaranth-lang

17:16 whitequark has joined #amaranth-lang

17:16 adamgreig[m] has joined #amaranth-lang

17:20 nelgau has joined #amaranth-lang

17:25 nelgau has quit [Ping timeout: 256 seconds]

17:37 nelgau has joined #amaranth-lang

17:41 nelgau has quit [Ping timeout: 256 seconds]

18:39 nelgau has joined #amaranth-lang

18:39 nelgau has quit [Remote host closed the connection]

18:39 nelgau has joined #amaranth-lang

18:39 nelgau has quit [Remote host closed the connection]

18:40 nelgau has joined #amaranth-lang

18:42 nelgau has quit [Read error: Connection reset by peer]

18:42 nelgau has joined #amaranth-lang

19:07 Guest39 has joined #amaranth-lang

19:08 Guest39 has quit [Client Quit]

19:29 cr1901 has quit [Remote host closed the connection]

19:29 cr1901 has joined #amaranth-lang

20:11 Vonter has quit [Ping timeout: 256 seconds]

21:13 Guest7193 has joined #amaranth-lang

21:30 Guest7193 is now known as hoonigan

21:33 hoonigan is now known as Georg

21:35 Georg is now known as donc

21:59 donc has joined #amaranth-lang

21:59 donc has quit [Changing host]

22:04 donc has quit [Quit: Client closed]

22:05 donc has joined #amaranth-lang

22:06 donc has quit [Client Quit]

22:43 Vonter has joined #amaranth-lang

23:36 <_whitenotifier-8> [amaranth-boards] thirtythreeforty closed issue #190: Tip-of-tree amaranth not compatible with tip of amaranth-boards - https://git.io/JSSw6

23:40 nelgau has quit [Remote host closed the connection]

23:40 nelgau has joined #amaranth-lang

23:45 nelgau has quit [Ping timeout: 256 seconds]

23:51 nelgau has joined #amaranth-lang

23:56 nelgau has quit [Ping timeout: 256 seconds]