[new release] goblint-cil (2.0.7)

[sim642]

A front-end for the C programming language that facilitates program analysis and transformation

• Project page: https://github.com/goblint/cil

CHANGES:

• Add _Float16 type support (_Float16 support goblint/cil#190, Add _Float16 support goblint/cil#193).
• Add C23 alignof and alignas support (alignas on C23 goblint/cil#189, Add C23 alignof and alignas to lexer goblint/cil#191).
• Add initializer support for anonymous struct in union (sv-benchmarks intel-tdx-module parsing errors goblint/cil#176, Handle initializers for anonymous struct in unions goblint/cil#184).
• Fix enumerator printing (Fix pretty-printing of enumerations goblint/cil#185).
• Remove global state from Pretty (Remove global state from Pretty goblint/cil#187).
• Remove OCaml <4.12 support (Prepare CIL for concurrency goblint/cil#180, Prepare CIL for concurrency (Reopened) goblint/cil#181).
• Use gnu11 standard in most tests (Tests failing on C23 due to zero arguments goblint/cil#188, Use gnu11 standard for most tests goblint/cil#192).

[sim642]

Regarding the CI failures:

1. The lint jobs about conf and depext have been fine in the past: [new release] goblint-cil (2.0.6) #27679 (comment).
2. The goblint.2.5.0 failures are due to archlinux and fedora-42 having newer GCC by default nowadays.
3. The freebsd test failures are expected and even in x-ci-accept-failures, but still show up.

[shonfeder]

Thanks for the updates and the review of CI results!