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
Degi has quit [Ping timeout: 252 seconds]
Degi has joined #amaranth-lang
Degi has quit [Ping timeout: 255 seconds]
Degi has joined #amaranth-lang
Stary has quit [Quit: ZNC - http://znc.in]
Stary has joined #amaranth-lang
chrisgorman has joined #amaranth-lang
FFY00 has quit [Remote host closed the connection]
FFY00 has joined #amaranth-lang
Degi has quit [Ping timeout: 252 seconds]
frgo has quit [Remote host closed the connection]
frgo has joined #amaranth-lang
peepsalot has quit [Quit: Connection reset by peep]
peepsalot has joined #amaranth-lang
jorolf[m] has joined #amaranth-lang
<jorolf[m]> with m.If(signals_valid):
<jorolf[m]> with m.FSM():
<jorolf[m]> Is that valid code? As in, do the statements inside that FSM only evaluate when the outer condition is met?
whitequark[cis] has joined #amaranth-lang
<whitequark[cis]> it is and it is
<whitequark[cis]> * it is and they do
<whitequark[cis]> with m.FSM() is basically a big If/Elif block with some fluff
<whitequark[cis]> it's somewhat unconventional but it is intended to work this way
<jorolf[m]> Ah okay
<zyp[m]> fsm/state is switch/case with sugar, and switch/case is if/else with sugar
<zyp[m]> at least that's how I think of it, having seen a ton of C FSMs implemented using switch/case
<whitequark[cis]> in case of amaranth, if/else is switch/case with sugar
<whitequark[cis]> (the only low-level construct is switch, everything else is desugared into it)
<whitequark[cis]> this isn't super visible on the surface though
<jorolf[m]> For all I know, FSMs could have been implemented as a special case which worked outside of If/Else and Switch/Case
<zyp[m]> that sounds like a major footgun, and amaranth likes avoiding footguns
<jorolf[m]> (ah, nvm, that's a dumb question, it just adds it regardless)
<whitequark[cis]> yes. it might be worth diagnosing that pattern
<_whitenotifier-4> [amaranth] rroohhh opened pull request #1540: rpc: use rtlil instead of ilang - https://github.com/amaranth-lang/amaranth/pull/1540
<_whitenotifier-4> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1540-ef4f68a1be4f549ecec0db73ebc751f7e8f6ac51 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-4> [rfcs] jrmoserbaltimore commented on pull request #41: Add an RFC for fixed point types. - https://github.com/amaranth-lang/rfcs/pull/41#issuecomment-2468832410
<_whitenotifier-4> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±1] https://github.com/amaranth-lang/amaranth/compare/ef4f68a1be4f...ab3a355a5499
<_whitenotifier-4> [amaranth-lang/amaranth] rroohhh ab3a355 - rpc: use rtlil instead of ilang
<_whitenotifier-4> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1540-ef4f68a1be4f549ecec0db73ebc751f7e8f6ac51 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-4> [amaranth] whitequark closed pull request #1540: rpc: use rtlil instead of ilang - https://github.com/amaranth-lang/amaranth/pull/1540
frgo has quit [Remote host closed the connection]
frgo has joined #amaranth-lang
<_whitenotifier-4> [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/559d23671251...5840344047e8
<_whitenotifier-4> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 5840344 - Deploying to main from @ amaranth-lang/amaranth@ab3a355a54993dae164863d94816a2c5c0df7657 🚀
<_whitenotifier-4> [rfcs] whitequark commented on pull request #41: Add an RFC for fixed point types. - https://github.com/amaranth-lang/rfcs/pull/41#issuecomment-2468846790
<_whitenotifier-4> [rfcs] zyp commented on pull request #41: Add an RFC for fixed point types. - https://github.com/amaranth-lang/rfcs/pull/41#issuecomment-2468863231
<_whitenotifier-4> [rfcs] jrmoserbaltimore commented on pull request #41: Add an RFC for fixed point types. - https://github.com/amaranth-lang/rfcs/pull/41#issuecomment-2468876380
<_whitenotifier-4> [rfcs] whitequark commented on pull request #41: Add an RFC for fixed point types. - https://github.com/amaranth-lang/rfcs/pull/41#issuecomment-2468885000
Degi has joined #amaranth-lang