CHANGES: Functionally equivalent to Goblint in SV-COMP 2026. * Add sequential portfolio for SV-COMP (#1845, #1867, #1877). * Add struct bitfield support (#1739, #1823). * Improve bitwise operations for integer domains (#1739). * Reimplement HTML output in OCaml (#1752). * Remove YAML witness version 0.1 support (#1812, #1817, #1852, #1853, #1855). * Fix incorrect invariants in witnesses (#1818, #1876). * Simplify relational invariants in witnesses (#1826, #1871, #1873). * Fix argument types in Goblint stubs (#1684, #1814, #1779, #1820).

Goblint version `tags/svcomp26-0-gbb55b70d9` for SV-COMP 2026. The verifier archive containing the Ubuntu 24.04 binary and auxiliary files is attached below.

Pre-release containing the version of Goblint used in the artifact submitted to VMCAI'26.

CHANGES: * Add division by zero analysis (#1764). * Add bitfield domain (#1623). * Add weakly-relational C-2PO pointer analysis (#1485). * Add widening delay (#1358, #1442, #1483). * Add narrowing of globals to top-down solver (#1636). * Add weak dependencies to top-down solver (#1746, #1747). * Add YAML ghost witness generation (#1394). * Remove GraphML witness generation (#1732, #1733, #1738). * Use C standard option for preprocessing (#1807). * Add bash completion for array options (#1670, #1705, #1750). * Make `malloc(0)` semantics configurable (#1418, #1777). * Update path-sensitive analyses (#1785, #1791, #1792). * Fix evaluation of library function arguments (#1758, #1761). * Optimize affine equalities analysis using sparse matrices (#1459, #1625). * Prepare for parallelism (#1708, #1744, #1748, #1781, #1790).

CHANGES: Functionally equivalent to Goblint in SV-COMP 2025. * Add 32bit vs 64bit architecture support (#54, #1574). * Add per-function context gas analysis (#1569, #1570, #1598). * Adapt automatic static loop unrolling (#1516, #1582, #1583, #1584, #1590, #1595, #1599). * Adapt automatic configuration tuning (#1450, #1612, #1181, #1604). * Simplify non-relational integer invariants in witnesses (#1517). * Fix excessive hash collisions (#1594, #1602). * Clean up various code (#1095, #1523, #1554, #1575, #1588, #1597, #1614).

Goblint version `tags/svcomp25-0-g5512d834b` for SV-COMP 2025. The verifier archive containing the Ubuntu 24.04 binary and auxiliary files is attached below.

Goblint version in [the artifact](https://zenodo.org/records/13863579) for the VMCAI 2025 paper "Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts".

Goblint version in [the artifact](https://zenodo.org/records/13863579) for the VMCAI 2025 paper "Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts".