Code

Support pair equality in rewriter.#2009

Code

Merged

andreistefanescu merged 2 commits intomasterGaloisInc/saw-script:masterfrom pair_eqGaloisInc/saw-script:pair_eqCopy head branch name to clipboardJan 16, 2024

+12

Commits

Commits on Jan 14, 2024

• Support pair equality in rewriter.

  andreistefanescu

  committed
  f36bf3a

  Copy full SHA for f36bf3a

Commits on Jan 16, 2024

• Address comments.

  andreistefanescu

  committed
  61738e9

  Copy full SHA for 61738e9