Skip to content

Actions: goblint/analyzer

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
238 workflow run results
238 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
October 12, 2023 12:53 18m 21s
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
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
October 12, 2023 11:30 24m 41s
coverage
coverage #628: Scheduled
October 12, 2023 02:03 41m 35s 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
October 11, 2023 14:52 19m 16s
coverage
coverage #626: Scheduled
October 11, 2023 02:04 39m 24s 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
October 10, 2023 14:45 24m 49s
coverage
coverage #624: Scheduled
October 10, 2023 02:04 44m 34s 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
October 9, 2023 17:07 9m 21s
Organize some general modules into dune libraries
coverage #622: Pull request #1206 synchronize by sim642
October 9, 2023 13:13 23m 22s goblint-dune-libs
October 9, 2023 13:13 23m 22s
Check duplicate library functions
coverage #621: Pull request #1213 opened by sim642
October 9, 2023 13:04 24m 28s libfuns-duplicate
October 9, 2023 13:04 24m 28s
Add missing library functions for large Concrat benchmarks
coverage #620: Pull request #1212 opened by sim642
October 9, 2023 13:01 25m 45s libfuns-concrat
October 9, 2023 13:01 25m 45s
Fix longjmp crash on Uninitialized
coverage #619: Pull request #1210 opened by sim642
October 9, 2023 08:50 21m 30s longjmp-top
October 9, 2023 08:50 21m 30s
coverage
coverage #618: Scheduled
October 9, 2023 02:04 33m 24s master
October 9, 2023 02:04 33m 24s
coverage
coverage #617: Scheduled
October 8, 2023 02:07 42m 26s master
October 8, 2023 02:07 42m 26s
coverage
coverage #616: Scheduled
October 7, 2023 02:03 40m 18s master
October 7, 2023 02:03 40m 18s