Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.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 indentation #8091: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 3s threadpool_poc
threadpool_poc
September 20, 2023 17:40 3s
First steps indentation #8090: Commit ec1efbf pushed by michael-schwarz
September 20, 2023 17:32 2s threadpool_poc
threadpool_poc
September 20, 2023 17:32 2s
Support stack-allocating functions when allocating heap vars indentation #8089: Pull request #1179 synchronize by mrstanb
September 20, 2023 16:56 6m 16s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:56 6m 16s
Support stack-allocating functions when allocating heap vars indentation #8088: Pull request #1179 opened by mrstanb
September 20, 2023 16:51 3s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:51 3s
Data-race challenges extracted from benchmarks indentation #8087: Pull request #1178 synchronize by sim642
September 20, 2023 14:47 6m 4s race-challenges
race-challenges
September 20, 2023 14:47 6m 4s
Fix smtprc-tid unsoundness indentation #8086: Commit 5339d75 pushed by sim642
September 20, 2023 14:47 6m 5s race-challenges
race-challenges
September 20, 2023 14:47 6m 5s
Data-race challenges extracted from benchmarks indentation #8085: Pull request #1178 synchronize by sim642
September 20, 2023 14:34 6m 12s race-challenges
race-challenges
September 20, 2023 14:34 6m 12s
Fix pthread_argument int dereference in added examples indentation #8084: Commit 43ec2bb pushed by sim642
September 20, 2023 14:33 7m 23s race-challenges
race-challenges
September 20, 2023 14:33 7m 23s
Data-race challenges extracted from benchmarks indentation #8083: Pull request #1178 synchronize by sim642
September 20, 2023 13:26 6m 11s race-challenges
race-challenges
September 20, 2023 13:26 6m 11s
Extract symbolic-thread-array-init from silver searcher indentation #8082: Commit 34277f4 pushed by sim642
September 20, 2023 13:26 7m 5s race-challenges
race-challenges
September 20, 2023 13:26 7m 5s
Data-race challenges extracted from benchmarks indentation #8081: Pull request #1178 synchronize by sim642
September 20, 2023 12:31 6m 26s race-challenges
race-challenges
September 20, 2023 12:31 6m 26s
Extract atomic-gcc-norace example from klib indentation #8080: Commit ae8adff pushed by sim642
September 20, 2023 12:31 5m 57s race-challenges
race-challenges
September 20, 2023 12:31 5m 57s
Data-race challenges extracted from benchmarks indentation #8079: Pull request #1178 synchronize by sim642
September 20, 2023 12:09 7m 50s race-challenges
race-challenges
September 20, 2023 12:09 7m 50s
Extract symbolic-thread-array-inc example from ProcDump-for-Linux indentation #8078: Commit 99294e4 pushed by sim642
September 20, 2023 12:09 6m 0s race-challenges
race-challenges
September 20, 2023 12:09 6m 0s
Data-race challenges extracted from benchmarks indentation #8077: Pull request #1178 synchronize by sim642
September 20, 2023 11:25 6m 40s race-challenges
race-challenges
September 20, 2023 11:25 6m 40s
Extract symbolic-thread-array-bitmask example from nnn indentation #8076: Commit 9aceae1 pushed by sim642
September 20, 2023 11:25 6m 28s race-challenges
race-challenges
September 20, 2023 11:25 6m 28s
Data-race challenges extracted from benchmarks indentation #8075: Pull request #1178 synchronize by sim642
September 20, 2023 10:55 7m 18s race-challenges
race-challenges
September 20, 2023 10:55 7m 18s
Mention snoopy in symbolic-thread-struct example indentation #8074: Commit be1bdf9 pushed by sim642
September 20, 2023 10:55 6m 54s race-challenges
race-challenges
September 20, 2023 10:55 6m 54s
Data-race challenges extracted from benchmarks indentation #8073: Pull request #1178 synchronize by sim642
September 20, 2023 10:01 6m 10s race-challenges
race-challenges
September 20, 2023 10:01 6m 10s
Extract value-barrier-norace example from silver searcher indentation #8072: Commit 2121eb0 pushed by sim642
September 20, 2023 10:01 6m 58s race-challenges
race-challenges
September 20, 2023 10:01 6m 58s
Data-race challenges extracted from benchmarks indentation #8071: Pull request #1178 synchronize by sim642
September 20, 2023 09:44 5m 58s race-challenges
race-challenges
September 20, 2023 09:44 5m 58s
Extract thread-local-value examples from silver searcher indentation #8070: Commit 16aa15f pushed by sim642
September 20, 2023 09:44 6m 54s race-challenges
race-challenges
September 20, 2023 09:44 6m 54s
Data-race challenges extracted from benchmarks indentation #8069: Pull request #1178 opened by sim642
September 20, 2023 09:22 3s race-challenges
race-challenges
September 20, 2023 09:22 3s
Extract thread-binomial-join example from fzy indentation #8068: Commit dbb4e9e pushed by sim642
September 20, 2023 09:19 6m 9s race-challenges
race-challenges
September 20, 2023 09:19 6m 9s
Extract thread-alive-counter-outer example from nnn indentation #8067: Commit b0bc3ad pushed by sim642
September 20, 2023 08:38 5m 49s race-challenges
race-challenges
September 20, 2023 08:38 5m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.