Code

Fix OCaml 5.0 Apron compatibility#1162

Code

Merged

sim642 merged 4 commits intomastergoblint/analyzer:masterfrom ocaml-5-apron-compatgoblint/analyzer:ocaml-5-apron-compatCopy head branch name to clipboardSep 13, 2023

+5-12

Commits

Commits on Sep 12, 2023

• Use OCaml 5.0 compatible Apron

  sim642

  committed
  b25cb45

• Add OCaml 5.0 to unlocked workflow

  sim642

  committed
  13062df

• Update Gobview to OCaml 5 compatible

  sim642

  committed
  94db94d

Commits on Sep 13, 2023

• Merge branch 'master' into ocaml-5-apron-compat

  sim642

  committed
  8be194d