Code

smt: minor improvements#376

Code

Open

jsign wants to merge 7 commits intoConsensys:mainConsensys/linea-monorepo:mainfrom jsign:jsign-nitsjsign/linea-monorepo:jsign-nitsCopy head branch name to clipboard

+11-5

Commits

Commits on Dec 2, 2024

• smt/tests: fix truncated comment

  Show description for 546ed3d
  jsign

  committed
  546ed3d

• smt: remove redundant condition

  Show description for b5efd45
  jsign

  committed
  b5efd45

• smt: fix comment

  Show description for 7199bcf
  jsign

  committed
  7199bcf

• smt: check negative position

  Show description for a634053
  jsign

  committed
  a634053

Commits on Dec 3, 2024

• smt: fix border-case condition

  Show description for 33c450a
  jsign

  committed
  33c450a

Commits on Dec 18, 2024

• Merge branch 'main' into jsign-nits

  AlexandreBelling

  authored
  1d4fe65

Commits on Jan 6, 2025

• Merge branch 'main' into jsign-nits

  AlexandreBelling

  authored
  e5dbab0