goblint / analyzer / 3673

Builds Branch Commit Type Ran Committer Via Coverage
3673 master Merge pull request #1752 from goblint/g2html-ocaml Output g2html directly push web-flow github
61.58
3672 master Merge pull request #1752 from goblint/g2html-ocaml Output g2html directly push web-flow github
61.58
3671 master Merge pull request #1837 from goblint/termination-unflat Remove unnecessary flat lifting in `LoopTermination` push web-flow github
61.78
3670 issue-1722 Merge 4d8781ae5 into 76714a034 Pull #1818 web-flow github
61.78
3669 termination-unflat Merge 6aee3152a into 76714a034 Pull #1837 web-flow github
61.78
3668 halbwachs-phd-tests Merge d82727b47 into 76714a034 Pull #1836 web-flow github
61.78
3667 halbwachs-phd-tests Merge 5333390d6 into 76714a034 Pull #1836 web-flow github
61.78
3666 master Merge pull request #1835 from goblint/dependabot/github_actions/github/codeql-action-4 Bump github/codeql-action from 3 to 4 push web-flow github
61.78
3665 halbwachs-phd-tests Merge bdf08c508 into 657bc6bbe Pull #1836 web-flow github
61.78
3664 master Merge pull request #1826 from goblint/var_eq-invariant Reduce var_eq witness invariants from quadratic to linear push web-flow github
61.78
3662 master Merge pull request #1834 from goblint/autotune-octagon-fun Fix octagon autotuner choosing non-integer variables push web-flow github
61.79
3661 master Merge pull request #1833 from goblint/c2po-combine Remove C2PO `combine_env` and `combine_assign` duplication push web-flow github
61.79
3660 master Merge pull request #1833 from goblint/c2po-combine Remove C2PO `combine_env` and `combine_assign` duplication push web-flow github
61.79
3659 master Merge pull request #1833 from goblint/c2po-combine Remove C2PO `combine_env` and `combine_assign` duplication push web-flow github
61.79
3658 g2html-ocaml Merge 8461c8681 into 2697fbedc Pull #1752 web-flow github
61.58