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 · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
Raito_Bezarius has quit [Quit: free()]
notgull has joined #amaranth-lang
Raito_Bezarius has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 245 seconds]
Degi_ is now known as Degi
notgull has quit [Ping timeout: 260 seconds]
notgull has joined #amaranth-lang
notgull has quit [Ping timeout: 260 seconds]
cr1901 has quit [Quit: Leaving]
cr1901 has joined #amaranth-lang
<_whitenotifier-3> [rfcs] zyp opened pull request #40: Add an RFC for arbitrary `Memory` shapes. - https://github.com/amaranth-lang/rfcs/pull/40
<_whitenotifier-3> [rfcs] zyp edited pull request #40: Add an RFC for arbitrary `Memory` shapes. - https://github.com/amaranth-lang/rfcs/pull/40
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #40 commit - https://github.com/amaranth-lang/rfcs/pull/40#discussion_r1435208493
FFY00 has joined #amaranth-lang
FFY00 has quit [Remote host closed the connection]
FFY00 has joined #amaranth-lang
<cr1901> I don't claim or even agree this is easier than using yowasp (in fact, I kinda want both flows to coexist at some point), but I figured out a way to automatically update the version of yosys used each month for an Amaranth repo using OSS CAD Suite (and make a PR): https://github.com/cr1901/sentinel/blob/main/.github/workflows/update-yosys.yml
<cr1901> https://github.com/cr1901/sentinel/blob/main/.github/workflows/ci.yml#L46-L49 The idea is read a file committed into the repo, and download the relevant release
whitequark[cis] has joined #amaranth-lang
<whitequark[cis]> yeah, the benefit of yowasp is that it works with existing tools like pdm or npm right out of the box
<cr1901> renovate.json takes care of updating PDM deps. When boolector is avail (I'll get to it eventually), I'll add yowasp to the test matrix
<cr1901> There's probably still value to running non-WASM based testing (note that my current CI would not have caught this): https://github.com/YosysHQ/yosys/issues/4068
<_whitenotifier-3> [rfcs] zyp reviewed pull request #40 commit - https://github.com/amaranth-lang/rfcs/pull/40#discussion_r1435248219
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #amaranth-lang
<_whitenotifier-3> [nextpnr] whitequark created branch npmjs - https://github.com/YoWASP/nextpnr
<_whitenotifier-3> [YoWASP/vscode] whitequark pushed 1 commit to main [+1/-1/±1] https://github.com/YoWASP/vscode/compare/d074ae16d801...005efc7cc653
<_whitenotifier-3> [YoWASP/vscode] whitequark 005efc7 - Rename worker_thread.ts to workerThread.ts. NFC
<_whitenotifier-3> [YoWASP/vscode] whitequark pushed 1 commit to main [+0/-0/±1] https://github.com/YoWASP/vscode/compare/005efc7cc653...47f2aa98dcc5
<_whitenotifier-3> [YoWASP/vscode] whitequark 47f2aa9 - Fix typo in `importModuleCriminally()`.
notgull has joined #amaranth-lang
notgull has quit [Ping timeout: 276 seconds]
<_whitenotifier-3> [rfcs] zyp opened pull request #41: Add an RFC for fixed point types. - https://github.com/amaranth-lang/rfcs/pull/41
<_whitenotifier-3> [rfcs] zyp edited pull request #41: Add an RFC for fixed point types. - https://github.com/amaranth-lang/rfcs/pull/41
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435392633
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435389780
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435389857
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435394019
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435392810
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435393520
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435389958
<_whitenotifier-3> [rfcs] zyp reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435396340
<_whitenotifier-3> [rfcs] zyp reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435396917
<_whitenotifier-3> [rfcs] zyp reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435397751
toshywoshy has quit [Ping timeout: 260 seconds]
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435397982
<_whitenotifier-3> [rfcs] whitequark reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435398190
toshywoshy has joined #amaranth-lang
<_whitenotifier-3> [rfcs] zyp reviewed pull request #41 commit - https://github.com/amaranth-lang/rfcs/pull/41#discussion_r1435399480