Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
104 workflow run results
104 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Null Byte Array Domain locked #8395: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 20:43 29m 7s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 20:43 29m 7s
Null Byte Array Domain locked #8394: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 18:59 26m 44s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 18:59 26m 44s
Null Byte Array Domain locked #8393: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:45 36m 44s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:45 36m 44s
Null Byte Array Domain locked #8392: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:33 36m 47s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:33 36m 47s
fix: copying of files to GobView in projects with subdirectories (#1143) locked #8391: Commit 8336d28 pushed by michael-schwarz
September 23, 2023 14:38 31m 9s master
master
September 23, 2023 14:38 31m 9s
fix: copying of files to GobView in projects with subdirectories locked #8390: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:27 28m 34s sallto:master
sallto:master
September 23, 2023 14:27 28m 34s
fix: copying of files to GobView in projects with subdirectories locked #8389: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:14 31m 28s sallto:master
sallto:master
September 23, 2023 14:14 31m 28s
Merge branch 'master' into cfg-optimize locked #8388: Commit b962288 pushed by michael-schwarz
September 23, 2023 14:03 24m 39s cfg-optimize
cfg-optimize
September 23, 2023 14:03 24m 39s
Optimize CFG representation locked #8387: Pull request #609 synchronize by michael-schwarz
September 23, 2023 14:02 24m 15s cfg-optimize
cfg-optimize
September 23, 2023 14:02 24m 15s
locked locked #8386: Scheduled
September 23, 2023 01:57 2h 17m 24s master
master
September 23, 2023 01:57 2h 17m 24s
Remove unused offsets from RegMap domain and eval_exp locked #8385: Commit ca994c8 pushed by karoliineh
September 22, 2023 11:37 31m 19s region-mallocfresh-try2
region-mallocfresh-try2
September 22, 2023 11:37 31m 19s
locked locked #8384: Scheduled
September 22, 2023 02:00 2h 17m 58s master
master
September 22, 2023 02:00 2h 17m 58s
Simplify related_globals locked #8383: Commit 1435944 pushed by karoliineh
September 21, 2023 13:00 33m 47s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 13:00 33m 47s
Restore access Mamory case in regionNonEscape locked #8382: Commit dc13b86 pushed by karoliineh
September 21, 2023 12:43 29m 12s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 12:43 29m 12s
Data-race challenges extracted from benchmarks locked #8381: Pull request #1178 synchronize by sim642
September 21, 2023 10:43 21m 43s race-challenges
race-challenges
September 21, 2023 10:43 21m 43s
Extract symbolic-thread-struct-tid from chrony locked #8380: Commit f1b7070 pushed by sim642
September 21, 2023 10:43 25m 16s race-challenges
race-challenges
September 21, 2023 10:43 25m 16s
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