Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
2,158 workflow runs
2,158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Document Goblint benchmarking best practices coverage #430: Pull request #1160 opened by sim642
September 12, 2023 10:41 19m 17s benchmarking-docs
benchmarking-docs
September 12, 2023 10:41 19m 17s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #429: Pull request #1142 synchronize by karoliineh
September 12, 2023 07:51 32m 26s queries-ad
queries-ad
September 12, 2023 07:51 32m 26s
Library functions that are used in the silver searcher including some from the pcre library coverage #428: Pull request #1138 synchronize by sim642
September 12, 2023 07:47 21m 30s libfuns-silver-searcher
libfuns-silver-searcher
September 12, 2023 07:47 21m 30s
coverage coverage #427: Scheduled
September 12, 2023 02:02 42m 2s master
master
September 12, 2023 02:02 42m 2s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #426: Pull request #1142 synchronize by sim642
September 11, 2023 14:40 19m 13s queries-ad
queries-ad
September 11, 2023 14:40 19m 13s
goblint: fix lower bound on yaml coverage #425: Pull request #1157 opened by edwintorok
September 11, 2023 14:23 23m 22s edwintorok:bounds
edwintorok:bounds
September 11, 2023 14:23 23m 22s
Upgrade to OCaml 5.0 as default coverage #424: Pull request #1137 synchronize by sim642
September 11, 2023 12:11 25m 0s ocaml-5-apron
ocaml-5-apron
September 11, 2023 12:11 25m 0s
Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences coverage #423: Pull request #1154 synchronize by michael-schwarz
September 11, 2023 10:52 19m 24s issue_1153
issue_1153
September 11, 2023 10:52 19m 24s
coverage coverage #422: Scheduled
September 11, 2023 02:04 29m 19s master
master
September 11, 2023 02:04 29m 19s
Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences coverage #421: Pull request #1154 synchronize by michael-schwarz
September 10, 2023 12:03 19m 2s issue_1153
issue_1153
September 10, 2023 12:03 19m 2s
Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences coverage #420: Pull request #1154 opened by michael-schwarz
September 10, 2023 12:00 17m 47s issue_1153
issue_1153
September 10, 2023 12:00 17m 47s
coverage coverage #419: Scheduled
September 10, 2023 02:04 31m 4s master
master
September 10, 2023 02:04 31m 4s
coverage coverage #418: Scheduled
September 9, 2023 02:00 32m 58s master
master
September 9, 2023 02:00 32m 58s
Null Byte Array Domain coverage #417: Pull request #1076 synchronize by nathanschmidt
September 8, 2023 10:46 16m 8s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 8, 2023 10:46 16m 8s
Relational Substring Domain coverage #416: Pull request #1118 synchronize by nathanschmidt
September 8, 2023 10:39 10m 3s nathanschmidt:relational-substring-domain
nathanschmidt:relational-substring-domain
September 8, 2023 10:39 10m 3s
Relational Substring Domain coverage #415: Pull request #1118 synchronize by nathanschmidt
September 8, 2023 10:39 8m 42s nathanschmidt:relational-substring-domain
nathanschmidt:relational-substring-domain
September 8, 2023 10:39 8m 42s
Null Byte Array Domain coverage #414: Pull request #1076 synchronize by nathanschmidt
September 8, 2023 10:32 15m 50s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 8, 2023 10:32 15m 50s
coverage coverage #413: Scheduled
September 8, 2023 02:03 33m 13s master
master
September 8, 2023 02:03 33m 13s
Null Byte Array Domain coverage #412: Pull request #1076 synchronize by nathanschmidt
September 7, 2023 15:35 25m 5s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 7, 2023 15:35 25m 5s
coverage coverage #411: Scheduled
September 7, 2023 02:03 34m 57s master
master
September 7, 2023 02:03 34m 57s
Null Byte Array Domain coverage #410: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 16:24 7m 59s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 16:24 7m 59s
Null Byte Array Domain coverage #409: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 10:24 10m 5s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 10:24 10m 5s
Memory Out-Of-Bounds Access Analysis coverage #408: Pull request #1094 synchronize by mrstanb
September 6, 2023 10:10 25m 47s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 6, 2023 10:10 25m 47s
Memory Out-Of-Bounds Access Analysis coverage #407: Pull request #1094 synchronize by michael-schwarz
September 6, 2023 08:00 16m 4s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 6, 2023 08:00 16m 4s
coverage coverage #406: Scheduled
September 6, 2023 02:03 27m 15s master
master
September 6, 2023 02:03 27m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-09-06 or the other filters available.