goblint / analyzer / 3737

Builds Branch Commit Type Ran Committer Via Coverage
3737 multishot-svcomp25 Merge 7c53da491 into cfcef17ab Pull #1845 web-flow github
61.56
3736 longjmp-counting-local-dedup Merge a25952fc5 into 966218877 Pull #1857 web-flow github
61.56
3735 yaml-witness-rm-precondition Merge e4e8fdf91 into 966218877 Pull #1855 web-flow github
61.57
3734 yaml-witness-rm-precondition Merge 5c6ace765 into 966218877 Pull #1855 web-flow github
61.57
3733 master Merge pull request #1853 from goblint/yaml-witness-invariant-set-flow-insensitive Move custom YAML witness `flow_insensitive_invariant` entries under `invariant_set` push web-flow github
61.56
3730 multishot-svcomp25 Merge 76e3b5dcf into 924372db6 Pull #1845 web-flow github
61.55
3729 master Merge pull request #1852 from goblint/yaml-witness-convert-2 Convert most old YAML witnesses to version 2.0 push web-flow github
61.55
3728 yaml-witness-invariant-set-flow-insensitive Merge 2ca8eee9d into 924372db6 Pull #1853 web-flow github
61.56
3727 yaml-witness-invariant-set-flow-insensitive Merge 45c04d114 into 924372db6 Pull #1853 web-flow github
61.56
3726 multishot-svcomp25 Merge f56f68927 into 2dd48c186 Pull #1845 web-flow github
61.55
3725 multishot-svcomp25 Merge 61a35ff1a into 2dd48c186 Pull #1845 web-flow github
61.55
3724 master Merge pull request #1828 from goblint/arg-stack-dedup Deduplicate stack ARG `InlineReturn` edges based on `InlineEntry` lval and args push web-flow github
61.55
3723 multishot-svcomp25 Merge 46877e878 into 2dd48c186 Pull #1845 web-flow github
61.55
3722 master Merge pull request #1828 from goblint/arg-stack-dedup Deduplicate stack ARG `InlineReturn` edges based on `InlineEntry` lval and args push web-flow github
61.55
3721 master Merge pull request #1828 from goblint/arg-stack-dedup Deduplicate stack ARG `InlineReturn` edges based on `InlineEntry` lval and args push web-flow github
61.55