goblint / analyzer / 3424

Builds Branch Commit Type Ran Committer Via Coverage
3424 issue_1535 Merge 2accba23c into 5f36c9b8e Pull #1646 web-flow github
61.72
3423 issue_1535 Merge ef3742e5a into 5f36c9b8e Pull #1646 web-flow github
61.72
3421 apron-invariant-simplify Merge 29cc0c85d into 1278886c0 Pull #1630 web-flow github
61.72
3420 master Merge pull request #1778 from jmid/adjust-div-zero-result-top-test Adjust `test_FI_div_zero_result_top` QCheck test property to account for the 0/0 case push web-flow github
61.75
3419 master Merge pull request #1778 from jmid/adjust-div-zero-result-top-test Adjust `test_FI_div_zero_result_top` QCheck test property to account for the 0/0 case push web-flow github
61.75
3418 master Merge pull request #1778 from jmid/adjust-div-zero-result-top-test Adjust `test_FI_div_zero_result_top` QCheck test property to account for the 0/0 case push web-flow github
61.75
3417 master Merge pull request #1778 from jmid/adjust-div-zero-result-top-test Adjust `test_FI_div_zero_result_top` QCheck test property to account for the 0/0 case push web-flow github
61.75
3414 master Merge pull request #1780 from goblint/bump_goblint_cil_184 Bump goblint-cil (c.f. https://github.com/goblint/cil/pull/184) push web-flow github
61.75
3411 sparse_octagons Merge 9edcc7a28 into f2d071f11 Pull #1776 web-flow github
61.28
3410 bump_goblint_cil_184 Merge 58ad29693 into a92c8e759 Pull #1780 web-flow github
61.75
3409 master Merge pull request #1663 from goblint/issue_1662 Support for `pthread_once` push web-flow github
61.75
3408 issue_1662 Merge 348073416 into f2c4520a3 Pull #1663 web-flow github
61.75
3407 issue_1662 Merge df14c8945 into f2c4520a3 Pull #1663 web-flow github
61.75
3406 issue_1662 Merge e7bdb637b into f2c4520a3 Pull #1663 web-flow github
61.75
3404 issue_1662 Merge 19826f3cd into f2c4520a3 Pull #1663 web-flow github
61.74