Code

[new release] goblint-cil (2.0.5)#26949

Code

Merged

mseri merged 4 commits intoocaml:masterocaml/opam-repository:masterfrom sim642:release-goblint-cil-2.0.5sim642/opam-repository:release-goblint-cil-2.0.5Copy head branch name to clipboardNov 27, 2024

+79-2

Commits

Commits on Nov 25, 2024

• [new release] goblint-cil (2.0.5)

  Show description for 06b91a2
  sim642

  committed
  06b91a2

Commits on Nov 26, 2024

• goblint.2.4.0: add goblint-cil.2.0.5 upper bound

  sim642

  committed
  6359883

• goblint-cil.2.0.5: add freebsd x-ci-accept-failures

  sim642

  committed
  19bed85

Commits on Nov 27, 2024

• goblint.2.4.0: add maintainer email

  sim642

  committed
  3e00da4