goblint / analyzer / 3156

Builds Branch Commit Type Ran Committer Via Coverage
3156 master Merge pull request #1731 from goblint/delay-widening-cleanup Use generic `Spec` lifters for delayed widening push web-flow github
61.7
3155 master Merge pull request #1731 from goblint/delay-widening-cleanup Use generic `Spec` lifters for delayed widening push web-flow github
61.7
3154 issue_1732 Merge 47c20b657 into 4882dd363 Pull #1733 web-flow github
61.7
3153 master Merge pull request #1731 from goblint/delay-widening-cleanup Use generic `Spec` lifters for delayed widening push web-flow github
61.7
3152 delay-widening-cleanup Merge 32fc632d9 into 841fb4fce Pull #1731 web-flow github
61.7
3151 master Merge pull request #1728 from goblint/lattice-lift-po Weaken `Lattice.Lift{,2}Conf` arguments, remove `Lattice.LiftPO` push web-flow github
61.88
3150 yaml-witness-default Merge 8a079a439 into 52a3bbb5e Pull #1718 web-flow github
61.71
3148 lattice-lift-po Merge 30ccf6956 into 308b47193 Pull #1728 web-flow github
61.84
3147 intdomain-no-top Merge a968622b9 into fea1514ea Pull #1727 web-flow github
61.84
3140 direct_recursive_trash Merge 32c5a2409 into 4c7595f3e Pull #1729 web-flow github
61.49
3139 master Merge pull request #1726 from goblint/def_exc-doc-range Document def_exc and enums exclusion bit range assumption push web-flow github
61.83
3138 lattice-lift-po Merge b101311e7 into 6bc71bb2e Pull #1728 web-flow github
61.84
3137 direct_recursive_trash Merge 26a9fad3a into 4c7595f3e Pull #1729 web-flow github
61.49
3136 intdomain-no-top Merge 6bc71bb2e into fea1514ea Pull #1727 web-flow github
61.84
3135 master Merge pull request #1726 from goblint/def_exc-doc-range Document def_exc and enums exclusion bit range assumption push web-flow github
61.83