whitequark[cis] changed the topic of #prjunnamed to: FPGA toolchain project · rule #0 of prjunnamed: no one should ever burn out building software · https://prjunnamed.org · https://github.com/prjunnamed/prjunnamed · logs: https://libera.catirclogs.org/prjunnamed
<_whitenotifier-4> [prjunnamed] wanda-phi opened issue #85: Design proper model of `X` (undefined) values - https://github.com/prjunnamed/prjunnamed/issues/85
<_whitenotifier-4> [prjunnamed] wanda-phi opened issue #86: Lower multiplication to Booth multipliers - https://github.com/prjunnamed/prjunnamed/issues/86
<_whitenotifier-4> [prjunnamed] wanda-phi created branch smt-mul - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-4> [prjunnamed] wanda-phi opened pull request #87: smt: implement `Mul` lowering. - https://github.com/prjunnamed/prjunnamed/pull/87
<_whitenotifier-4> [prjunnamed] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-87-f05406149afe8137203a53cfafddd0a5d8bb7211 - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-4> [prjunnamed] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-87-f05406149afe8137203a53cfafddd0a5d8bb7211 - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-4> [prjunnamed] wanda-phi closed pull request #87: smt: implement `Mul` lowering. - https://github.com/prjunnamed/prjunnamed/pull/87
<_whitenotifier-4> [prjunnamed] wanda-phi deleted branch smt-mul - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-4> [prjunnamed/prjunnamed] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±1] https://github.com/prjunnamed/prjunnamed/compare/f05406149afe...2a424bb60b5a
<_whitenotifier-4> [prjunnamed/prjunnamed] wanda-phi 2a424bb - smt: implement `Mul` lowering.
whitequark[cis] has joined #prjunnamed
<whitequark[cis]> nice
Wanda[cis] has joined #prjunnamed
<Wanda[cis]> ... about?
<whitequark[cis]> mul
<Wanda[cis]> the SMT thing?
<whitequark[cis]> yes
<Wanda[cis]> it's just some trivial patch done along the way (of the rewriter infrastructure)
<Wanda[cis]> more importantly, the rewriter infrastructure is working, the lowering passes are converted to rewriter rulesets, and we have a new AIGification ruleset that both transforms a netlist to AIG and optimizes it a bit while doing so
<whitequark[cis]> very nice
<Wanda[cis]> (it's still missing full metadata propagation; I'll merge it once I'm done with that)
<_whitenotifier-4> [prjunnamed] wanda-phi opened pull request #88: Implement DAG rewriter infrastructure. - https://github.com/prjunnamed/prjunnamed/pull/88
<Wanda[cis]> actually I'll just draft it right now
mwk has joined #prjunnamed
eightdot has quit [Ping timeout: 245 seconds]
eightdot has joined #prjunnamed
<_whitenotifier-4> [prjunnamed] povik commented on issue #85: Design proper model of `X` (undefined) values - https://github.com/prjunnamed/prjunnamed/issues/85#issuecomment-3042319103
<_whitenotifier-4> [prjunnamed] wanda-phi commented on issue #85: Design proper model of `X` (undefined) values - https://github.com/prjunnamed/prjunnamed/issues/85#issuecomment-3042324796
<_whitenotifier-4> [prjunnamed] wanda-phi synchronize pull request #88: Implement DAG rewriter infrastructure. - https://github.com/prjunnamed/prjunnamed/pull/88
<_whitenotifier-4> [prjunnamed] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-88-2a424bb60b5a3bffc5344f6f044b8d5ae07f4c0c - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-4> [prjunnamed/prjunnamed] github-merge-queue[bot] pushed 3 commits to main [+11/-0/±6] https://github.com/prjunnamed/prjunnamed/compare/2a424bb60b5a...11e2d62bf3f2
<_whitenotifier-4> [prjunnamed/prjunnamed] wanda-phi 98a01aa - netlist: add topo_sort.
<_whitenotifier-4> [prjunnamed/prjunnamed] wanda-phi eedaaed - netlist: add `Design::rewrite`.
<_whitenotifier-4> [prjunnamed/prjunnamed] wanda-phi 11e2d62 - generic: add `Normalize`, `SimpleAigOpt`, `Lower*`.
<_whitenotifier-4> [prjunnamed] wanda-phi deleted branch rewriter - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-4> [prjunnamed] wanda-phi closed pull request #88: Implement DAG rewriter infrastructure. - https://github.com/prjunnamed/prjunnamed/pull/88
<_whitenotifier-4> [prjunnamed] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-88-2a424bb60b5a3bffc5344f6f044b8d5ae07f4c0c - https://github.com/prjunnamed/prjunnamed