Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17,667 workflow run results
17,667 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment docs #1876: Commit d120e34 pushed by sim642
October 15, 2024 17:47 5m 12s master
master
October 15, 2024 17:47 5m 12s
Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment semgrep #10964: Commit d120e34 pushed by sim642
October 15, 2024 17:47 50s master
master
October 15, 2024 17:47 50s
Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment indentation #11296: Commit d120e34 pushed by sim642
October 15, 2024 17:47 1m 38s master
master
October 15, 2024 17:47 1m 38s
Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment options #9315: Commit d120e34 pushed by sim642
October 15, 2024 17:47 19s master
master
October 15, 2024 17:47 19s
Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment locked #11971: Commit d120e34 pushed by sim642
October 15, 2024 17:47 7m 50s master
master
October 15, 2024 17:47 7m 50s
Improve loop bound detection for loop unrolling by handling casts in loop statements locked #11970: Pull request #1599 synchronize by karoliineh
October 15, 2024 13:21 26m 34s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 26m 34s
Improve loop bound detection for loop unrolling by handling casts in loop statements docs #1875: Pull request #1599 synchronize by karoliineh
October 15, 2024 13:21 4m 58s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 4m 58s
Improve loop bound detection for loop unrolling by handling casts in loop statements coverage #2371: Pull request #1599 synchronize by karoliineh
October 15, 2024 13:21 9m 59s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 9m 59s
Improve loop bound detection for loop unrolling by handling casts in loop statements options #9314: Pull request #1599 synchronize by karoliineh
October 15, 2024 13:21 19s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 19s
Improve loop bound detection for loop unrolling by handling casts in loop statements semgrep #10963: Pull request #1599 synchronize by karoliineh
October 15, 2024 13:21 43s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 43s
Improve loop bound detection for loop unrolling by handling casts in loop statements indentation #11295: Pull request #1599 synchronize by karoliineh
October 15, 2024 13:21 2m 7s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 2m 7s
Refactor: Simplify pattern matching of casts by using Cil.stripCasts locked #11969: Commit 872b159 pushed by karoliineh
October 15, 2024 13:21 27m 24s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 27m 24s
Refactor: Simplify pattern matching of casts by using Cil.stripCasts docs #1874: Commit 872b159 pushed by karoliineh
October 15, 2024 13:21 4m 24s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 4m 24s
Refactor: Simplify pattern matching of casts by using Cil.stripCasts indentation #11294: Commit 872b159 pushed by karoliineh
October 15, 2024 13:21 1m 57s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 1m 57s
Refactor: Simplify pattern matching of casts by using Cil.stripCasts options #9313: Commit 872b159 pushed by karoliineh
October 15, 2024 13:21 21s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 21s
Refactor: Simplify pattern matching of casts by using Cil.stripCasts semgrep #10962: Commit 872b159 pushed by karoliineh
October 15, 2024 13:21 2m 5s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 2m 5s
Improve loop bound detection for loop unrolling by handling casts in loop statements coverage #2370: Pull request #1599 opened by karoliineh
October 15, 2024 10:24 10m 23s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:24 10m 23s
Improve loop bound detection for loop unrolling by handling casts in loop statements locked #11968: Pull request #1599 opened by karoliineh
October 15, 2024 10:24 31m 40s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:24 31m 40s
Improve loop bound detection for loop unrolling by handling casts in loop statements indentation #11293: Pull request #1599 opened by karoliineh
October 15, 2024 10:24 3s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:24 3s
Improve loop bound detection for loop unrolling by handling casts in loop statements docs #1873: Pull request #1599 opened by karoliineh
October 15, 2024 10:24 4m 29s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:24 4m 29s
Improve loop bound detection for loop unrolling by handling casts in loop statements options #9312: Pull request #1599 opened by karoliineh
October 15, 2024 10:24 18s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:24 18s
Improve loop bound detection for loop unrolling by handling casts in loop statements semgrep #10961: Pull request #1599 opened by karoliineh
October 15, 2024 10:24 42s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:24 42s
Handle casts in loop statements for unrolling docs #1872: Commit f54ce55 pushed by karoliineh
October 15, 2024 10:15 4m 43s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:15 4m 43s
Handle casts in loop statements for unrolling locked #11967: Commit f54ce55 pushed by karoliineh
October 15, 2024 10:15 24m 7s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:15 24m 7s
Handle casts in loop statements for unrolling indentation #11292: Commit f54ce55 pushed by karoliineh
October 15, 2024 10:15 2s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:15 2s