issue-link js-issue-link" data-error-text="Failed to load title" data-id="3536593756" data-permission-text="Title is private" data-url="https://github.com/goblint/analyzer/issues/1845" data-hovercard-type="pull_request" data-hovercard-url="/goblint/analyzer/pull/1845/hovercard" href="https://github.com/goblint/analyzer/pull/1845">goblint/analyzer#1845, goblint/analyzer#1867, goblint/analyzer#1877). * Add struct bitfield support (goblint/analyzer#1739, goblint/analyzer#1823). * Improve bitwise operations for integer domains (goblint/analyzer#1739). * Reimplement HTML output in OCaml (goblint/analyzer#1752). * Remove YAML witness version 0.1 support (goblint/analyzer#1812, goblint/analyzer#1817, goblint/analyzer#1852, goblint/analyzer#1853, goblint/analyzer#1855). * Fix incorrect invariants in witnesses (goblint/analyzer#1818, goblint/analyzer#1876). * Simplify relational invariants in witnesses (goblint/analyzer#1826, goblint/analyzer#1871, goblint/analyzer#1873). * Fix argument types in Goblint stubs (goblint/analyzer#1684, goblint/analyzer#1814, goblint/analyzer#1779, goblint/analyzer#1820).

[new release] goblint (2.7.0)#28977sim642 wants to merge 1 commit intoocaml:masterocaml/opam-repository:masterfrom sim642:release-goblint-v2.7.0sim642/opam-repository:release-goblint-v2.7.0Copy head branch name to clipboard

Commits