Code

jkind subsumption#3525

Code

Merged

glittershark merged 7 commits intomainocaml-flambda/flambda-backend:mainfrom liam-jkind-subsumptionocaml-flambda/flambda-backend:liam-jkind-subsumptionCopy head branch name to clipboardFeb 11, 2025

+2,730-432

Commits

Commits on Feb 11, 2025

• start on normalize_side refactor

  glittershark

  committed
  9b08476

  Copy full SHA for 9b08476

• jkind subsumption

  Show description for 8f25500
  

  3 peoplecommitted
  8f25500

  Copy full SHA for 8f25500

• promote a bunch of changes

  Show description for e5d98af
  glittershark

  committed
  e5d98af

  Copy full SHA for e5d98af

• set -infer-with-bounds in new tests

  glittershark

  committed
  85e0a9f

  Copy full SHA for 85e0a9f

• reinstante allow_any_crossing

  glittershark

  committed
  078e0d8

  Copy full SHA for 078e0d8

• mutable_implied_modalities includes unyielding

  glittershark

  committed
  014724c

  Copy full SHA for 014724c

• Remove a CR in a test

  glittershark

  committed
  a90392b

  Copy full SHA for a90392b