Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
728 workflow run results
728 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Data-race challenges extracted from benchmarks locked #8379: Pull request #1178 synchronize by sim642
September 21, 2023 07:55 31m 43s race-challenges
race-challenges
September 21, 2023 07:55 31m 43s
Use cond vars instead of busy loops in race challenges locked #8378: Commit e140813 pushed by sim642
September 21, 2023 07:55 30m 1s race-challenges
race-challenges
September 21, 2023 07:55 30m 1s
Support stack-allocating functions when allocating heap vars locked #8377: Pull request #1179 synchronize by mrstanb
September 21, 2023 07:50 19m 38s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 21, 2023 07:50 19m 38s
locked locked #8376: Scheduled
September 21, 2023 01:59 2h 30m 3s master
master
September 21, 2023 01:59 2h 30m 3s
First steps towards a Proof-of-Concept for analyzing threadpools locked #8375: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 52m 2s threadpool_poc
threadpool_poc
September 20, 2023 17:40 52m 2s
First steps locked #8374: Commit ec1efbf pushed by michael-schwarz
September 20, 2023 17:32 47m 24s threadpool_poc
threadpool_poc
September 20, 2023 17:32 47m 24s
Support stack-allocating functions when allocating heap vars locked #8373: Pull request #1179 synchronize by mrstanb
September 20, 2023 16:56 45m 15s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:56 45m 15s
Support stack-allocating functions when allocating heap vars locked #8372: Pull request #1179 opened by mrstanb
September 20, 2023 16:51 31m 37s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:51 31m 37s
Data-race challenges extracted from benchmarks locked #8371: Pull request #1178 synchronize by sim642
September 20, 2023 14:47 27m 31s race-challenges
race-challenges
September 20, 2023 14:47 27m 31s
Fix smtprc-tid unsoundness locked #8370: Commit 5339d75 pushed by sim642
September 20, 2023 14:47 28m 2s race-challenges
race-challenges
September 20, 2023 14:47 28m 2s
Data-race challenges extracted from benchmarks locked #8369: Pull request #1178 synchronize by sim642
September 20, 2023 14:34 28m 55s race-challenges
race-challenges
September 20, 2023 14:34 28m 55s
Fix pthread_argument int dereference in added examples locked #8368: Commit 43ec2bb pushed by sim642
September 20, 2023 14:33 24m 14s race-challenges
race-challenges
September 20, 2023 14:33 24m 14s
Data-race challenges extracted from benchmarks locked #8367: Pull request #1178 synchronize by sim642
September 20, 2023 13:26 31m 30s race-challenges
race-challenges
September 20, 2023 13:26 31m 30s
Extract symbolic-thread-array-init from silver searcher locked #8366: Commit 34277f4 pushed by sim642
September 20, 2023 13:26 33m 36s race-challenges
race-challenges
September 20, 2023 13:26 33m 36s
Data-race challenges extracted from benchmarks locked #8365: Pull request #1178 synchronize by sim642
September 20, 2023 12:31 35m 35s race-challenges
race-challenges
September 20, 2023 12:31 35m 35s
Extract atomic-gcc-norace example from klib locked #8364: Commit ae8adff pushed by sim642
September 20, 2023 12:31 32m 6s race-challenges
race-challenges
September 20, 2023 12:31 32m 6s
Data-race challenges extracted from benchmarks locked #8363: Pull request #1178 synchronize by sim642
September 20, 2023 12:09 31m 58s race-challenges
race-challenges
September 20, 2023 12:09 31m 58s
Extract symbolic-thread-array-inc example from ProcDump-for-Linux locked #8362: Commit 99294e4 pushed by sim642
September 20, 2023 12:09 38m 42s race-challenges
race-challenges
September 20, 2023 12:09 38m 42s
Data-race challenges extracted from benchmarks locked #8361: Pull request #1178 synchronize by sim642
September 20, 2023 11:25 28m 20s race-challenges
race-challenges
September 20, 2023 11:25 28m 20s
Extract symbolic-thread-array-bitmask example from nnn locked #8360: Commit 9aceae1 pushed by sim642
September 20, 2023 11:25 27m 22s race-challenges
race-challenges
September 20, 2023 11:25 27m 22s
Data-race challenges extracted from benchmarks locked #8359: Pull request #1178 synchronize by sim642
September 20, 2023 10:55 37m 48s race-challenges
race-challenges
September 20, 2023 10:55 37m 48s
Mention snoopy in symbolic-thread-struct example locked #8358: Commit be1bdf9 pushed by sim642
September 20, 2023 10:55 30m 49s race-challenges
race-challenges
September 20, 2023 10:55 30m 49s
Data-race challenges extracted from benchmarks locked #8357: Pull request #1178 synchronize by sim642
September 20, 2023 10:01 25m 44s race-challenges
race-challenges
September 20, 2023 10:01 25m 44s
Extract value-barrier-norace example from silver searcher locked #8356: Commit 2121eb0 pushed by sim642
September 20, 2023 10:01 25m 41s race-challenges
race-challenges
September 20, 2023 10:01 25m 41s
Data-race challenges extracted from benchmarks locked #8355: Pull request #1178 synchronize by sim642
September 20, 2023 09:44 28m 55s race-challenges
race-challenges
September 20, 2023 09:44 28m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.