00:36 <_whitenotifier-9> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1441-ef5c506f64ebb9c73578edb03b3ae4efda810964 - https://github.com/amaranth-lang/amaranth

00:42 <_whitenotifier-9> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±9] https://github.com/amaranth-lang/amaranth/compare/ef5c506f64eb...9686da290c61

00:42 <_whitenotifier-9> [amaranth-lang/amaranth] wanda-phi 9686da2 - build: add clock constraints on `IOPort` instead of buffered `Signal`.

00:42 <_whitenotifier-9> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1441-ef5c506f64ebb9c73578edb03b3ae4efda810964 - https://github.com/amaranth-lang/amaranth

00:42 <_whitenotifier-9> [amaranth] whitequark closed pull request #1441: build: add clock constraints on `IOPort` instead of buffered `Signal`. - https://github.com/amaranth-lang/amaranth/pull/1441

00:43 <_whitenotifier-9> [amaranth] wanda-phi opened pull request #1442: build: add clock constraints on `IOPort` instead of buffered `Signal`. [0.5 backport] - https://github.com/amaranth-lang/amaranth/pull/1442

00:44 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±37] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/58ed66b0a724...79befef9589f

00:44 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 79befef - Deploying to main from @ amaranth-lang/amaranth@9686da290c6144cd8bf7575de38e22eb122388a1 🚀

00:49 <_whitenotifier-9> [amaranth] whitequark closed pull request #1442: build: add clock constraints on `IOPort` instead of buffered `Signal`. [0.5 backport] - https://github.com/amaranth-lang/amaranth/pull/1442

03:03 <_whitenotifier-9> [amaranth] wanda-phi opened pull request #1443: build, vendor: use `dir="-"` in `create_missing_domain`. - https://github.com/amaranth-lang/amaranth/pull/1443

03:05 <_whitenotifier-9> [amaranth] codecov[bot] commented on pull request #1443: build, vendor: use `dir="-"` in `create_missing_domain`. - https://github.com/amaranth-lang/amaranth/pull/1443#issuecomment-2198416196

03:16 <_whitenotifier-9> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1443-9686da290c6144cd8bf7575de38e22eb122388a1 - https://github.com/amaranth-lang/amaranth

03:17 <_whitenotifier-9> [amaranth] wanda-phi opened pull request #1444: build, vendor: use `dir="-"` in `create_missing_domain`. [0.5 backport] - https://github.com/amaranth-lang/amaranth/pull/1444

03:21 <_whitenotifier-9> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±6] https://github.com/amaranth-lang/amaranth/compare/9686da290c61...eefca8323028

03:21 <_whitenotifier-9> [amaranth-lang/amaranth] wanda-phi eefca83 - build, vendor: use `dir="-"` in `create_missing_domain`.

03:21 <_whitenotifier-9> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1443-9686da290c6144cd8bf7575de38e22eb122388a1 - https://github.com/amaranth-lang/amaranth

03:21 <_whitenotifier-9> [amaranth] whitequark closed issue #1402: `create_missing_domain` uses `platform.request()` in deprecated mode in all platforms - https://github.com/amaranth-lang/amaranth/issues/1402

03:21 <_whitenotifier-9> [amaranth] whitequark closed pull request #1443: build, vendor: use `dir="-"` in `create_missing_domain`. - https://github.com/amaranth-lang/amaranth/pull/1443

03:22 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±37] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/79befef9589f...f7d919623dff

03:22 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] f7d9196 - Deploying to main from @ amaranth-lang/amaranth@eefca8323028a0616d2b50019d119fcf7dd3d200 🚀

03:25 <_whitenotifier-9> [amaranth] whitequark closed pull request #1444: build, vendor: use `dir="-"` in `create_missing_domain`. [0.5 backport] - https://github.com/amaranth-lang/amaranth/pull/1444

12:32 <RobTaylor[m]> In the AST, what is the role of SwitchValue?

13:03 <Wanda[cis]> <RobTaylor[m]> "In the AST, what is the role..." <- see this RFC: https://github.com/amaranth-lang/rfcs/pull/52

13:04 <Wanda[cis]> SwitchValue is essentially the "backend" AST node used to represent Choice when it is lowered

13:05 <Wanda[cis]> (Choice is not actually supported yet, as the RFC is still pending some discussion, but the underlying primitive was considered useful enough that we already added the backend node and refactored some stuff to use it, such as Array and Mux)

14:27 <RobTaylor[m]> <Wanda[cis]> "SwitchValue is essentially the..." <- Thank you!

14:36 <RobTaylor[m]> Will Switch(Statement) continue to exist?

14:43 <Wanda[cis]> it will; it is orthogonal to Choice or SwitchValue, and has capabilities that cannot be realized through them (such as being able to conditionally assign a signal, or to do conditionals over Display statements)

17:02 <RobTaylor[m]> <Wanda[cis]> "it will; it is orthogonal to ..." <- Makes sense, thank you

17:02 <whitequark[cis]> Choice is essentially a more general version of Array

17:03 <whitequark[cis]> Array is kind of a weird hack Migen had, it has a lot of utility, but it's not really a solid language construct that can be composed with other features