Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
792 workflow run results
792 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1237: Pull request #1330 synchronize by FungOliver
January 31, 2024 22:13 8m 24s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 22:13 8m 24s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1235: Pull request #1330 synchronize by FungOliver
January 31, 2024 19:41 11m 4s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 19:41 11m 4s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1234: Pull request #1330 synchronize by FungOliver
January 31, 2024 19:30 8m 37s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 19:30 8m 37s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1233: Pull request #1330 synchronize by FungOliver
January 31, 2024 18:34 6m 8s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 18:34 6m 8s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1232: Pull request #1330 synchronize by FungOliver
January 31, 2024 18:25 5m 43s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 18:25 5m 43s
Improve trigonometric abstractions coverage #1231: Pull request #1272 synchronize by stilscher
January 31, 2024 17:08 10m 54s improve-trig
improve-trig
January 31, 2024 17:08 10m 54s
Linear Two-Variable Equalities Analysis coverage #1230: Pull request #1297 synchronize by alina-weber
January 31, 2024 16:16 11m 10s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 31, 2024 16:16 11m 10s
Linear Two-Variable Equalities Analysis coverage #1229: Pull request #1297 synchronize by reb-ddm
January 31, 2024 16:14 11m 5s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 31, 2024 16:14 11m 5s
Linear Two-Variable Equalities Analysis coverage #1228: Pull request #1297 synchronize by reb-ddm
January 31, 2024 16:06 10m 44s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 31, 2024 16:06 10m 44s
Linear Two-Variable Equalities Analysis coverage #1227: Pull request #1297 synchronize by reb-ddm
January 31, 2024 15:59 11m 32s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 31, 2024 15:59 11m 32s
coverage coverage #1226: Scheduled
January 31, 2024 02:03 19m 47s master
master
January 31, 2024 02:03 19m 47s
More precise abstractions of trigonometric functions using c-stubs coverage #1225: Pull request #1277 synchronize by stilscher
January 30, 2024 18:03 10m 46s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 18:03 10m 46s
More precise abstractions of trigonometric functions using c-stubs coverage #1224: Pull request #1277 synchronize by FelixKrayer
January 30, 2024 15:41 10m 54s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 15:41 10m 54s
More precise abstractions of trigonometric functions using c-stubs coverage #1223: Pull request #1277 synchronize by stilscher
January 30, 2024 15:15 10m 59s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 15:15 10m 59s
More precise abstractions of trigonometric functions using c-stubs coverage #1222: Pull request #1277 synchronize by stilscher
January 30, 2024 14:17 10m 41s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 14:17 10m 41s
More precise abstractions of trigonometric functions using c-stubs coverage #1221: Pull request #1277 synchronize by stilscher
January 30, 2024 14:11 11m 10s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 14:11 11m 10s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1220: Pull request #1340 synchronize by SchiJoha
January 30, 2024 08:58 11m 6s SchiJoha:master
SchiJoha:master
January 30, 2024 08:58 11m 6s
coverage coverage #1218: Scheduled
January 30, 2024 02:03 18m 26s master
master
January 30, 2024 02:03 18m 26s
Add disjunctive completion of Apron domains coverage #1217: Pull request #1339 synchronize by sim642
January 29, 2024 15:01 10m 29s priv-atomic-disjunctive
priv-atomic-disjunctive
January 29, 2024 15:01 10m 29s
Add some hacky atomic privatizations coverage #1216: Pull request #1216 synchronize by sim642
January 29, 2024 13:52 5m 55s priv-atomic
priv-atomic
January 29, 2024 13:52 5m 55s
Refine Points-To set on locking a mutex coverage #1215: Pull request #1343 synchronize by michael-schwarz
January 29, 2024 13:35 11m 50s issue_1287
issue_1287
January 29, 2024 13:35 11m 50s
Fix no function to call warnings on dead code coverage #1214: Pull request #1347 opened by sim642
January 29, 2024 13:17 10m 51s evalfunvar-dead
evalfunvar-dead
January 29, 2024 13:17 10m 51s
Add some hacky atomic privatizations coverage #1213: Pull request #1216 synchronize by sim642
January 29, 2024 12:45 6m 16s priv-atomic
priv-atomic
January 29, 2024 12:45 6m 16s
Refine Points-To set on locking a mutex coverage #1212: Pull request #1343 synchronize by michael-schwarz
January 29, 2024 12:11 16m 32s issue_1287
issue_1287
January 29, 2024 12:11 16m 32s
Refine Points-To set on locking a mutex coverage #1211: Pull request #1343 synchronize by michael-schwarz
January 29, 2024 12:10 10m 46s issue_1287
issue_1287
January 29, 2024 12:10 10m 46s