Code

Newderiv#5585

Code

Merged

NikolajBjorner merged 16 commits intoZ3Prover:masterZ3Prover/z3:masterfrom NikolajBjorner:newderivNikolajBjorner/z3:newderivCopy head branch name to clipboardOct 8, 2021

Commits

Commits on Oct 7, 2021

• updated derivative engine

  veanes

  committed
  890a66c

• some edit

  veanes

  committed
  1fdb655

• further improvements in derivative code

  veanes

  committed
  60f39b0

• more deriv code edits and re::to_str update

  veanes

  committed
  c4275df

• optimized mk_deriv_accept

  veanes

  committed
  0a4cb03

• fixed PR comments

  veanes

  committed
  ab92030

• small syntax fix

  veanes

  committed
  11479a2

• updated some simplifications

  veanes

  committed
  dec03d1

• bugfix:forgot to_re before reverse

  veanes

  committed
  0eea583

• fixed PR comments

  veanes

  committed
  f948a63

• more PR comment fixes

  veanes

  committed
  612588f

• more PR comment fixes

  veanes

  committed
  7ecbc62

• forgot to delete

  veanes

  committed
  b62fdca

• deleting unused definition

  veanes

  committed
  3d5b27e

Commits on Oct 8, 2021

• fixes

  Show description for 90e8a3c
  NikolajBjorner

  committed
  90e8a3c

• Merge branch 'master' into newderiv

  NikolajBjorner

  authored
  daca8dc