Code

Reenable str.in_re rewrite rule#126

Code

Merged

jurajsic merged 1 commit intodevelVeriFIT/z3-noodler:develfrom rewrite-inreVeriFIT/z3-noodler:rewrite-inreCopy head branch name to clipboardFeb 28, 2024

Commits

Commits on Feb 27, 2024

• allow sometimes rewrite rule: x = to_re in_re y -> x=y

  jurajsic

  committed
  98c1429

  Copy full SHA for 98c1429