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
lf has quit [Ping timeout: 256 seconds]
lf has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 252 seconds]
Degi_ is now known as Degi
<cr1901> Is there a "check that you incremented the version in pyproject.toml, you dumbass" lint? https://github.com/cr1901/smolarith/actions/runs/8166572898/job/22325703959#step:6:13
<whitequark[cis]> it's called version = ["scm"]
<whitequark[cis]> * it's called dynamic = ["version"] + [tool.pdm.version] source = "scm"
<cr1901> ahhh
<cr1901> Anyways, once tests pass, smolarith v0.1.1 will be released. This is what v0.1.0 should've been; the divider has been optimized to my satisfaction.
<cr1901> released
<cr1901> It's somewhat close to optimal... ~420 LUTs, 240 FFs for a 32-bit signed divider w/ 35 cycle latency. An unsigned divider is ~150 LUTs, 100 FFs (twos complementing is expensive, ouch)
<_whitenotifier-5> [amaranth] wanda-phi opened pull request #1190: Implement RFC 50: `Print` and string formatting. - https://github.com/amaranth-lang/amaranth/pull/1190
<_whitenotifier-7> [amaranth] codecov[bot] commented on pull request #1190: Implement RFC 50: `Print` and string formatting. - https://github.com/amaranth-lang/amaranth/pull/1190#issuecomment-1980067301
cr1901 has quit [Read error: Connection reset by peer]
<_whitenotifier-7> [amaranth] whitequark reviewed pull request #1190 commit - https://github.com/amaranth-lang/amaranth/pull/1190#discussion_r1513810222
<_whitenotifier-5> [amaranth] whitequark reviewed pull request #1190 commit - https://github.com/amaranth-lang/amaranth/pull/1190#discussion_r1513805903
<_whitenotifier-7> [amaranth] whitequark reviewed pull request #1190 commit - https://github.com/amaranth-lang/amaranth/pull/1190#discussion_r1513810715
cr1901 has joined #amaranth-lang
Chips4MakersakaS has quit [Quit: Idle timeout reached: 172800s]
<_whitenotifier-5> [amaranth] wanda-phi edited pull request #1190: Implement RFC 50: `Print` and string formatting. - https://github.com/amaranth-lang/amaranth/pull/1190
<_whitenotifier-7> [amaranth] wanda-phi edited pull request #1190: Implement RFC 50: `Print` and string formatting. - https://github.com/amaranth-lang/amaranth/pull/1190
<_whitenotifier-7> [rfcs] wanda-phi opened pull request #53: RFC 53: Low-level I/O primitives. - https://github.com/amaranth-lang/rfcs/pull/53
skipwich has joined #amaranth-lang
jess has joined #amaranth-lang
notgull has quit [Ping timeout: 264 seconds]
notgull has joined #amaranth-lang
<_whitenotifier-5> [rfcs] whitequark commented on pull request #53: RFC 53: Low-level I/O primitives. - https://github.com/amaranth-lang/rfcs/pull/53#issuecomment-1981537459
<_whitenotifier-7> [amaranth] whitequark reviewed pull request #1190 commit - https://github.com/amaranth-lang/amaranth/pull/1190#discussion_r1514980309
<_whitenotifier-5> [amaranth] whitequark reviewed pull request #1190 commit - https://github.com/amaranth-lang/amaranth/pull/1190#discussion_r1514986675
<_whitenotifier-5> [amaranth] whitequark reviewed pull request #1190 commit - https://github.com/amaranth-lang/amaranth/pull/1190#discussion_r1514985550
<_whitenotifier-7> [amaranth] whitequark reviewed pull request #1190 commit - https://github.com/amaranth-lang/amaranth/pull/1190#discussion_r1514979036
<_whitenotifier-5> [amaranth] whitequark reviewed pull request #1190 commit - https://github.com/amaranth-lang/amaranth/pull/1190#discussion_r1514978934
<_whitenotifier-7> [amaranth] whitequark reviewed pull request #1190 commit - https://github.com/amaranth-lang/amaranth/pull/1190#discussion_r1514987103
<_whitenotifier-5> [boolector] cr1901 commented on pull request #2: MiniSAT Backend Support - https://github.com/YoWASP/boolector/pull/2#issuecomment-1981877577
<cr1901> Oh. Immediately after I make that comment, it gets merged.
<whitequark[cis]> what gets merged?
<cr1901> btor2tools #9
<cr1901> #19*
<cr1901> I made that comment on yowasp/boolector #2 8 minutes ago; btor2tools #19 was merged 7 minutes ago.
notgull has quit [Ping timeout: 264 seconds]
<cr1901> whitequark[cis]: Do you object if I bump the boolector submodules in #2, or should we make that a separate PR?
<whitequark[cis]> sure
jjsuperpower has joined #amaranth-lang
<cr1901> Okay, submodules bumped and CI is green
jjsuperpower_ has joined #amaranth-lang
jjsuperpower has quit [Ping timeout: 252 seconds]
<_whitenotifier-5> [boolector] whitequark commented on pull request #2: MiniSAT Backend Support - https://github.com/YoWASP/boolector/pull/2#issuecomment-1981979147
<_whitenotifier-5> [boolector] cr1901 commented on pull request #2: MiniSAT Backend Support - https://github.com/YoWASP/boolector/pull/2#issuecomment-1981983371