goblint / analyzer / 3631

Builds Branch Commit Type Ran Committer Via Coverage
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
3621 master Merge pull request #1804 from goblint/issue-1803 Fix interval division push web-flow github
61.53
3620 master Merge pull request #1804 from goblint/issue-1803 push GitHub github
61.53
3619 vojdani-protected-vars Merge 82f209177 into ccb20dcbc Pull #1789 web-flow github
61.52
3618 master Merge pull request #1820 from goblint/issue-1779 Add workaround for `__goblint_assume_join` on newer GCC push web-flow github
61.52
3617 master Merge pull request #1820 from goblint/issue-1779 Add workaround for `__goblint_assume_join` on newer GCC push web-flow github
61.52
3616 master Merge pull request #1820 from goblint/issue-1779 Add workaround for `__goblint_assume_join` on newer GCC push web-flow github
61.52
3615 master Update CIL to fix machdep-config.h per architecture push sim642 github
61.52
3614 master Pin released goblint-cil.2.0.7 for reproducibility push sim642 github
61.52
3613 master Pin released goblint-cil.2.0.7 for reproducibility push sim642 github
61.52