[new release] goblint (2.7.0)

[sim642]

Static analysis framework for C

• Project page: https://goblint.in.tum.de
• Documentation: https://goblint.readthedocs.io/en/latest/

CHANGES:

Functionally equivalent to Goblint in SV-COMP 2026.

• Add sequential portfolio for SV-COMP (Executing a Portfolio of Runs via Script goblint/analyzer#1845, SV Comp 2026 Multishot tuning goblint/analyzer#1867, fine tuning of portfolios goblint/analyzer#1877).
• Add struct bitfield support (Improve int domain bitwise operators, support struct bitfields goblint/analyzer#1739, Fix IntervalDomain.top_of Z.Overflow for 63-bit bitfields goblint/analyzer#1823).
• Improve bitwise operations for integer domains (Improve int domain bitwise operators, support struct bitfields goblint/analyzer#1739).
• Reimplement HTML output in OCaml (Output g2html directly goblint/analyzer#1752).
• Remove YAML witness version 0.1 support (Convert some old YAML witnesses to version 2.0 goblint/analyzer#1812, Remove YAML witness 0.1 validation certificates goblint/analyzer#1817, Convert most old YAML witnesses to version 2.0 goblint/analyzer#1852, Move custom YAML witness flow_insensitive_invariant entries under invariant_set goblint/analyzer#1853, Remove YAML witness version 0.1 support goblint/analyzer#1855).
• Fix incorrect invariants in witnesses (Fix some questionable invariants in SV-COMP 2025 witnesses goblint/analyzer#1818, Exclude __annonCompField offsets from witness invariants goblint/analyzer#1876).
• Simplify relational invariants in witnesses (Reduce var_eq witness invariants from quadratic to linear goblint/analyzer#1826, Fix GobApron.Linxexpr0.neg not negating all dimensions goblint/analyzer#1871, Implement ana.apron.invariant.diff-box directly in domain goblint/analyzer#1873).
• Fix argument types in Goblint stubs (Replace int -> _Bool in goblint stubs arguments  goblint/analyzer#1684, Fix bitfield _Bool casts goblint/analyzer#1814, Conflicting types for __goblint_assume_join goblint/analyzer#1779, Add workaround for __goblint_assume_join on newer GCC goblint/analyzer#1820).

[sim642]

All of the non-Windows CI failures are due to the same single test which fails on distros with newer glibc. I'll try to fix that with a patch release.