Skip to content

Make Aig_And commutative when fAddStrash is enabled. - #554

Open
TrevorHansen wants to merge 1 commit into
berkeley-abc:masterfrom
TrevorHansen:upstream-commutative-and
Open

Make Aig_And commutative when fAddStrash is enabled.#554
TrevorHansen wants to merge 1 commit into
berkeley-abc:masterfrom
TrevorHansen:upstream-commutative-and

aig: canonicalize operands before the two-level rules

fce0338
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs