goblint / analyzer / 3651

Builds Branch Commit Type Ran Committer Via Coverage
3651 c2po-combine Merge 322c0fcad into c4e504cb5 Pull #1833 web-flow github
61.79
3650 master Merge pull request #1822 from goblint/witness-unknown Add option `witness.yaml.sv-comp-true-only` push web-flow github
61.65
3649 master Merge pull request #1821 from goblint/issue-1782 Check cast safety in base `invariant_fallback` push web-flow github
61.65
3648 master Merge pull request #1794 from goblint/create2-check_ov Remove overflow checks for integer constants push web-flow github
61.64
3647 arg-stack-dedup Merge 20f2c7fca into 62e97b924 Pull #1828 web-flow github
61.63
3640 master Merge pull request #1816 from goblint/interval32 Simplify exclusion bit range module and type push web-flow github
61.63
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