04:37 <cr1901> whitequark[cis]: Just as a ping, I'll try to work on minisat and boolector today after I sleep. Am still trying to get stuff off my "things to do stack (incl yowasp-boolector)". We'll see if I mux it or fail.

17:57 <_whitenotifier-5> [amaranth] wanda-phi opened pull request #1180: Tests for the test god coverage for the coverage throne - https://github.com/amaranth-lang/amaranth/pull/1180

17:58 <_whitenotifier-7> [amaranth] wanda-phi edited pull request #1180: test_hdl_ir: Add a bunch of tests for NIR emitter. - https://github.com/amaranth-lang/amaranth/pull/1180

17:59 <_whitenotifier-7> [amaranth] codecov[bot] commented on pull request #1180: test_hdl_ir: Add a bunch of tests for NIR emitter. - https://github.com/amaranth-lang/amaranth/pull/1180#issuecomment-1975245761

18:09 <_whitenotifier-7> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1180-2400d3973076f69d75c5299d7e6e7c181e0b5980 - https://github.com/amaranth-lang/amaranth

18:15 <_whitenotifier-5> [amaranth-lang/amaranth] wanda-phi 3ae7714 - hdl._ir: Fix reset-less signals in async reset domains.

18:15 <_whitenotifier-7> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 2 commits to main [+0/-0/±4] https://github.com/amaranth-lang/amaranth/compare/2400d3973076...7d295b040a34

18:15 <_whitenotifier-5> [amaranth] whitequark closed pull request #1180: test_hdl_ir: Add a bunch of tests for NIR emitter. - https://github.com/amaranth-lang/amaranth/pull/1180

18:15 <_whitenotifier-7> [amaranth-lang/amaranth] wanda-phi 7d295b0 - test_hdl_ir: Add a bunch of tests for NIR emitter.

18:15 <_whitenotifier-7> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1180-2400d3973076f69d75c5299d7e6e7c181e0b5980 - https://github.com/amaranth-lang/amaranth

18:16 <_whitenotifier-5> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] df3968d - Deploying to main from @ amaranth-lang/amaranth@7d295b040a347e99383f4ba157382ab49b250529 🚀

18:16 <_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/639b53f307cb...df3968d4c783

18:32 <_whitenotifier-5> [amaranth] wanda-phi opened pull request #1181: hdl._xfrm: Simplify `EnableInserter` logic. - https://github.com/amaranth-lang/amaranth/pull/1181

18:35 <_whitenotifier-5> [amaranth] codecov[bot] commented on pull request #1181: hdl._xfrm: Simplify `EnableInserter` logic. - https://github.com/amaranth-lang/amaranth/pull/1181#issuecomment-1975255263

18:38 <_whitenotifier-7> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1181-7d295b040a347e99383f4ba157382ab49b250529 - https://github.com/amaranth-lang/amaranth

18:44 <_whitenotifier-5> [amaranth-lang/amaranth] wanda-phi fc9369b - hdl._xfrm: Simplify `EnableInserter` logic.

18:44 <_whitenotifier-7> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±2] https://github.com/amaranth-lang/amaranth/compare/7d295b040a34...fc9369b8e19d

18:44 <_whitenotifier-7> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1181-7d295b040a347e99383f4ba157382ab49b250529 - https://github.com/amaranth-lang/amaranth

18:44 <_whitenotifier-7> [amaranth] whitequark closed pull request #1181: hdl._xfrm: Simplify `EnableInserter` logic. - https://github.com/amaranth-lang/amaranth/pull/1181

18:45 <_whitenotifier-5> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] b377a9a - Deploying to main from @ amaranth-lang/amaranth@fc9369b8e19dd57e88a1b09396ff9a4a771e0170 🚀

18:45 <_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/df3968d4c783...b377a9a25ea0

18:46 <_whitenotifier-7> [amaranth] wanda-phi opened pull request #1182: hdl._nir: Remove `ArrayMux`, use `AssignmentList` instead. - https://github.com/amaranth-lang/amaranth/pull/1182

18:49 <_whitenotifier-5> [amaranth] codecov[bot] commented on pull request #1182: hdl._nir: Remove `ArrayMux`, use `AssignmentList` instead. - https://github.com/amaranth-lang/amaranth/pull/1182#issuecomment-1975260263

18:52 <_whitenotifier-5> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1182-fc9369b8e19dd57e88a1b09396ff9a4a771e0170 - https://github.com/amaranth-lang/amaranth

18:58 <_whitenotifier-5> [amaranth-lang/amaranth] wanda-phi ea56137 - hdl._nir: Remove `ArrayMux`, use `AssignmentList` instead.

18:58 <_whitenotifier-7> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±4] https://github.com/amaranth-lang/amaranth/compare/fc9369b8e19d...ea561378acb9

18:58 <_whitenotifier-5> [amaranth] whitequark closed pull request #1182: hdl._nir: Remove `ArrayMux`, use `AssignmentList` instead. - https://github.com/amaranth-lang/amaranth/pull/1182

18:58 <_whitenotifier-7> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1182-fc9369b8e19dd57e88a1b09396ff9a4a771e0170 - https://github.com/amaranth-lang/amaranth

18:59 <_whitenotifier-5> [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/b377a9a25ea0...c8175ef653c4

18:59 <_whitenotifier-7> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] c8175ef - Deploying to main from @ amaranth-lang/amaranth@ea561378acb99554b52a57ac27f49a2f23761a2f 🚀

19:21 <tpw_rules> i'm not on the latest commit but RTLIL is not reproducibile in certain circumstances it seems. is that a goal?

19:23 <tpw_rules> hm, it may be something in amaranth-soc

19:27 <Wanda[cis]> you mean we have nondeterministic output?

19:27 <tpw_rules> yes

19:27 <Wanda[cis]> I just squashed a bug that did exactly this

19:27 <Wanda[cis]> like in the last few hours

19:27 <tpw_rules> is it in the main branch now?

19:28 <Wanda[cis]> yes

19:28 <tpw_rules> okay, lemme give it a whirl

19:29 <_whitenotifier-7> [amaranth] wanda-phi opened pull request #1183: hdl._xfrm: Get rid of _insert_resets, move the logic downstream. - https://github.com/amaranth-lang/amaranth/pull/1183

19:29 <Wanda[cis]> another piece of _xfrm.py bites the dust

19:30 <tpw_rules> no, the particular behavior i'm observing is not fixed. i think there's something in the amaranth-soc machinery hooking stuff up non-deterministically

19:30 <Wanda[cis]> mhm

19:30 <tpw_rules> rather than something inherent to rtlil or amaranth itself

19:31 <Wanda[cis]> could be, I can't really comment on soc stuff

19:31 <tpw_rules> well i'll continue to poke, thanks

19:31 <_whitenotifier-5> [amaranth] codecov[bot] commented on pull request #1183: hdl._xfrm: Get rid of _insert_resets, move the logic downstream. - https://github.com/amaranth-lang/amaranth/pull/1183#issuecomment-1975273196

19:34 <_whitenotifier-5> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1183-ea561378acb99554b52a57ac27f49a2f23761a2f - https://github.com/amaranth-lang/amaranth

19:39 <Wanda[cis]> hrm, codecov commenting on nonsensical lines...

19:40 <_whitenotifier-5> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±4] https://github.com/amaranth-lang/amaranth/compare/ea561378acb9...127fe1fd2e33

19:40 <_whitenotifier-7> [amaranth-lang/amaranth] wanda-phi 127fe1f - hdl._xfrm: Get rid of _insert_resets, move the logic downstream.

19:40 <_whitenotifier-5> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1183-ea561378acb99554b52a57ac27f49a2f23761a2f - https://github.com/amaranth-lang/amaranth

19:40 <_whitenotifier-7> [amaranth] whitequark closed pull request #1183: hdl._xfrm: Get rid of _insert_resets, move the logic downstream. - https://github.com/amaranth-lang/amaranth/pull/1183

19:41 <_whitenotifier-5> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 8ef6d6b - Deploying to main from @ amaranth-lang/amaranth@127fe1fd2e33f94520ceff8e42f04383f5f10591 🚀

19:41 <_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/c8175ef653c4...8ef6d6b8e18e

19:44 <tpw_rules> ah i've figured out the problem, submitting a PR in a bit...

20:31 <_whitenotifier-7> [amaranth-soc] tpwrules opened pull request #73: csr.bus: elaborate Multiplexer connections deterministically - https://github.com/amaranth-lang/amaranth-soc/pull/73

20:33 <tpw_rules> whitequark[cis]: you wrote it five years ago, but do you remember how the promise of iteration "in ascending order of their address" is guaranteed for various functions here: https://github.com/amaranth-lang/amaranth-soc/blob/main/amaranth_soc/memory.py ? as i see it they are iterated in order they are added

20:34 <whitequark[cis]> i do not

20:37 <tpw_rules> i think as documented is a valuable property to have, but the code doesn't currently do that. would you like an issue and possible PR to follow up and fix that?

20:37 <whitequark[cis]> yep

20:52 <_whitenotifier-5> [amaranth-soc] tpwrules opened issue #74: `MemoryMap` doesn't uphold promise to iterate "in ascending order of [...] address" - https://github.com/amaranth-lang/amaranth-soc/issues/74

21:55 <_whitenotifier-5> [rfcs] wanda-phi opened pull request #51: Add an RFC for `ShapeCastable.from_bits` and `LiteralView`. - https://github.com/amaranth-lang/rfcs/pull/51

21:55 <Wanda[cis]> zyp: here's my proposed backend for `sim.get`

21:58 <zyp[m]> nice

22:16 <_whitenotifier-7> [rfcs] whitequark commented on pull request #51: Add an RFC for `ShapeCastable.from_bits` and `LiteralView`. - https://github.com/amaranth-lang/rfcs/pull/51#issuecomment-1975377160

22:18 <_whitenotifier-7> [rfcs] wanda-phi commented on pull request #51: Add an RFC for `ShapeCastable.from_bits` and `LiteralView`. - https://github.com/amaranth-lang/rfcs/pull/51#issuecomment-1975377763

22:35 <_whitenotifier-5> [rfcs] whitequark commented on pull request #36: Add an RFC for async testbench functions. - https://github.com/amaranth-lang/rfcs/pull/36#issuecomment-1975382027

22:45 <_whitenotifier-5> [amaranth] wanda-phi opened pull request #1184: vendor: Rename `IntelPlatform` to `AlteraPlatform`. - https://github.com/amaranth-lang/amaranth/pull/1184

22:47 <_whitenotifier-5> [amaranth] codecov[bot] commented on pull request #1184: vendor: Rename `IntelPlatform` to `AlteraPlatform`. - https://github.com/amaranth-lang/amaranth/pull/1184#issuecomment-1975385156

22:51 <_whitenotifier-5> [rfcs] zyp commented on pull request #36: Add an RFC for async testbench functions. - https://github.com/amaranth-lang/rfcs/pull/36#issuecomment-1975386126

22:53 <_whitenotifier-7> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1184-127fe1fd2e33f94520ceff8e42f04383f5f10591 - https://github.com/amaranth-lang/amaranth

22:59 <_whitenotifier-5> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+2/-2/±4] https://github.com/amaranth-lang/amaranth/compare/127fe1fd2e33...c2001fe93561

22:59 <_whitenotifier-7> [amaranth-lang/amaranth] wanda-phi c2001fe - vendor: Rename `IntelPlatform` to `AlteraPlatform`.

22:59 <_whitenotifier-5> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1184-127fe1fd2e33f94520ceff8e42f04383f5f10591 - https://github.com/amaranth-lang/amaranth

22:59 <_whitenotifier-5> [amaranth] whitequark closed issue #1179: Rename `IntelPlatform` back to `AlteraPlatform` - https://github.com/amaranth-lang/amaranth/issues/1179

22:59 <_whitenotifier-5> [amaranth] whitequark closed pull request #1184: vendor: Rename `IntelPlatform` to `AlteraPlatform`. - https://github.com/amaranth-lang/amaranth/pull/1184

23:00 <_whitenotifier-5> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 88f6e6c - Deploying to main from @ amaranth-lang/amaranth@c2001fe9356174d12cab022f0bbc3261dbf47f5a 🚀

23:00 <_whitenotifier-7> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+4/-4/±41] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/8ef6d6b8e18e...88f6e6c390b3

23:02 <_whitenotifier-5> [rfcs] whitequark commented on pull request #36: Add an RFC for async testbench functions. - https://github.com/amaranth-lang/rfcs/pull/36#issuecomment-1975389154

23:10 <_whitenotifier-5> [rfcs] zyp commented on pull request #36: Add an RFC for async testbench functions. - https://github.com/amaranth-lang/rfcs/pull/36#issuecomment-1975391456

23:44 <_whitenotifier-5> [amaranth] wanda-phi opened pull request #1185: hdl._ir: Remove support for the nonexistent unary `"+"` operator. - https://github.com/amaranth-lang/amaranth/pull/1185

23:46 <_whitenotifier-7> [amaranth] codecov[bot] commented on pull request #1185: hdl._ir: Remove support for the nonexistent unary `"+"` operator. - https://github.com/amaranth-lang/amaranth/pull/1185#issuecomment-1975401991

23:51 <_whitenotifier-7> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1185-c2001fe9356174d12cab022f0bbc3261dbf47f5a - https://github.com/amaranth-lang/amaranth

23:52 <_whitenotifier-5> [rfcs] whitequark commented on pull request #36: Add an RFC for async testbench functions. - https://github.com/amaranth-lang/rfcs/pull/36#issuecomment-1975403611

23:57 <_whitenotifier-5> [amaranth-lang/amaranth] wanda-phi 31a12c0 - hdl._ir: Remove support for the nonexistent unary `"+"` operator.

23:57 <_whitenotifier-7> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±1] https://github.com/amaranth-lang/amaranth/compare/c2001fe93561...31a12c03d19f

23:57 <_whitenotifier-5> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1185-c2001fe9356174d12cab022f0bbc3261dbf47f5a - https://github.com/amaranth-lang/amaranth

23:57 <_whitenotifier-7> [amaranth] whitequark closed pull request #1185: hdl._ir: Remove support for the nonexistent unary `"+"` operator. - https://github.com/amaranth-lang/amaranth/pull/1185

23:58 <_whitenotifier-5> [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/88f6e6c390b3...5f1049a95ab5

23:58 <_whitenotifier-7> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 5f1049a - Deploying to main from @ amaranth-lang/amaranth@31a12c03d19fef601b6515c431c5b686d2ba3702 🚀