Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
435 workflow run results
435 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

First steps towards a Proof-of-Concept for analyzing threadpools options #6110: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 22s threadpool_poc
threadpool_poc
September 20, 2023 17:40 22s
First steps options #6109: Commit ec1efbf pushed by michael-schwarz
September 20, 2023 17:32 24s threadpool_poc
threadpool_poc
September 20, 2023 17:32 24s
Support stack-allocating functions when allocating heap vars options #6108: Pull request #1179 synchronize by mrstanb
September 20, 2023 16:56 31s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:56 31s
Support stack-allocating functions when allocating heap vars options #6107: Pull request #1179 opened by mrstanb
September 20, 2023 16:51 21s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:51 21s
Data-race challenges extracted from benchmarks options #6106: Pull request #1178 synchronize by sim642
September 20, 2023 14:47 31s race-challenges
race-challenges
September 20, 2023 14:47 31s
Fix smtprc-tid unsoundness options #6105: Commit 5339d75 pushed by sim642
September 20, 2023 14:47 30s race-challenges
race-challenges
September 20, 2023 14:47 30s
Data-race challenges extracted from benchmarks options #6104: Pull request #1178 synchronize by sim642
September 20, 2023 14:34 29s race-challenges
race-challenges
September 20, 2023 14:34 29s
Fix pthread_argument int dereference in added examples options #6103: Commit 43ec2bb pushed by sim642
September 20, 2023 14:33 23s race-challenges
race-challenges
September 20, 2023 14:33 23s
Data-race challenges extracted from benchmarks options #6102: Pull request #1178 synchronize by sim642
September 20, 2023 13:26 27s race-challenges
race-challenges
September 20, 2023 13:26 27s
Extract symbolic-thread-array-init from silver searcher options #6101: Commit 34277f4 pushed by sim642
September 20, 2023 13:26 20s race-challenges
race-challenges
September 20, 2023 13:26 20s
Data-race challenges extracted from benchmarks options #6100: Pull request #1178 synchronize by sim642
September 20, 2023 12:31 24s race-challenges
race-challenges
September 20, 2023 12:31 24s
Extract atomic-gcc-norace example from klib options #6099: Commit ae8adff pushed by sim642
September 20, 2023 12:31 16s race-challenges
race-challenges
September 20, 2023 12:31 16s
Data-race challenges extracted from benchmarks options #6098: Pull request #1178 synchronize by sim642
September 20, 2023 12:09 32s race-challenges
race-challenges
September 20, 2023 12:09 32s
Extract symbolic-thread-array-inc example from ProcDump-for-Linux options #6097: Commit 99294e4 pushed by sim642
September 20, 2023 12:09 26s race-challenges
race-challenges
September 20, 2023 12:09 26s
Data-race challenges extracted from benchmarks options #6096: Pull request #1178 synchronize by sim642
September 20, 2023 11:25 27s race-challenges
race-challenges
September 20, 2023 11:25 27s
Extract symbolic-thread-array-bitmask example from nnn options #6095: Commit 9aceae1 pushed by sim642
September 20, 2023 11:25 26s race-challenges
race-challenges
September 20, 2023 11:25 26s
Data-race challenges extracted from benchmarks options #6094: Pull request #1178 synchronize by sim642
September 20, 2023 10:55 20s race-challenges
race-challenges
September 20, 2023 10:55 20s
Mention snoopy in symbolic-thread-struct example options #6093: Commit be1bdf9 pushed by sim642
September 20, 2023 10:55 26s race-challenges
race-challenges
September 20, 2023 10:55 26s
Data-race challenges extracted from benchmarks options #6092: Pull request #1178 synchronize by sim642
September 20, 2023 10:01 22s race-challenges
race-challenges
September 20, 2023 10:01 22s
Extract value-barrier-norace example from silver searcher options #6091: Commit 2121eb0 pushed by sim642
September 20, 2023 10:01 18s race-challenges
race-challenges
September 20, 2023 10:01 18s
Data-race challenges extracted from benchmarks options #6090: Pull request #1178 synchronize by sim642
September 20, 2023 09:44 20s race-challenges
race-challenges
September 20, 2023 09:44 20s
Extract thread-local-value examples from silver searcher options #6089: Commit 16aa15f pushed by sim642
September 20, 2023 09:44 23s race-challenges
race-challenges
September 20, 2023 09:44 23s
Data-race challenges extracted from benchmarks options #6088: Pull request #1178 opened by sim642
September 20, 2023 09:22 21s race-challenges
race-challenges
September 20, 2023 09:22 21s
Extract thread-binomial-join example from fzy options #6087: Commit dbb4e9e pushed by sim642
September 20, 2023 09:19 24s race-challenges
race-challenges
September 20, 2023 09:19 24s
Extract thread-alive-counter-outer example from nnn options #6086: Commit b0bc3ad pushed by sim642
September 20, 2023 08:38 26s race-challenges
race-challenges
September 20, 2023 08:38 26s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.