Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
400 workflow run results
400 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add some hacky atomic privatizations coverage #881: Pull request #1216 synchronize by sim642
November 27, 2023 14:06 10m 26s priv-atomic
priv-atomic
November 27, 2023 14:06 10m 26s
Generalize and clean up abs invariant in base analysis coverage #880: Pull request #1274 opened by sim642
November 27, 2023 12:37 13m 45s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 27, 2023 12:37 13m 45s
Klever concurrency safety support coverage #879: Pull request #688 synchronize by sim642
November 27, 2023 12:32 19m 58s klever
klever
November 27, 2023 12:32 19m 58s
Klever concurrency safety support coverage #878: Pull request #688 synchronize by sim642
November 27, 2023 10:29 14m 12s klever
klever
November 27, 2023 10:29 14m 12s
Add ana.base.strings.domain option and unit string domain coverage #877: Pull request #1208 synchronize by sim642
November 27, 2023 08:44 12m 50s string-unit-domain
string-unit-domain
November 27, 2023 08:44 12m 50s
coverage coverage #876: Scheduled
November 27, 2023 02:10 27m 0s master
master
November 27, 2023 02:10 27m 0s
Null Byte Array Domain coverage #875: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 20:01 10m 11s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 20:01 10m 11s
Null Byte Array Domain coverage #874: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 19:00 14m 7s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 19:00 14m 7s
Null Byte Array Domain coverage #873: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 17:08 12m 1s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 17:08 12m 1s