goblint / analyzer / 2202

Builds Branch Commit Type Ran Committer Via Coverage
2202 ppx_blob-unvendor Merge 64d392de0 into 3ad6b3966 Pull #1554 web-flow github
62.77
2201 master Typo push michael-schwarz github
62.77
2200 master Partially revert "Replace goblint-cil pin with published 2.0.4, remove pins for v2.4.0 release" This reverts commit cffe5c2e3. push sim642 github
62.77
2199 master Partially revert "Replace goblint-cil pin with published 2.0.4, remove pins for v2.4.0 release" This reverts commit cffe5c2e3. push sim642 github
62.77
2198 traces-vojdani Merge 7d6b8948c into d46438a3c Pull #1552 web-flow github
62.48
2197 master Merge pull request #1492 from goblint/issue_1489 Fix `mutex-meet` for malloc after thread creation push web-flow github
62.77
2196 master Merge pull request #1492 from goblint/issue_1489 Fix `mutex-meet` for malloc after thread creation push web-flow github
62.77
2192 yaml-witness-ghost Merge 6e793142a into a5926805c Pull #1394 web-flow github
62.31
2191 yaml-witness-ghost Merge c18061e00 into a5926805c Pull #1394 web-flow github
62.31
2190 yaml-witness-ghost Merge 1570adbc8 into a5926805c Pull #1394 web-flow github
62.31
2189 master Make SetDomain hash non-commutative push sim642 github
62.77
2188 issue_1489 Merge 8f10b499f into bc85d30c3 Pull #1492 web-flow github
62.77
2180 witness-invariant-int Merge 40b34346f into d86fe4861 Pull #1517 web-flow github
62.77
2179 master Merge pull request #1503 from goblint/priv-mval Continue refactoring of must-locksets to use definite mvals instead of addresses push web-flow github
62.77
2172 master Merge pull request #1503 from goblint/priv-mval Continue refactoring of must-locksets to use definite mvals instead of addresses push web-flow github
62.77