goblint / analyzer / 3774

Builds Branch Commit Type Ran Committer Via Coverage
3774 c2po-invariant Merge f52367091 into be29c40f5 Pull #1868 web-flow github
61.45
3772 multishot-tuning Merge 8fc114ba0 into 9f2fafb42 Pull #1867 web-flow github
61.44
3771 master Remove SKIP from passing 45-escape/07-local-in-global-after-create (PR #1078) The test was added in df407b1ac, but already fixed in following commit 9143b2a3d. It was just forgotten to... push sim642 github
61.43
3770 invariant-check-oveflows Merge 0011afead into 56b1f6006 Pull #1665 web-flow github
61.44
3769 master Merge pull request #1668 from goblint/invariant-mli Add abstract interface to `Invariant` push web-flow github
61.45
3767 invariant-mli Merge 245ab072c into 0109577eb Pull #1668 web-flow github
61.45
3766 invariant-mli Merge af3a1d547 into 0109577eb Pull #1668 web-flow github
61.45
3765 uaf-event Merge eb776d6a0 into 418ed9214 Pull #1864 web-flow github
61.43
3762 yaml-witness-2.1-version Merge ffe80aa64 into 0109577eb Pull #1859 web-flow github
61.43
3761 yaml-witness-2.1-version Merge a72cdd7f9 into 0109577eb Pull #1859 web-flow github
61.43
3760 yaml-witness-2.1-version Merge ddfed0e76 into 0109577eb Pull #1859 web-flow github
61.43
3759 svcomp26-dev Merge 780843455 into 0109577eb Pull #1841 web-flow github
61.45
3758 master Exclude string constant cast invariants from var_eq (issue #1722) See https://github.com/goblint/analyzer/issues/1722#issuecomment-3478150442. push sim642 github
61.45
3756 yaml-witness-2.1-version Merge d9a39b278 into 0109577eb Pull #1859 web-flow github
61.42
3754 issue_1861 Merge 418ed9214 into 0109577eb Pull #1862 web-flow github
61.46