Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
428 workflow run results
428 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #1108: Scheduled
January 14, 2024 02:20 13m 16s master
master
January 14, 2024 02:20 13m 16s
Add CIL's ptranal for EvalFunvar queries coverage #1107: Pull request #1063 synchronize by michael-schwarz
January 13, 2024 17:14 11m 28s evalfun-ptranal
evalfun-ptranal
January 13, 2024 17:14 11m 28s
coverage coverage #1106: Scheduled
January 13, 2024 02:10 18m 15s master
master
January 13, 2024 02:10 18m 15s
affeq: Fix array OOB in invariant coverage #1105: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 11m 8s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 11m 8s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled coverage #1104: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 11m 9s alloca
alloca
January 12, 2024 14:37 11m 9s
Support for inline assembler & goto instructions in inline assembler coverage #1103: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 7m 48s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 7m 48s
affeq: Fix array OOB in invariant coverage #1102: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 13:14 11m 35s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 11m 35s
Support for inline assembler & goto instructions in inline assembler coverage #1101: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 12:47 5m 29s N0W0RK:master
N0W0RK:master
January 12, 2024 12:47 5m 29s
affeq: Fix array OOB in invariant coverage #1099: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 11:53 11m 0s affeq_witnesses
affeq_witnesses
January 12, 2024 11:53 11m 0s
Linear Two-Variable Equalities Analysis coverage #1096: Pull request #1297 synchronize by reb-ddm
January 12, 2024 10:05 11m 2s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 12, 2024 10:05 11m 2s
Linear Two-Variable Equalities Analysis coverage #1095: Pull request #1297 synchronize by reb-ddm
January 12, 2024 09:59 11m 37s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 12, 2024 09:59 11m 37s
affeq: Fix array OOB in invariant coverage #1094: Pull request #1327 opened by michael-schwarz
January 12, 2024 09:40 10m 50s affeq_witnesses
affeq_witnesses
January 12, 2024 09:40 10m 50s
Bump jinja2 from 3.0.3 to 3.1.3 in /docs coverage #1093: Pull request #1325 synchronize by sim642
January 12, 2024 09:16 11m 46s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 12, 2024 09:16 11m 46s
coverage coverage #1092: Scheduled
January 12, 2024 02:16 15m 16s master
master
January 12, 2024 02:16 15m 16s
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
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
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
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
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
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
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
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
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
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
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
threadEscape-combine_assign
January 11, 2024 10:38 11m 14s