Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,919 workflow run results
5,919 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement combine_assign in threadEscape coverage #1086: Pull request #1323 synchronize by karoliineh
January 11, 2024 11:51 11m 0s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 11m 0s
Add comment about f_ask in combine_assign locked #9525: Commit 34d30fe pushed by karoliineh
January 11, 2024 11:51 22m 5s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 22m 5s
Add comment about f_ask in combine_assign options #7147: Commit 34d30fe pushed by karoliineh
January 11, 2024 11:51 19s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 19s
Add comment about f_ask in combine_assign semgrep #8806: Commit 34d30fe pushed by karoliineh
January 11, 2024 11:51 40s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 40s
Add comment about f_ask in combine_assign indentation #9128: Commit 34d30fe pushed by karoliineh
January 11, 2024 11:51 3m 31s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 3m 31s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled options #7146: Pull request #1324 opened by karoliineh
January 11, 2024 11:02 18s alloca
alloca
January 11, 2024 11:02 18s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled locked #9524: Pull request #1324 opened by karoliineh
January 11, 2024 11:02 42m 33s alloca
alloca
January 11, 2024 11:02 42m 33s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled semgrep #8805: Pull request #1324 opened by karoliineh
January 11, 2024 11:02 44s alloca
alloca
January 11, 2024 11:02 44s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled indentation #9127: Pull request #1324 opened by karoliineh
January 11, 2024 11:02 2s alloca
alloca
January 11, 2024 11:02 2s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled coverage #1085: Pull request #1324 opened by karoliineh
January 11, 2024 11:02 10m 57s alloca
alloca
January 11, 2024 11:02 10m 57s
Consider alloca for loopUnrolling locked #9523: Commit c76a0a2 pushed by karoliineh
January 11, 2024 10:56 27m 56s alloca
alloca
January 11, 2024 10:56 27m 56s
Consider alloca for loopUnrolling options #7145: Commit c76a0a2 pushed by karoliineh
January 11, 2024 10:56 19s alloca
alloca
January 11, 2024 10:56 19s
Consider alloca for loopUnrolling semgrep #8804: Commit c76a0a2 pushed by karoliineh
January 11, 2024 10:56 36s alloca
alloca
January 11, 2024 10:56 36s
Consider alloca for loopUnrolling indentation #9126: Commit c76a0a2 pushed by karoliineh
January 11, 2024 10:56 2s alloca
alloca
January 11, 2024 10:56 2s
Replace direct stdout printing with logging locked #9522: Pull request #1117 synchronize by sim642
January 11, 2024 10:47 39m 34s logs
logs
January 11, 2024 10:47 39m 34s
Replace direct stdout printing with logging options #7144: Pull request #1117 synchronize by sim642
January 11, 2024 10:47 1m 20s logs
logs
January 11, 2024 10:47 1m 20s
Replace direct stdout printing with logging semgrep #8803: Pull request #1117 synchronize by sim642
January 11, 2024 10:47 1m 39s logs
logs
January 11, 2024 10:47 1m 39s
Replace direct stdout printing with logging indentation #9125: Pull request #1117 synchronize by sim642
January 11, 2024 10:47 4m 15s logs
logs
January 11, 2024 10:47 4m 15s
Replace direct stdout printing with logging coverage #1084: Pull request #1117 synchronize by sim642
January 11, 2024 10:47 12m 43s logs
logs
January 11, 2024 10:47 12m 43s
Do not use stdout for logs if server.mode is stdio locked #9521: Commit 05d9cce pushed by sim642
January 11, 2024 10:47 36m 50s logs
logs
January 11, 2024 10:47 36m 50s
Do not use stdout for logs if server.mode is stdio options #7143: Commit 05d9cce pushed by sim642
January 11, 2024 10:47 44s logs
logs
January 11, 2024 10:47 44s
Do not use stdout for logs if server.mode is stdio indentation #9124: Commit 05d9cce pushed by sim642
January 11, 2024 10:47 3m 10s logs
logs
January 11, 2024 10:47 3m 10s
Do not use stdout for logs if server.mode is stdio semgrep #8802: Commit 05d9cce pushed by sim642
January 11, 2024 10:47 1m 40s logs
logs
January 11, 2024 10:47 1m 40s
Implement combine_assign in threadEscape locked #9520: Pull request #1323 synchronize by karoliineh
January 11, 2024 10:44 38m 23s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:44 38m 23s
Implement combine_assign in threadEscape options #7142: Pull request #1323 synchronize by karoliineh
January 11, 2024 10:44 34s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:44 34s