goblint / analyzer / 2363

Builds Branch Commit Type Ran Committer Via Coverage
2363 physical-equality Merge 8214807e0 into 81b4507de Pull #1597 web-flow github
62.64
2362 master Merge pull request #1516 from goblint/loop-unrolling-bound-in-if-cond Detect fixed loops with autotuner even if there is no assignment of const value to the loop variable before loop push web-flow github
62.64
2361 loop-unroll-ignore-breaks Merge fa0f08699 into 81b4507de Pull #1518 web-flow github
62.65
2360 no-unrolling-resource Merge eb1fdedaf into 81b4507de Pull #1595 web-flow github
62.66
2358 loopUnroll-loop-cond-vars Merge 13bcf346f into 81b4507de Pull #1590 web-flow github
62.63
2357 loopUnroll-loop-cond-vars Merge 881532da1 into 81b4507de Pull #1590 web-flow github
62.63
2356 master Merge pull request #1516 from goblint/loop-unrolling-bound-in-if-cond Detect fixed loops with autotuner even if there is no assignment of const value to the loop variable before loop push web-flow github
62.64
2355 yaml-witness-invariant-set-widen-token Merge a2817445e into 0deedb9ca Pull #1596 web-flow github
62.74
2354 master Merge pull request #1588 from goblint/booldomain Remove `IntDomain.MakeBooleans` push web-flow github
62.64
2353 no-unrolling-resource Merge 761282ba8 into 0deedb9ca Pull #1595 web-flow github
62.65
2352 master Merge pull request #1588 from goblint/booldomain Remove `IntDomain.MakeBooleans` push web-flow github
62.64
2351 master Merge pull request #1588 from goblint/booldomain Remove `IntDomain.MakeBooleans` push web-flow github
62.64
2350 master Merge pull request #1588 from goblint/booldomain Remove `IntDomain.MakeBooleans` push web-flow github
62.64
2349 master Merge pull request #1584 from goblint/loopUnroll-default Adjust loop unrolling defaults push web-flow github
62.59
2348 svcomp25-no-exclude-vars Merge 50b0bddc7 into bb6f9aa1a Pull #1593 web-flow github
62.59