Code

Infer stabilize review fsss#1462

Code

Merged

andrew-johnson-4 merged 11 commits intoLambda-Mountain-Compiler-Backend:mainLambda-Mountain-Compiler-Backend/lambda-mountain:mainfrom

andrew-johnson-4:infer-stabilize-review-fsssandrew-johnson-4/lambda-mountain:infer-stabilize-review-fsssCopy head branch name to clipboard

May 2, 2025

Commits

Commits on May 1, 2025

• std infer

  andrew-johnson-4

  committed
  cdf01d2

  Copy full SHA for cdf01d2

• a little cleaner

  andrew-johnson-4

  committed
  2f099b0

  Copy full SHA for 2f099b0

• where is that LMStruct coming from hu

  andrew-johnson-4

  committed
  2ddeddb

  Copy full SHA for 2ddeddb

• passing type check

  andrew-johnson-4

  committed
  56ea992

  Copy full SHA for 56ea992

• specialization cant find which is which

  andrew-johnson-4

  committed
  3110949

  Copy full SHA for 3110949

• forward progress

  andrew-johnson-4

  committed
  637d664

  Copy full SHA for 637d664

Commits on May 2, 2025

• wip

  andrew-johnson-4

  committed
  3efd36d

  Copy full SHA for 3efd36d

• time down

  andrew-johnson-4

  committed
  ba7d3fc

  Copy full SHA for ba7d3fc

• 31s

  andrew-johnson-4

  committed
  4c70391

  Copy full SHA for 4c70391

• remove dead code

  andrew-johnson-4

  committed
  dc604b1

  Copy full SHA for dc604b1

• inference core

  andrew-johnson-4

  committed
  32b96cb

  Copy full SHA for 32b96cb