Code

Rewrite gen_link_flags in OCaml#1189

Code

Merged

Halbaroth merged 10 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:rewrite-gen-link-flagsHalbaroth/alt-ergo:rewrite-gen-link-flagsCopy head branch name to clipboardJul 31, 2024

+55-57

Commits

Commits on Jul 30, 2024

• Rewrite gen-link-flags in OCaml

  Halbaroth

  committed
  55a2928

  Copy full SHA for 55a2928

• Fix script

  Halbaroth

  committed
  1b27d4f

  Copy full SHA for 1b27d4f

• rewrite again

  Halbaroth

  committed
  9d2b767

  Copy full SHA for 9d2b767

• clean up

  Halbaroth

  committed
  a1c50d3

  Copy full SHA for a1c50d3

• remove old scripts

  Halbaroth

  committed
  b11fa2b

  Copy full SHA for b11fa2b

• restore note

  Halbaroth

  committed
  8eaf2e0

  Copy full SHA for 8eaf2e0

• Use stdcompat.In_channel

  Halbaroth

  committed
  dd336d3

  Copy full SHA for dd336d3

• Use Stdlib.input_line

  Halbaroth

  committed
  1370591

  Copy full SHA for 1370591

Commits on Jul 31, 2024

• review changes

  Halbaroth

  committed
  400e8ff

  Copy full SHA for 400e8ff

• no promotion

  Halbaroth

  committed
  2985a27

  Copy full SHA for 2985a27