Code

Update for Earlybird usage#1251

Code

Merged

sim642 merged 3 commits intogoblint:mastergoblint/analyzer:masterfrom FungOliver:Fix-debuggerFungOliver/analyzer:Fix-debuggerCopy head branch name to clipboardNov 20, 2023

+16-13

Commits

Commits on Nov 17, 2023

• update dune-project and documentation

  FungOliver

  committed
  9966b87

Commits on Nov 20, 2023

• bump dune dependencies and rebuild goblint.opam

  FungOliver

  committed
  85e6fdb

• Update Gobview submodule for dune 3.7.1 lock

  sim642

  committed
  5784ffe