Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,808 workflow run results
3,808 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1327 from goblint/affeq_witnesses options #7186: Commit c0c8960 pushed by michael-schwarz
January 13, 2024 15:40 24s master
master
January 13, 2024 15:40 24s
Merge pull request #1327 from goblint/affeq_witnesses semgrep #8843: Commit c0c8960 pushed by michael-schwarz
January 13, 2024 15:40 37s master
master
January 13, 2024 15:40 37s
coverage coverage #1106: Scheduled
January 13, 2024 02:10 18m 15s master
master
January 13, 2024 02:10 18m 15s
docker docker #856: Scheduled
January 13, 2024 02:08 20m 56s master
master
January 13, 2024 02:08 20m 56s
locked locked #9565: Scheduled
January 13, 2024 02:06 2h 2m 2s master
master
January 13, 2024 02:06 2h 2m 2s
unlocked unlocked #1653: Scheduled
January 13, 2024 02:05 2h 1m 2s master
master
January 13, 2024 02:05 2h 1m 2s
affeq: Fix array OOB in invariant locked #9564: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 23m 24s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 23m 24s
affeq: Fix array OOB in invariant indentation #9166: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 3m 17s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 3m 17s
Rm spurious parens indentation #9165: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 3m 40s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 3m 40s
Rm spurious parens semgrep #8841: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 38s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 38s
affeq: Fix array OOB in invariant semgrep #8842: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 50s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 50s
Rm spurious parens options #7184: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 26s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 26s
affeq: Fix array OOB in invariant options #7185: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 24s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 24s
affeq: Fix array OOB in invariant coverage #1105: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 11m 8s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 11m 8s
Rm spurious parens locked #9563: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 29m 57s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 29m 57s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled semgrep #8840: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 42s alloca
alloca
January 12, 2024 14:37 42s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled options #7183: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 21s alloca
alloca
January 12, 2024 14:37 21s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled indentation #9164: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 3m 20s alloca
alloca
January 12, 2024 14:37 3m 20s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled locked #9562: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 25m 17s alloca
alloca
January 12, 2024 14:37 25m 17s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled coverage #1104: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 11m 9s alloca
alloca
January 12, 2024 14:37 11m 9s
Revert "Consider alloca in special in memLeak" options #7182: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 27s alloca
alloca
January 12, 2024 14:37 27s
Revert "Consider alloca in special in memLeak" semgrep #8839: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 41s alloca
alloca
January 12, 2024 14:37 41s
Revert "Consider alloca in special in memLeak" indentation #9163: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 3m 11s alloca
alloca
January 12, 2024 14:37 3m 11s
Revert "Consider alloca in special in memLeak" locked #9561: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 30m 1s alloca
alloca
January 12, 2024 14:37 30m 1s
Support for inline assembler & goto instructions in inline assembler locked #9560: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 12m 51s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 12m 51s