Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
478 workflow run results
478 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for inline assembler & goto instructions in inline assembler coverage #1183: Pull request #1326 synchronize by WernerDrasche
January 25, 2024 13:44 10m 45s N0W0RK:master
N0W0RK:master
January 25, 2024 13:44 10m 45s
Add some hacky atomic privatizations coverage #1181: Pull request #1216 synchronize by sim642
January 25, 2024 11:53 11m 48s priv-atomic
priv-atomic
January 25, 2024 11:53 11m 48s
Add some hacky atomic privatizations coverage #1180: Pull request #1216 synchronize by sim642
January 25, 2024 11:19 11m 4s priv-atomic
priv-atomic
January 25, 2024 11:19 11m 4s
Support for inline assembler & goto instructions in inline assembler coverage #1176: Pull request #1326 synchronize by N0W0RK
January 25, 2024 09:58 5m 52s N0W0RK:master
N0W0RK:master
January 25, 2024 09:58 5m 52s
coverage coverage #1173: Scheduled
January 25, 2024 02:18 13m 9s master
master
January 25, 2024 02:18 13m 9s
Fix NullPtr assignment crash in relation analysis coverage #1172: Pull request #1335 opened by sim642
January 24, 2024 15:20 11m 7s issue-1249
issue-1249
January 24, 2024 15:20 11m 7s
Exclude Goblint stubs from YAML witnesses coverage #1171: Pull request #1334 opened by sim642
January 24, 2024 12:42 11m 1s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:42 11m 1s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1170: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:11 5m 45s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:11 5m 45s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1169: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:01 5m 43s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:01 5m 43s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1168: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:56 5m 55s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:56 5m 55s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1167: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:55 5m 58s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:55 5m 58s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1166: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:52 5m 48s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:52 5m 48s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1165: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:51 5m 50s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:51 5m 50s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1164: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:49 5m 50s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:49 5m 50s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1163: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:42 5m 44s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:42 5m 44s
coverage coverage #1162: Scheduled
January 24, 2024 02:18 17m 53s master
master
January 24, 2024 02:18 17m 53s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1161: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:10 18m 37s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:10 18m 37s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1160: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:09 16m 16s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:09 16m 16s
Linear Two-Variable Equalities Analysis coverage #1159: Pull request #1297 synchronize by jennieliangga
January 23, 2024 20:39 11m 9s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 23, 2024 20:39 11m 9s
Add VMCAI '24 artifact description to docs coverage #1158: Pull request #1332 opened by sim642
January 23, 2024 13:13 10m 44s unassume-artifact
unassume-artifact
January 23, 2024 13:13 10m 44s
Use Z module directly coverage #1157: Pull request #1329 synchronize by karoliineh
January 23, 2024 10:54 10m 57s z-module
z-module
January 23, 2024 10:54 10m 57s
Use Z module directly coverage #1156: Pull request #1329 synchronize by karoliineh
January 23, 2024 10:51 11m 0s z-module
z-module
January 23, 2024 10:51 11m 0s
coverage coverage #1155: Scheduled
January 23, 2024 02:18 12m 51s master
master
January 23, 2024 02:18 12m 51s
Support for inline assembler & goto instructions in inline assembler coverage #1154: Pull request #1326 synchronize by N0W0RK
January 23, 2024 00:53 7m 41s N0W0RK:master
N0W0RK:master
January 23, 2024 00:53 7m 41s
Use Z module directly coverage #1153: Pull request #1329 synchronize by karoliineh
January 22, 2024 16:58 10m 48s z-module
z-module
January 22, 2024 16:58 10m 48s