Code

[new release] goblint (2.2.1)#24423

Code

Merged

dinosaure merged 2 commits intoocaml:masterocaml/opam-repository:masterfrom sim642:release-goblint-v2.2.1sim642/opam-repository:release-goblint-v2.2.1Copy head branch name to clipboardSep 27, 2023

+94-1

Commits

Commits on Sep 13, 2023

• [new release] goblint (2.2.1)

  Show description for b6829c7
  sim642

  committed
  b6829c7

• lintcstubs.0.4.7: add goblint upper bound

  sim642

  committed
  e4db780