Code

Add Mode.Crossing#3639

Code

Merged

riaqn merged 7 commits intomainocaml-flambda/flambda-backend:mainfrom

mode-crossingocaml-flambda/flambda-backend:mode-crossingCopy head branch name to clipboard

Mar 13, 2025

Commits

Commits on Mar 13, 2025

• add Crossing.t

  riaqn

  committed
  d6bcc2f

  Copy full SHA for d6bcc2f

• add crossing.le

  riaqn

  committed
  249b471

  Copy full SHA for 249b471

• add crossing.apply_min_max

  riaqn

  committed
  3664cb1

  Copy full SHA for 3664cb1

• fix modality order

  riaqn

  committed
  6baff80

  Copy full SHA for 6baff80

• explain extending to Alloc

  riaqn

  committed
  1790a7a

  Copy full SHA for 1790a7a

• minor edits

  riaqn

  committed
  64bca45

  Copy full SHA for 64bca45

• post rebase fix

  riaqn

  committed
  b0c1fe9

  Copy full SHA for b0c1fe9