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
notgull has joined #amaranth-lang
FFY00 has quit [Read error: Connection reset by peer]
mcc111[m] has quit [Quit: Idle timeout reached: 172800s]
lf_ has quit [Ping timeout: 240 seconds]
lf has joined #amaranth-lang
balrog has quit [Quit: Bye]
balrog has joined #amaranth-lang
notgull has quit [Ping timeout: 256 seconds]
FFY00 has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 256 seconds]
Degi_ is now known as Degi
notgull has joined #amaranth-lang
notgull has quit [Ping timeout: 264 seconds]
jjsuperpower_ has quit [Ping timeout: 260 seconds]
notgull has joined #amaranth-lang
notgull has quit [Ping timeout: 264 seconds]
jjsuperpower has joined #amaranth-lang
<_whitenotifier-3> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1051-0ea2aa6b69eb94deed1285da2532e272dd897743 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-3> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1051-0ea2aa6b69eb94deed1285da2532e272dd897743 - https://github.com/amaranth-lang/amaranth
<whitequark[cis]> zyp: do you plan to implement RFC 40 before next Monday?
<whitequark[cis]> (I work on Amaranth docs each Monday and the memory section is the only one missing from the language guide right now)
<_whitenotifier-3> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1051-0ea2aa6b69eb94deed1285da2532e272dd897743 - https://github.com/amaranth-lang/amaranth
<zyp[m]> <whitequark[cis]> "zyp: do you plan to implement..." <- no concrete plans, but I probably can
<whitequark[cis]> that would help, since I'd then be able to finish the guide next Monday and start working on reference docs
<zyp[m]> I'll see if I can get started tonight after the kid is in bed
<whitequark[cis]> thank you!
<_whitenotifier-3> [amaranth] whitequark closed pull request #1051: back.verilog: forbid Yosys version range with dangling else bug. - https://github.com/amaranth-lang/amaranth/pull/1051
<_whitenotifier-3> [amaranth] whitequark closed issue #1049: Miscompilation of nested ifs - https://github.com/amaranth-lang/amaranth/issues/1049
<_whitenotifier-e> [amaranth-lang/amaranth] whitequark 65d77f0 - back.verilog: forbid Yosys version range with dangling else bug.
<_whitenotifier-3> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±2] https://github.com/amaranth-lang/amaranth/compare/0ea2aa6b69eb...65d77f03fe7a
<_whitenotifier-e> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1051-0ea2aa6b69eb94deed1285da2532e272dd897743 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] d0d341f - Deploying to main from @ amaranth-lang/amaranth@65d77f03fe7a75182b4263cd11cc1251b393dad7 🚀
<_whitenotifier-e> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±33] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/4c1d9fc959b3...d0d341fb35b2
Wanda[cis] has quit [Quit: Idle timeout reached: 172800s]
Chips4MakersakaS has quit [Quit: Idle timeout reached: 172800s]
jfng[m] has quit [Quit: Idle timeout reached: 172800s]
Guest44 has joined #amaranth-lang
Guest44 has quit [Client Quit]
tarmoo_ has joined #amaranth-lang
tarmoo_ has quit [Client Quit]
Wanda[cis] has joined #amaranth-lang
<Wanda[cis]> I can implement RFC 40 on the weekend if noone else does
<whitequark[cis]> thank you Wanda!
skipwich has quit [Read error: Connection reset by peer]
skipwich has joined #amaranth-lang
<zyp[m]> I've knocked out most of it, apart from tests and any potential issues I haven't found yet because I still lack full test coverage
<whitequark[cis]> ooh! exciting
<_whitenotifier-3> [amaranth] zyp opened pull request #1052: Implement RFC 40: Arbitrary `Memory` shapes. - https://github.com/amaranth-lang/amaranth/pull/1052
<zyp[m]> that's a WIP draft
<cr1901> whitequark[cis]: I want to add minisat to boolector. minisat hasn't been updated in 10+ years, but there's a fork that was last updated 2 years ago. Worth sending patches and hoping for the best (as opposed to forking minisat to yowasp repo)?
<cr1901> Also, although minisat works, it isn't ready. I'll work on it when I can (prob this weekend)
notgull has joined #amaranth-lang