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
lf has quit [Ping timeout: 258 seconds]
lf has joined #amaranth-lang
<_whitenotifier> [amaranth] jrmoserbaltimore opened issue #951: Feature: Sum of product sop(), product of sum pos() - https://github.com/amaranth-lang/amaranth/issues/951
Degi has quit [Ping timeout: 245 seconds]
Degi_ has joined #amaranth-lang
Degi_ is now known as Degi
notgull has quit [Ping timeout: 240 seconds]
notgull has joined #amaranth-lang
key2 has quit [Server closed connection]
key2 has joined #amaranth-lang
tpw_rules has quit [Server closed connection]
tpw_rules has joined #amaranth-lang
Darius has quit [Server closed connection]
Darius has joined #amaranth-lang
<_whitenotifier> [amaranth] whitequark commented on issue #951: Feature: Sum of product sop(), product of sum pos() - https://github.com/amaranth-lang/amaranth/issues/951#issuecomment-1805444572
<catlosgay[m]> cr1901: thats very interesting. are there any particular characteristics of the problem that you think might contribute? (lots of xors or arrays or something)
<catlosgay[m]> also is this using prove mode? what bounds do the two get to?
<catlosgay[m]> this may just be a big perf difference, but these tools are also not without their correctness bugs (i found a yices2 bug doing bmc work like 6 months ago that hasnt been fixed yet)
<_whitenotifier> [amaranth] jrmoserbaltimore commented on issue #951: Feature: Sum of product sop(), product of sum pos() - https://github.com/amaranth-lang/amaranth/issues/951#issuecomment-1805687884
<_whitenotifier> [amaranth] whitequark commented on issue #951: Feature: Sum of product sop(), product of sum pos() - https://github.com/amaranth-lang/amaranth/issues/951#issuecomment-1805691330
mindw0rk has quit [Server closed connection]
mindw0rk has joined #amaranth-lang
<_whitenotifier> [amaranth] jrmoserbaltimore commented on issue #951: Feature: Sum of product sop(), product of sum pos() - https://github.com/amaranth-lang/amaranth/issues/951#issuecomment-1805809448
FFY00_ has quit [Ping timeout: 240 seconds]
<_whitenotifier> [amaranth] whitequark commented on issue #951: Feature: Sum of product sop(), product of sum pos() - https://github.com/amaranth-lang/amaranth/issues/951#issuecomment-1805952490
byteit101 has quit [Ping timeout: 258 seconds]
mobius has quit [Server closed connection]
mobius has joined #amaranth-lang
<_whitenotifier> [amaranth] jfng commented on issue #951: Feature: Sum of product sop(), product of sum pos() - https://github.com/amaranth-lang/amaranth/issues/951#issuecomment-1806014962
Raito_Bezarius has quit [Server closed connection]
Raito_Bezarius has joined #amaranth-lang
jjsuperpower has joined #amaranth-lang
jfng[m] has joined #amaranth-lang
<jfng[m]> i'm focusing on finishing the component metadata RFC for this evening, so we can have a look at it monday (the plan is to implement this in amaranth.lib)
<jfng[m]> hi! no SoC meeting today., sorry.
gatecat has quit [Server closed connection]
gatecat has joined #amaranth-lang
nelgau_ has joined #amaranth-lang
nelgau has quit [Read error: Connection reset by peer]
duskwuff[m] has quit [Quit: Idle timeout reached: 172800s]
<_whitenotifier> [amaranth] jrmoserbaltimore commented on issue #951: Feature: Sum of product sop(), product of sum pos() - https://github.com/amaranth-lang/amaranth/issues/951#issuecomment-1806488119
nelgau_ has quit [Read error: Connection reset by peer]
nelgau has joined #amaranth-lang
nelgau has quit [Read error: Connection reset by peer]
nelgau has joined #amaranth-lang
notgull has quit [Ping timeout: 246 seconds]
notgull has joined #amaranth-lang
richlatticefae[m has quit [Quit: Idle timeout reached: 172800s]