Code

Upgrade to OCaml 5.0 as default#1137

Code

Open

sim642 wants to merge 5 commits intomastergoblint/analyzer:masterfrom ocaml-5-aprongoblint/analyzer:ocaml-5-apronCopy head branch name to clipboard

+25-30

Commits

Commits on Aug 16, 2023

• Upgrade to OCaml 5.0

  sim642

  committed
  d764aad

• Update Gobview to OCaml 5.0

  sim642

  committed
  d13e1ac

• Make OCaml 5.0 default everywhere

  sim642

  committed
  9146e4f

Commits on Aug 21, 2023

• Use opam 2.0 compatible switch create (closes #1133)

  sim642

  committed
  2f27666

Commits on Sep 11, 2023

• Update Gobview to fix JS stubs on OCaml 5

  sim642

  committed
  2213e5d