Code

Shared borrowing#1997

Code

Draft

riaqn wants to merge 13 commits intoocaml-flambda:mainocaml-flambda/flambda-backend:mainfrom

riaqn:borrow-flambda-backendriaqn/flambda-backend:borrow-flambda-backendCopy head branch name to clipboard

Commits

Commits on Nov 7, 2023

• new solver

  riaqn

  committed
  27b513e

  Copy full SHA for 27b513e

• better printing

  riaqn

  committed
  4646ca0

  Copy full SHA for 4646ca0

• remove solver_mono from mode_intf

  riaqn

  committed
  76683ea

  Copy full SHA for 76683ea

• document solver_polarized

  riaqn

  committed
  842c64d

  Copy full SHA for 842c64d

• address some comments

  riaqn

  committed
  47f2433

  Copy full SHA for 47f2433

• address more comments

  riaqn

  committed
  6ada246

  Copy full SHA for 6ada246

• rename "constrain" to "zap"

  riaqn

  committed
  fba44d7

  Copy full SHA for fba44d7

• rename constrain_legacy

  riaqn

  committed
  823b4ea

  Copy full SHA for 823b4ea

• make depend

  riaqn

  committed
  67bf84f

  Copy full SHA for 67bf84f

• make fmt

  riaqn

  committed
  cdd1248

  Copy full SHA for cdd1248

• finer regionality

  riaqn

  committed
  c6b7b27

  Copy full SHA for c6b7b27

• minor changes

  riaqn

  committed
  1673253

  Copy full SHA for 1673253

• shared borrowing

  riaqn

  committed
  d929883

  Copy full SHA for d929883