Code

Minor seq-improvement#7540

Code

Merged

NikolajBjorner merged 2 commits intoZ3Prover:masterZ3Prover/z3:masterfrom CEisenhofer:eis-sls9CEisenhofer/z3:eis-sls9Copy head branch name to clipboardJan 31, 2025

+125-108

Commits

Commits on Jan 30, 2025

• Minor

  CEisenhofer

  committed
  a3a3921

  Copy full SHA for a3a3921

Commits on Jan 31, 2025

• Guard update list from identity

  CEisenhofer

  committed
  1408a45

  Copy full SHA for 1408a45