Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
282 workflow run results
282 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #906: Scheduled
December 3, 2023 02:11 27m 7s master
master
December 3, 2023 02:11 27m 7s
coverage coverage #905: Scheduled
December 2, 2023 02:06 21m 2s master
master
December 2, 2023 02:06 21m 2s
Bump batteries to 3.5.1 & Remove hacks coverage #904: Pull request #1282 synchronize by michael-schwarz
December 1, 2023 20:42 13m 18s batteries_bump
batteries_bump
December 1, 2023 20:42 13m 18s
Bump batteries to 3.5.1 & Remove hacks coverage #903: Pull request #1282 opened by michael-schwarz
December 1, 2023 20:37 15m 22s batteries_bump
batteries_bump
December 1, 2023 20:37 15m 22s
RFC: Remove spec & file analyses coverage #902: Pull request #1281 synchronize by michael-schwarz
December 1, 2023 20:06 12m 36s remove_file_and_spec
remove_file_and_spec
December 1, 2023 20:06 12m 36s
RFC: Remove spec & file analyses coverage #901: Pull request #1281 opened by michael-schwarz
December 1, 2023 19:49 5m 5s remove_file_and_spec
remove_file_and_spec
December 1, 2023 19:49 5m 5s
Fix name of modifiedSinceSetjmp coverage #900: Pull request #1280 opened by michael-schwarz
December 1, 2023 19:25 19m 1s fix_setjmpname
fix_setjmpname
December 1, 2023 19:25 19m 1s
Introduce Printable.Either3 coverage #899: Pull request #1279 opened by michael-schwarz
December 1, 2023 19:16 20m 5s printable_either3
printable_either3
December 1, 2023 19:16 20m 5s
coverage coverage #898: Scheduled
December 1, 2023 02:21 24m 12s master
master
December 1, 2023 02:21 24m 12s
Generalize mutex-meet-tid privatization to arbitrary digest coverage #897: Pull request #1278 synchronize by sim642
November 30, 2023 11:35 19m 42s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 19m 42s
Generalize mutex-meet-tid privatization to arbitrary digest coverage #896: Pull request #1278 opened by sim642
November 30, 2023 11:05 20m 39s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:05 20m 39s
coverage coverage #895: Scheduled
November 30, 2023 02:10 23m 38s master
master
November 30, 2023 02:10 23m 38s
More precise abstractions of trigonometric functions using c-stubs coverage #894: Pull request #1277 synchronize by FelixKrayer
November 29, 2023 15:34 14m 17s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 15:34 14m 17s
Add some hacky atomic privatizations coverage #893: Pull request #1216 synchronize by sim642
November 29, 2023 13:58 13m 39s priv-atomic
priv-atomic
November 29, 2023 13:58 13m 39s
Add some hacky atomic privatizations coverage #892: Pull request #1216 synchronize by sim642
November 29, 2023 12:37 12m 52s priv-atomic
priv-atomic
November 29, 2023 12:37 12m 52s
More precise abstractions of trigonometric functions using c-stubs coverage #891: Pull request #1277 opened by FelixKrayer
November 29, 2023 11:08 12m 42s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 11:08 12m 42s
Null Byte Array Domain coverage #890: Pull request #1076 synchronize by sim642
November 29, 2023 09:00 18m 23s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 09:00 18m 23s
Null Byte Array Domain coverage #889: Pull request #1076 synchronize by sim642
November 29, 2023 08:51 18m 56s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 08:51 18m 56s
coverage coverage #888: Scheduled
November 29, 2023 02:10 21m 55s master
master
November 29, 2023 02:10 21m 55s
Null Byte Array Domain coverage #887: Pull request #1076 synchronize by michael-schwarz
November 28, 2023 21:06 19m 53s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 28, 2023 21:06 19m 53s
Add some hacky atomic privatizations coverage #886: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 17m 14s priv-atomic
priv-atomic
November 28, 2023 10:48 17m 14s
Generalize and clean up abs invariant in base analysis coverage #885: Pull request #1274 synchronize by sim642
November 28, 2023 09:16 13m 42s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 28, 2023 09:16 13m 42s
coverage coverage #884: Scheduled
November 28, 2023 02:11 22m 56s master
master
November 28, 2023 02:11 22m 56s
Add some hacky atomic privatizations coverage #883: Pull request #1216 synchronize by sim642
November 27, 2023 15:15 11m 45s priv-atomic
priv-atomic
November 27, 2023 15:15 11m 45s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #882: Pull request #1265 synchronize by michael-schwarz
November 27, 2023 14:19 16m 23s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 27, 2023 14:19 16m 23s