Code

[new release] goblint-cil (2.0.0)#21975

Code

Merged

kit-ty-kate merged 4 commits intoocaml:masterocaml/opam-repository:masterfrom sim642:release-goblint-cil-2.0.0sim642/opam-repository:release-goblint-cil-2.0.0Copy head branch name to clipboardAug 17, 2022

+86-2

Commits

Commits on Aug 12, 2022

• [new release] goblint-cil (2.0.0)

  Show description for fb70853
  sim642

  committed
  fb70853

• Add upper bounds to goblint packages

  sim642

  committed
  bea4717

• Add conf-gcc dependency to goblint packages

  sim642

  committed
  e5b3ebd

Commits on Aug 17, 2022

• goblint.1.0.0

  Show description for 22ea198
  

  mseri

  and

  sim642

  committed
  22ea198