whitequark[cis] changed the topic of #amaranth-lang to: Amaranth hardware definition language · weekly meetings: Amaranth each Mon 1700 UTC, Amaranth SoC each Fri 1700 UTC · play https://amaranth-lang.org/play/ · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
lf_ has quit [Ping timeout: 264 seconds]
lf has joined #amaranth-lang
notgull has quit [Ping timeout: 272 seconds]
<_whitenotifier-5> [rfcs] wanda-phi opened pull request #52: Add RFC for `Choice`. - https://github.com/amaranth-lang/rfcs/pull/52
notgull has joined #amaranth-lang
<_whitenotifier-7> [rfcs] wanda-phi edited pull request #52: Add RFC for `Choice`. - https://github.com/amaranth-lang/rfcs/pull/52
<_whitenotifier-5> [rfcs] wanda-phi edited pull request #52: Add RFC for `Choice`. - https://github.com/amaranth-lang/rfcs/pull/52
<_whitenotifier-5> [rfcs] whitequark commented on pull request #52: Add RFC for `Choice`. - https://github.com/amaranth-lang/rfcs/pull/52#issuecomment-1977745761
<_whitenotifier-5> [rfcs] wanda-phi commented on pull request #52: Add RFC for `Choice`. - https://github.com/amaranth-lang/rfcs/pull/52#issuecomment-1977747042
<Wanda[cis]> hmmm actually, should we have some provisions for ShapeCastable-aware muxing
<whitequark[cis]> that sounds tricky except in the case where both operands have exactly the same shape
<Wanda[cis]> it feels suboptimal that you can Mux two Views and not get back a View
<Wanda[cis]> yes
<Wanda[cis]> but also having that as a special case feels hacky too
<Wanda[cis]> ugh.
<whitequark[cis]> yep
<Wanda[cis]> we could require same ShapeCastable for all inputs if any of them is ShapeCastable; it's a new primitive after all
<whitequark[cis]> we could!
<Wanda[cis]> Mux and ArrayProxy will just call Value.cast before lowering to Choice
<Wanda[cis]> (slightly suboptimal, but eh)
<Wanda[cis]> I added it to unresolved questions
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 260 seconds]
Degi_ is now known as Degi
jjsuperpower has quit [Remote host closed the connection]
Guest14 has joined #amaranth-lang
Guest14 has quit [Quit: Client closed]
notgull has quit [Ping timeout: 256 seconds]
notgull has joined #amaranth-lang
eldiem has quit [Read error: Connection reset by peer]
eldiem has joined #amaranth-lang
notgull has quit [Ping timeout: 272 seconds]
<_whitenotifier-5> [amaranth] wanda-phi opened pull request #1189: hdl._ast, hdl._ir: Deduplicate shape unification logic. NFC - https://github.com/amaranth-lang/amaranth/pull/1189
<_whitenotifier-5> [amaranth] codecov[bot] commented on pull request #1189: hdl._ast, hdl._ir: Deduplicate shape unification logic. NFC - https://github.com/amaranth-lang/amaranth/pull/1189#issuecomment-1978380710
refx_investor[m] has joined #amaranth-lang
<refx_investor[m]> **Onlyfans leaks + Teen content here :heart: :** https://discord.gg/tiktoknsfw @everyone
refx_investor[m] has left #amaranth-lang [#amaranth-lang]
<jfng[m]> @whitequark:matrix.org what is the procedure for amendments to an RFC ? a PR then a vote on a meeting ?
<jfng[m]> i'd like to amend RFC #16 to introduce an alignment parameter to `csr.Builder`
<zyp[m]> #29 and #47 were amendments using that procedure, yes
<zyp[m]> but adding another parameter sounds like an addition that could very well be a normal RFC
<_whitenotifier-7> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1189-31a12c03d19fef601b6515c431c5b686d2ba3702 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-5> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±2] https://github.com/amaranth-lang/amaranth/compare/31a12c03d19f...161b01450ede
<_whitenotifier-7> [amaranth-lang/amaranth] wanda-phi 161b014 - hdl._ast, hdl._ir: Deduplicate shape unification logic. NFC
<_whitenotifier-7> [amaranth] whitequark closed pull request #1189: hdl._ast, hdl._ir: Deduplicate shape unification logic. NFC - https://github.com/amaranth-lang/amaranth/pull/1189
<_whitenotifier-7> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1189-31a12c03d19fef601b6515c431c5b686d2ba3702 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-5> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 2092cf8 - Deploying to main from @ amaranth-lang/amaranth@161b01450ede96cf3d7b6999732f057465c2b7bb 🚀
<_whitenotifier-7> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±35] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/018ec13c7fdb...2092cf894031
notgull has joined #amaranth-lang
<_whitenotifier-5> [rfcs] whitequark reviewed pull request #49 commit - https://github.com/amaranth-lang/rfcs/pull/49#discussion_r1513148248
<_whitenotifier-7> [rfcs] whitequark reviewed pull request #49 commit - https://github.com/amaranth-lang/rfcs/pull/49#discussion_r1513149505
<_whitenotifier-7> [rfcs] whitequark commented on pull request #49: Add RFC for a GPIO peripheral. - https://github.com/amaranth-lang/rfcs/pull/49#issuecomment-1979189854
<_whitenotifier-5> [rfcs] jfng reviewed pull request #49 commit - https://github.com/amaranth-lang/rfcs/pull/49#discussion_r1513151789
<_whitenotifier-7> [rfcs] whitequark commented on pull request #49: Add RFC for a GPIO peripheral. - https://github.com/amaranth-lang/rfcs/pull/49#issuecomment-1979221325
<_whitenotifier-7> [rfcs] jfng commented on pull request #49: Add RFC for a GPIO peripheral. - https://github.com/amaranth-lang/rfcs/pull/49#issuecomment-1979244350
<_whitenotifier-5> [rfcs] whitequark commented on pull request #49: Add RFC for a GPIO peripheral. - https://github.com/amaranth-lang/rfcs/pull/49#issuecomment-1979250037
<_whitenotifier-7> [rfcs] tpwrules reviewed pull request #49 commit - https://github.com/amaranth-lang/rfcs/pull/49#discussion_r1513207932
<Wanda[cis]> should we have some way to convert a Format object to string at simulation time? I think yield Format(...) would work for the old sim interface, perhaps await sim.format(Format(...)) for the new interface?
<whitequark[cis]> I don't really have any arguments for or against that
<zyp[m]> if yield Format(…) works, yield sim.get(Format(…)) would too
<zyp[m]> * if yield Format(…) works, await sim.get(Format(…)) would too
<whitequark[cis]> how so? Format is not a `Value
<whitequark[cis]> * how so? Format is not a Value
<zyp[m]> right, I'm not thinking
<Wanda[cis]> (not yet, at least)
<_whitenotifier-7> [amaranth] whitequark deleted branch pysim-display - https://github.com/amaranth-lang/amaranth
skipwich has quit [Ping timeout: 255 seconds]