Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unassume benchmarking fixes coverage #292: Pull request #1124 synchronize by sim642
August 2, 2023 09:10 19m 47s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 2, 2023 09:10 19m 47s
Unassume benchmarking fixes coverage #291: Pull request #1124 opened by sim642
August 2, 2023 09:01 16m 43s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 2, 2023 09:01 16m 43s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #290: Pull request #1123 synchronize by mrstanb
August 2, 2023 07:55 16m 3s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 2, 2023 07:55 16m 3s
coverage coverage #289: Scheduled
August 2, 2023 02:10 29m 53s master
master
August 2, 2023 02:10 29m 53s
Analysis tracking equality between calls to math library functions to improve invariant coverage #288: Pull request #1041 synchronize by FelixKrayer
August 1, 2023 20:15 21m 39s FelixKrayer:tmpSpecial
FelixKrayer:tmpSpecial
August 1, 2023 20:15 21m 39s
Analysis tracking equality between calls to math library functions to improve invariant coverage #287: Pull request #1041 synchronize by FelixKrayer
August 1, 2023 20:11 20m 53s FelixKrayer:tmpSpecial
FelixKrayer:tmpSpecial
August 1, 2023 20:11 20m 53s
Replace direct stdout printing with logging coverage #286: Pull request #1117 synchronize by sim642
August 1, 2023 14:51 18m 5s logs
logs
August 1, 2023 14:51 18m 5s
Replace direct stdout printing with logging coverage #285: Pull request #1117 synchronize by sim642
August 1, 2023 14:27 21m 35s logs
logs
August 1, 2023 14:27 21m 35s
Replace direct stdout printing with logging coverage #284: Pull request #1117 synchronize by sim642
August 1, 2023 14:26 17m 23s logs
logs
August 1, 2023 14:26 17m 23s
Analysis tracking equality between calls to math library functions to improve invariant coverage #283: Pull request #1041 synchronize by FelixKrayer
August 1, 2023 14:14 21m 29s FelixKrayer:tmpSpecial
FelixKrayer:tmpSpecial
August 1, 2023 14:14 21m 29s
Relational Substring Domain coverage #282: Pull request #1118 synchronize by nathanschmidt
August 1, 2023 13:24 10m 49s nathanschmidt:relational-substring-domain
nathanschmidt:relational-substring-domain
August 1, 2023 13:24 10m 49s
Convert library functions to new specifications coverage #281: Pull request #1079 synchronize by karoliineh
August 1, 2023 11:47 22m 1s libfuns-spec
libfuns-spec
August 1, 2023 11:47 22m 1s
Replace direct stdout printing with logging coverage #280: Pull request #1117 synchronize by sim642
August 1, 2023 10:37 20m 13s logs
logs
August 1, 2023 10:37 20m 13s
Replace direct stdout printing with logging coverage #279: Pull request #1117 synchronize by sim642
August 1, 2023 09:55 15m 52s logs
logs
August 1, 2023 09:55 15m 52s
coverage coverage #278: Scheduled
August 1, 2023 02:28 34m 28s master
master
August 1, 2023 02:28 34m 28s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #277: Pull request #1123 opened by mrstanb
July 31, 2023 16:58 14m 19s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
July 31, 2023 16:58 14m 19s
coverage coverage #276: Scheduled
July 31, 2023 02:21 24m 43s master
master
July 31, 2023 02:21 24m 43s
Warn for {d,r}eallocation of non-dynamically allocated memory coverage #275: Pull request #1099 synchronize by mrstanb
July 30, 2023 09:43 23m 27s mrstanb:handle-free-of-stack-mem
mrstanb:handle-free-of-stack-mem
July 30, 2023 09:43 23m 27s
coverage coverage #274: Scheduled
July 30, 2023 02:18 21m 16s master
master
July 30, 2023 02:18 21m 16s
coverage coverage #273: Scheduled
July 29, 2023 02:10 25m 12s master
master
July 29, 2023 02:10 25m 12s
Convert library functions to new specifications coverage #272: Pull request #1079 synchronize by karoliineh
July 28, 2023 12:57 17m 52s libfuns-spec
libfuns-spec
July 28, 2023 12:57 17m 52s
Null Byte Array Domain coverage #271: Pull request #1076 synchronize by nathanschmidt
July 28, 2023 12:15 19m 34s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
July 28, 2023 12:15 19m 34s
Warn for {d,r}eallocation of non-dynamically allocated memory coverage #270: Pull request #1099 synchronize by mrstanb
July 28, 2023 11:59 12m 36s mrstanb:handle-free-of-stack-mem
mrstanb:handle-free-of-stack-mem
July 28, 2023 11:59 12m 36s
coverage coverage #269: Scheduled
July 28, 2023 02:19 20m 59s master
master
July 28, 2023 02:19 20m 59s
coverage coverage #268: Scheduled
July 27, 2023 02:10 32m 51s master
master
July 27, 2023 02:10 32m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-07-27 or the other filters available.