Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
569 workflow run results
569 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Extract thread-const-array-join example from level-ip options #6085: Commit 4800dc2 pushed by sim642
September 20, 2023 08:20 26s race-challenges
race-challenges
September 20, 2023 08:20 26s
Extract thread-alive-counter example from C-Thread-Pool options #6084: Commit beaa91f pushed by sim642
September 20, 2023 08:05 24s race-challenges
race-challenges
September 20, 2023 08:05 24s
Add and fix library functions for Concrat benchmarks options #6083: Pull request #1174 synchronize by sim642
September 20, 2023 07:26 27s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 27s
Add test for atexit soundness options #6082: Commit 71035d2 pushed by sim642
September 20, 2023 07:26 34s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 34s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.