Code

Tyvar refinement#1034

Code

Closed

Y-Nak wants to merge 8 commits intoethereum:masterethereum/fe:masterfrom Y-Nak:tyvar-refinementY-Nak/fe:tyvar-refinementCopy head branch name to clipboard

+636-449

Commits

Commits on Jan 13, 2025

• salsa 3.0 wip

  sbillig

  committed
  8e3eeab

  Copy full SHA for 8e3eeab

• Fix cycle recovery functions

  sbillig

  committed
  7aaa5d3

  Copy full SHA for 7aaa5d3

• Consolidated tracing / log cleanup

  

  micahscopes

  authored and

  sbillig

  committed
  9801f14

  Copy full SHA for 9801f14

• cleanup

  sbillig

  committed
  226ad81

  Copy full SHA for 226ad81

• Fix ordering of missing field names in diagnostic

  sbillig

  committed
  0b2c9a4

  Copy full SHA for 0b2c9a4

• cleanup dead code warnings

  sbillig

  committed
  7e261db

  Copy full SHA for 7e261db

Commits on Jan 15, 2025

• Add missing type refinement

  Y-Nak

  committed
  02bbf68

  Copy full SHA for 02bbf68

• Add refinement tests

  Y-Nak

  committed
  b4bb192

  Copy full SHA for b4bb192