package goblint

v1.1.1

• Added lower bounds to dependencies (zarith, ocaml-monadic, sha, conf-gmp).
• Fixed ounit2 library for unit tests.
• Disabled kernel regression tests when linux-headers couldn't be downloaded (e.g. in opam-repository opam-ci).
• Fixed dune-site in opam install by requiring dune 2.9.1.

v1.1.0

Goblint "fat" release containing 4 years of development. This version is functionally equivalent to Goblint in SV-COMP 2022.