goblint / analyzer / 2381

Builds Branch Commit Type Ran Committer Via Coverage
2381 svcomp25-dev Merge d3c5d353c into 732b69a8e Pull #1601 web-flow github
62.74
2380 master Lock zarith 1.14 for better hash (issue #1594) push sim642 github
62.64
2379 svcomp25-dev Merge 010c42226 into 732b69a8e Pull #1601 web-flow github
62.74
2378 svcomp25-dev Merge 6a973802a into 732b69a8e Pull #1601 web-flow github
62.65
2377 master Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment Improve loop bound detection for loop unrolling by handling casts in loop statements push web-flow github
62.64
2376 imaxabs Merge 628346847 into d120e3497 Pull #1519 web-flow github
62.65
2374 imaxabs Merge 2f5b50fa9 into d120e3497 Pull #1519 web-flow github
62.65
2373 imaxabs Merge 85cbda684 into d120e3497 Pull #1519 web-flow github
62.65
2372 master Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment Improve loop bound detection for loop unrolling by handling casts in loop statements push web-flow github
62.64
2371 loopUnroll-casts-in-loopStatment Merge 872b1597a into fa962095a Pull #1599 web-flow github
62.64
2370 loopUnroll-casts-in-loopStatment Merge f54ce558d into fa962095a Pull #1599 web-flow github
62.63
2369 master Merge pull request #1598 from goblint/gas_fundec_needs_to_be_min ⛽: Use minimum to combine incoming gas values in per-context gas push web-flow github
62.65
2368 gas_fundec_needs_to_be_min Merge ce1866b6e into 425b1ee53 Pull #1598 web-flow github
62.65
2367 master Merge pull request #1597 from goblint/physical-equality Replace most physical equality on immutable types push web-flow github
62.64
2366 master Merge pull request #1597 from goblint/physical-equality Replace most physical equality on immutable types push web-flow github
62.64