goblint / analyzer / 3641

Builds Branch Commit Type Ran Committer Via Coverage
3641 biset-reduce Merge 1934d012c into ae53fb004 Pull #1825 web-flow github
61.65
3637 interval32 Merge 297343d67 into 2a8562442 Pull #1816 web-flow github
61.61
3639 master Remove unused code in interval domains (PR #1739, #1804) push sim642 github
61.59
3638 master Merge pull request #1815 from goblint/suppress_ovwarn Remove some unnecessary `suppress_ovwarn` arguments push web-flow github
61.57
3636 suppress_ovwarn Merge 4fb4abe37 into eba7b0f4f Pull #1815 web-flow github
61.57
3635 master Merge pull request #1823 from goblint/bitfield-z-overflow Fix `IntervalDomain.top_of` `Z.Overflow` for 63-bit bitfields push web-flow github
61.56
3634 master Merge pull request #1823 from goblint/bitfield-z-overflow Fix `IntervalDomain.top_of` `Z.Overflow` for 63-bit bitfields push web-flow github
61.56
3633 master Merge pull request #1823 from goblint/bitfield-z-overflow Fix `IntervalDomain.top_of` `Z.Overflow` for 63-bit bitfields push web-flow github
61.56
3632 bitfield-z-overflow Merge d6cef9121 into c4ca481d9 Pull #1823 web-flow github
61.56
3631 master Fix ValueDomain indentation (PR #1739) push sim642 github
61.56
3629 master Merge pull request #1684 from goblint/assert-ptr Replace `int` -> `_Bool` in goblint stubs arguments push web-flow github
61.54
3628 assert-ptr Merge 6d5350be0 into 1ce5f17d7 Pull #1684 web-flow github
61.54
3627 assert-ptr Merge 365152802 into 2879ebd6d Pull #1684 web-flow github
61.54
3626 master Merge pull request #1814 from goblint/bitfield-cast-bool Fix bitfield `_Bool` casts push web-flow github
61.53
3624 master Merge pull request #1814 from goblint/bitfield-cast-bool Fix bitfield `_Bool` casts push web-flow github
61.53