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

Bump jinja2 from 3.0.3 to 3.1.3 in /docs
coverage #1091: Pull request #1325 opened by dependabot bot
January 11, 2024 19:19 11m 5s dependabot/pip/docs/jinja2-3.1.3
January 11, 2024 19:19 11m 5s
Linear Two-Variable Equalities Analysis
coverage #1090: Pull request #1297 synchronize by jennieliangga
January 11, 2024 19:00 11m 27s reb-ddm:linear-two-var-equality
January 11, 2024 19:00 11m 27s
Unbox some types
coverage #1089: Pull request #1310 synchronize by sim642
January 11, 2024 15:33 10m 55s unboxed
January 11, 2024 15:33 10m 55s
Linear Two-Variable Equalities Analysis
coverage #1088: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 11m 30s reb-ddm:linear-two-var-equality
January 11, 2024 15:17 11m 30s
Add some hacky atomic privatizations
coverage #1087: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 11m 20s priv-atomic
January 11, 2024 15:04 11m 20s
Implement combine_assign in threadEscape
coverage #1086: Pull request #1323 synchronize by karoliineh
January 11, 2024 11:51 11m 0s threadEscape-combine_assign
January 11, 2024 11:51 11m 0s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled
coverage #1085: Pull request #1324 opened by karoliineh
January 11, 2024 11:02 10m 57s alloca
January 11, 2024 11:02 10m 57s
Replace direct stdout printing with logging
coverage #1084: Pull request #1117 synchronize by sim642
January 11, 2024 10:47 12m 43s logs
January 11, 2024 10:47 12m 43s
Implement combine_assign in threadEscape
coverage #1083: Pull request #1323 synchronize by karoliineh
January 11, 2024 10:44 13m 21s threadEscape-combine_assign
January 11, 2024 10:44 13m 21s
Replace direct stdout printing with logging
coverage #1082: Pull request #1117 synchronize by sim642
January 11, 2024 10:39 10m 59s logs
January 11, 2024 10:39 10m 59s
Implement combine_assign in threadEscape
coverage #1081: Pull request #1323 opened by karoliineh
January 11, 2024 10:38 11m 14s threadEscape-combine_assign
January 11, 2024 10:38 11m 14s
Replace direct stdout printing with logging
coverage #1080: Pull request #1117 synchronize by sim642
January 11, 2024 10:13 11m 41s logs
January 11, 2024 10:13 11m 41s
Replace direct stdout printing with logging
coverage #1079: Pull request #1117 synchronize by sim642
January 11, 2024 10:06 10m 32s logs
January 11, 2024 10:06 10m 32s
Replace direct stdout printing with logging
coverage #1078: Pull request #1117 synchronize by sim642
January 11, 2024 09:14 11m 12s logs
January 11, 2024 09:14 11m 12s
coverage
coverage #1077: Scheduled
January 11, 2024 02:13 16m 1s master
January 11, 2024 02:13 16m 1s
Add Zulip badge and acknowledgement
coverage #1076: Pull request #1320 opened by vesalvojdani
January 10, 2024 16:55 11m 8s ack-zulip
January 10, 2024 16:55 11m 8s
Replace direct stdout printing with logging
coverage #1075: Pull request #1117 synchronize by sim642
January 10, 2024 15:58 9m 49s logs
January 10, 2024 15:58 9m 49s
Replace direct stdout printing with logging
coverage #1074: Pull request #1117 synchronize by sim642
January 10, 2024 14:33 9m 32s logs
January 10, 2024 14:33 9m 32s
Add Karoliine as a maintainer to relevant files
coverage #1073: Pull request #1316 opened by karoliineh
January 10, 2024 09:53 10m 44s issue-1315
January 10, 2024 09:53 10m 44s
coverage
coverage #1072: Scheduled
January 10, 2024 02:15 15m 2s master
January 10, 2024 02:15 15m 2s
Linear Two-Variable Equalities Analysis
coverage #1071: Pull request #1297 synchronize by reb-ddm
January 9, 2024 19:45 11m 11s reb-ddm:linear-two-var-equality
January 9, 2024 19:45 11m 11s
Some Refactoring of Affeq & Printing Bug
coverage #1070: Pull request #1309 synchronize by michael-schwarz
January 9, 2024 17:38 10m 58s refactor_affeq
January 9, 2024 17:38 10m 58s
Linear Two-Variable Equalities Analysis
coverage #1069: Pull request #1297 synchronize by reb-ddm
January 9, 2024 12:59 11m 24s reb-ddm:linear-two-var-equality
January 9, 2024 12:59 11m 24s
Remove duplicate ctx-derived arguments in base analysis
coverage #1068: Pull request #1308 synchronize by karoliineh
January 9, 2024 11:53 10m 53s issue-1266
January 9, 2024 11:53 10m 53s
Klever concurrency safety support
coverage #1067: Pull request #688 synchronize by sim642
January 9, 2024 10:13 10m 44s klever
January 9, 2024 10:13 10m 44s