Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
335 workflow run results
335 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #647: Scheduled
October 18, 2023 02:05 36m 25s master
master
October 18, 2023 02:05 36m 25s
coverage coverage #646: Scheduled
October 17, 2023 02:05 36m 36s master
master
October 17, 2023 02:05 36m 36s
Fix longjmp crash on Uninitialized coverage #645: Pull request #1210 synchronize by sim642
October 16, 2023 14:37 19m 52s longjmp-top
longjmp-top
October 16, 2023 14:37 19m 52s
coverage coverage #644: Scheduled
October 16, 2023 02:06 44m 31s master
master
October 16, 2023 02:06 44m 31s
coverage coverage #643: Scheduled
October 15, 2023 02:07 31m 30s master
master
October 15, 2023 02:07 31m 30s
coverage coverage #642: Scheduled
October 14, 2023 02:02 38m 18s master
master
October 14, 2023 02:02 38m 18s
coverage coverage #641: Scheduled
October 13, 2023 02:07 40m 24s master
master
October 13, 2023 02:07 40m 24s
TUM Practical Course Summer 2023: Termination Analyses coverage #640: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 15:05 19m 58s serenita:master
serenita:master
October 12, 2023 15:05 19m 58s
TUM Practical Course Summer 2023: Termination Analyses coverage #639: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:55 19m 21s serenita:master
serenita:master
October 12, 2023 14:55 19m 21s
TUM Practical Course Summer 2023: Termination Analyses coverage #638: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:42 24m 4s serenita:master
serenita:master
October 12, 2023 14:42 24m 4s
TUM Practical Course Summer 2023: Termination Analyses coverage #637: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 14:39 22m 6s serenita:master
serenita:master
October 12, 2023 14:39 22m 6s
Add some hacky atomic privatizations coverage #636: Pull request #1216 opened by sim642
October 12, 2023 14:13 26m 25s priv-atomic
priv-atomic
October 12, 2023 14:13 26m 25s
TUM Practical Course Summer 2023: Termination Analyses coverage #635: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 13:42 20m 14s serenita:master
serenita:master
October 12, 2023 13:42 20m 14s
TUM Practical Course Summer 2023: Termination Analyses coverage #634: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 13:37 20m 24s serenita:master
serenita:master
October 12, 2023 13:37 20m 24s
TUM Practical Course Summer 2023: Termination Analyses coverage #633: Pull request #1093 synchronize by michael-schwarz
October 12, 2023 12:53 18m 21s serenita:master
serenita:master
October 12, 2023 12:53 18m 21s
SV-COMP "Memory Safety" benchmark additions coverage #632: Pull request #1201 synchronize by michael-schwarz
October 12, 2023 12:50 23m 43s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 12, 2023 12:50 23m 43s
SV-COMP "Memory Safety" benchmark additions coverage #631: Pull request #1201 synchronize by michael-schwarz
October 12, 2023 12:32 19m 38s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 12, 2023 12:32 19m 38s
Organize some general modules into dune libraries coverage #630: Pull request #1206 synchronize by sim642
October 12, 2023 12:18 19m 57s goblint-dune-libs
goblint-dune-libs
October 12, 2023 12:18 19m 57s
Improve GobView build coverage #629: Pull request #1215 opened by stilscher
October 12, 2023 11:30 24m 41s improve-gobview-build
improve-gobview-build
October 12, 2023 11:30 24m 41s
coverage coverage #628: Scheduled
October 12, 2023 02:03 41m 35s master
master
October 12, 2023 02:03 41m 35s
SV-COMP "Memory Safety" benchmark additions coverage #627: Pull request #1201 synchronize by mrstanb
October 11, 2023 14:52 19m 16s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 11, 2023 14:52 19m 16s
coverage coverage #626: Scheduled
October 11, 2023 02:04 39m 24s master
master
October 11, 2023 02:04 39m 24s
Add missing library functions for large Concrat benchmarks coverage #625: Pull request #1212 synchronize by sim642
October 10, 2023 14:45 24m 49s libfuns-concrat
libfuns-concrat
October 10, 2023 14:45 24m 49s
coverage coverage #624: Scheduled
October 10, 2023 02:04 44m 34s master
master
October 10, 2023 02:04 44m 34s
Null Byte Array Domain coverage #623: Pull request #1076 synchronize by nathanschmidt
October 9, 2023 17:07 9m 21s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
October 9, 2023 17:07 9m 21s