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

Linear Two-Variable Equalities Analysis coverage #1289: Pull request #1297 synchronize by reb-ddm
February 5, 2024 16:43 11m 35s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 5, 2024 16:43 11m 35s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1288: Pull request #1340 synchronize by SchiJoha
February 5, 2024 16:16 11m 8s SchiJoha:master
SchiJoha:master
February 5, 2024 16:16 11m 8s
Towards fixing GobView search: Avoid truncation of very large integers coverage #1287: Pull request #1092 synchronize by stilscher
February 5, 2024 14:50 11m 9s fix-gobview-search
fix-gobview-search
February 5, 2024 14:50 11m 9s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1286: Pull request #1340 synchronize by SchiJoha
February 5, 2024 08:16 11m 3s SchiJoha:master
SchiJoha:master
February 5, 2024 08:16 11m 3s
coverage coverage #1285: Scheduled
February 5, 2024 02:09 17m 52s master
master
February 5, 2024 02:09 17m 52s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1284: Pull request #1340 synchronize by SchiJoha
February 4, 2024 14:25 11m 17s SchiJoha:master
SchiJoha:master
February 4, 2024 14:25 11m 17s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1283: Pull request #1340 synchronize by SchiJoha
February 4, 2024 13:49 11m 23s SchiJoha:master
SchiJoha:master
February 4, 2024 13:49 11m 23s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1282: Pull request #1340 synchronize by SchiJoha
February 4, 2024 13:23 11m 5s SchiJoha:master
SchiJoha:master
February 4, 2024 13:23 11m 5s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1281: Pull request #1340 synchronize by SchiJoha
February 4, 2024 13:19 10m 53s SchiJoha:master
SchiJoha:master
February 4, 2024 13:19 10m 53s
Handle LNot for float in forward evaluation and refinement on guards coverage #1280: Pull request #1344 synchronize by michael-schwarz
February 4, 2024 10:09 11m 25s issue_1211
issue_1211
February 4, 2024 10:09 11m 25s
Handle LNot for float in forward evaluation and refinement on guards coverage #1279: Pull request #1344 synchronize by michael-schwarz
February 4, 2024 10:07 10m 41s issue_1211
issue_1211
February 4, 2024 10:07 10m 41s
Handle LNot for float in forward evaluation and refinement on guards coverage #1278: Pull request #1344 synchronize by michael-schwarz
February 4, 2024 09:49 10m 57s issue_1211
issue_1211
February 4, 2024 09:49 10m 57s
coverage coverage #1277: Scheduled
February 4, 2024 02:07 18m 52s master
master
February 4, 2024 02:07 18m 52s
coverage coverage #1276: Scheduled
February 3, 2024 02:00 19m 14s master
master
February 3, 2024 02:00 19m 14s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1275: Pull request #1330 synchronize by FungOliver
February 2, 2024 23:35 8m 24s FungOliver:relationalArray
FungOliver:relationalArray
February 2, 2024 23:35 8m 24s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1274: Pull request #1330 synchronize by FungOliver
February 2, 2024 23:30 8m 20s FungOliver:relationalArray
FungOliver:relationalArray
February 2, 2024 23:30 8m 20s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1273: Pull request #1330 synchronize by FungOliver
February 2, 2024 19:42 10m 45s FungOliver:relationalArray
FungOliver:relationalArray
February 2, 2024 19:42 10m 45s
More precise abstractions of trigonometric functions using c-stubs coverage #1272: Pull request #1277 synchronize by FelixKrayer
February 2, 2024 13:58 11m 15s FelixKrayer:math_funeval
FelixKrayer:math_funeval
February 2, 2024 13:58 11m 15s
More precise abstractions of trigonometric functions using c-stubs coverage #1271: Pull request #1277 synchronize by FelixKrayer
February 2, 2024 13:57 10m 52s FelixKrayer:math_funeval
FelixKrayer:math_funeval
February 2, 2024 13:57 10m 52s
Adapt to removed Libmaincil module coverage #1270: Pull request #1350 synchronize by sim642
February 2, 2024 12:42 10m 41s rm-libmaincil
rm-libmaincil
February 2, 2024 12:42 10m 41s
More precise abstractions of trigonometric functions using c-stubs coverage #1269: Pull request #1277 synchronize by stilscher
February 2, 2024 12:23 12m 41s FelixKrayer:math_funeval
FelixKrayer:math_funeval
February 2, 2024 12:23 12m 41s
Adapt to removed Libmaincil module coverage #1268: Pull request #1350 synchronize by sim642
February 2, 2024 12:19 11m 20s rm-libmaincil
rm-libmaincil
February 2, 2024 12:19 11m 20s
Adapt to removed Libmaincil module coverage #1267: Pull request #1350 opened by sim642
February 2, 2024 12:08 14m 0s rm-libmaincil
rm-libmaincil
February 2, 2024 12:08 14m 0s
More precise abstractions of trigonometric functions using c-stubs coverage #1265: Pull request #1277 synchronize by FelixKrayer
February 2, 2024 09:29 10m 52s FelixKrayer:math_funeval
FelixKrayer:math_funeval
February 2, 2024 09:29 10m 52s
More precise abstractions of trigonometric functions using c-stubs coverage #1264: Pull request #1277 synchronize by FelixKrayer
February 2, 2024 08:20 11m 10s FelixKrayer:math_funeval
FelixKrayer:math_funeval
February 2, 2024 08:20 11m 10s