Skip to content

Actions: goblint/analyzer

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
649 workflow run results
649 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Linear Two-Variable Equalities Analysis
coverage #1041: Pull request #1297 synchronize by reb-ddm
January 4, 2024 14:28 10m 32s reb-ddm:linear-two-var-equality
January 4, 2024 14:28 10m 32s
Linear Two-Variable Equalities Analysis
coverage #1040: Pull request #1297 synchronize by reb-ddm
January 4, 2024 14:21 10m 44s reb-ddm:linear-two-var-equality
January 4, 2024 14:21 10m 44s
Linear Two-Variable Equalities Analysis
coverage #1039: Pull request #1297 synchronize by reb-ddm
January 4, 2024 13:55 10m 48s reb-ddm:linear-two-var-equality
January 4, 2024 13:55 10m 48s
Linear Two-Variable Equalities Analysis
coverage #1038: Pull request #1297 synchronize by alina-weber
January 4, 2024 13:01 10m 41s reb-ddm:linear-two-var-equality
January 4, 2024 13:01 10m 41s
Linear Two-Variable Equalities Analysis
coverage #1036: Pull request #1297 synchronize by alina-weber
January 4, 2024 12:48 10m 47s reb-ddm:linear-two-var-equality
January 4, 2024 12:48 10m 47s
Linear Two-Variable Equalities Analysis
coverage #1035: Pull request #1297 synchronize by alina-weber
January 4, 2024 12:24 10m 57s reb-ddm:linear-two-var-equality
January 4, 2024 12:24 10m 57s
coverage
coverage #1033: Scheduled
January 4, 2024 02:09 18m 0s master
January 4, 2024 02:09 18m 0s
Linear Two-Variable Equalities Analysis
coverage #1032: Pull request #1297 synchronize by reb-ddm
January 3, 2024 18:06 12m 0s reb-ddm:linear-two-var-equality
January 3, 2024 18:06 12m 0s
Linear Two-Variable Equalities Analysis
coverage #1031: Pull request #1297 synchronize by reb-ddm
January 3, 2024 17:52 11m 14s reb-ddm:linear-two-var-equality
January 3, 2024 17:52 11m 14s
Linear Two-Variable Equalities Analysis
coverage #1030: Pull request #1297 synchronize by alina-weber
January 3, 2024 13:58 11m 8s reb-ddm:linear-two-var-equality
January 3, 2024 13:58 11m 8s
Linear Two-Variable Equalities Analysis
coverage #1026: Pull request #1297 synchronize by reb-ddm
January 3, 2024 11:50 10m 50s reb-ddm:linear-two-var-equality
January 3, 2024 11:50 10m 50s
coverage
coverage #1025: Scheduled
January 3, 2024 02:08 17m 42s master
January 3, 2024 02:08 17m 42s
Linear Two-Variable Equalities Analysis
coverage #1024: Pull request #1297 synchronize by alina-weber
January 2, 2024 17:31 10m 51s reb-ddm:linear-two-var-equality
January 2, 2024 17:31 10m 51s
coverage
coverage #1023: Scheduled
January 2, 2024 02:10 18m 51s master
January 2, 2024 02:10 18m 51s
coverage
coverage #1022: Scheduled
January 1, 2024 02:21 13m 6s master
January 1, 2024 02:21 13m 6s
coverage
coverage #1021: Scheduled
December 31, 2023 02:11 18m 40s master
December 31, 2023 02:11 18m 40s
coverage
coverage #1020: Scheduled
December 30, 2023 02:06 17m 51s master
December 30, 2023 02:06 17m 51s
Some Refactoring of Affeq & Printing Bug
coverage #1019: Pull request #1309 synchronize by michael-schwarz
December 29, 2023 09:03 10m 54s refactor_affeq
December 29, 2023 09:03 10m 54s
Organize constraint system and value domain modules into dune libraries
coverage #1018: Pull request #1313 synchronize by sim642
December 29, 2023 07:09 10m 48s goblint-dune-libs-3
December 29, 2023 07:09 10m 48s
coverage
coverage #1017: Scheduled
December 29, 2023 02:03 18m 33s master
December 29, 2023 02:03 18m 33s
Small output readability improvements
coverage #1016: Pull request #1312 synchronize by karoliineh
December 28, 2023 19:07 10m 50s issue-1192
December 28, 2023 19:07 10m 50s
Small output readability improvements
coverage #1015: Pull request #1312 synchronize by karoliineh
December 28, 2023 16:14 11m 2s issue-1192
December 28, 2023 16:14 11m 2s
Remove duplicate ctx-derived arguments in base analysis
coverage #1014: Pull request #1308 synchronize by karoliineh
December 28, 2023 15:28 10m 42s issue-1266
December 28, 2023 15:28 10m 42s
Small output readability improvements
coverage #1013: Pull request #1312 opened by karoliineh
December 28, 2023 14:24 10m 11s issue-1192
December 28, 2023 14:24 10m 11s
Remove OldDomainFacade
coverage #1012: Pull request #1311 opened by michael-schwarz
December 28, 2023 12:50 10m 40s rm_old_domain_facade
December 28, 2023 12:50 10m 40s