01:04 <_whitenotifier-9> [YoWASP/yosys] whitequark pushed 1 commit to develop [+0/-0/±1] https://github.com/YoWASP/yosys/compare/90cc73e2e9bf...3a600e10999b

01:04 <_whitenotifier-9> [YoWASP/yosys] whitequark 3a600e1 - Update dependencies.

04:13 <cr1901> If I have a comparison such as "foo == (bar + 15 - 1)", where "foo" and "bar" have unsigned(4) shape, is the proper way to force a comparison to wrap like this?:

04:13 <cr1901> foo == (bar + 15 - 1)[:4]

04:14 <cr1901> Anyone got anything better (this works)?

13:52 <FL4SHK> where is the rfc for `Interface`?

13:52 <FL4SHK> I just did a search, couldn't find it

13:52 <FL4SHK> oh wait

13:52 <FL4SHK> I may have found it

13:53 <FL4SHK> or, well, I found part of it

13:53 <FL4SHK> I found existing RFCs

13:54 <FL4SHK> https://github.com/amaranth-lang/rfcs

13:54 <FL4SHK> I guess these are the RFCs that have already been written

13:58 <d1b2> <zyp> the interface RFC is still on an unmerged branch: https://github.com/amaranth-lang/rfcs/blob/interfaces/text/0002-interfaces.md

13:58 <FL4SHK> thanks zyp

14:08 <FL4SHK> will interfaces be usable with `Instance`s?

14:08 <FL4SHK> if not, I suppose I should write my own thing for that

14:09 <FL4SHK> though maybe just examining the inputs and outputs of an interface would be good enough, as I could just create a kwargs

14:09 <FL4SHK> and pass that to the `Instance`

14:55 <whitequark> FL4SHK: that would be another RFC; I haven't really thought about it yet

22:06 <_whitenotifier-9> [amaranth-soc] jfng commented on issue #10: Peripheral API design: exposing bus interfaces - https://github.com/amaranth-lang/amaranth-soc/issues/10#issuecomment-1579514237

22:54 <FL4SHK> whitequark: I see