Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
364 workflow run results
364 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not invalidate special function lvals recursively indentation #8684: Pull request #1264 synchronize by karoliineh
November 22, 2023 09:31 3m 14s base-special-lval
base-special-lval
November 22, 2023 09:31 3m 14s
Fix indentation indentation #8683: Commit cb06f70 pushed by karoliineh
November 22, 2023 09:31 3m 15s base-special-lval
base-special-lval
November 22, 2023 09:31 3m 15s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned indentation #8682: Pull request #1265 opened by michael-schwarz
November 22, 2023 08:36 3s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 08:36 3s
Enable mutex-meet-tid for ValidDeref indentation #8681: Commit 17ebe80 pushed by michael-schwarz
November 22, 2023 08:29 3s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 08:29 3s
Do not invalidate special function lvals recursively indentation #8680: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 3m 2s base-special-lval
base-special-lval
November 21, 2023 20:15 3m 2s
Update cram tests indentation #8679: Commit 895bd9f pushed by karoliineh
November 21, 2023 20:15 3m 2s base-special-lval
base-special-lval
November 21, 2023 20:15 3m 2s
Account for allocated heap memory which is unreachable from globals indentation #8678: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 2m 57s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 2m 57s
Do not invalidate special function lvals recursively indentation #8677: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 2s base-special-lval
base-special-lval
November 21, 2023 20:01 2s
Special function lval not invalidated recursively indentation #8676: Commit 60923ea pushed by karoliineh
November 21, 2023 19:59 2s base-special-lval
base-special-lval
November 21, 2023 19:59 2s
Let tmpSpecial be activated on demand by autotuner. indentation #8675: Commit 3c37ca4 pushed by jerhard
November 21, 2023 19:46 2m 55s benchmark_sv_comp
benchmark_sv_comp
November 21, 2023 19:46 2m 55s
Rename testcases to deduplicate ids. indentation #8674: Commit 78d04fa pushed by jerhard
November 21, 2023 19:43 2m 58s benchmark_sv_comp
benchmark_sv_comp
November 21, 2023 19:43 2m 58s
Improve multi-threaded valid-memcleanup indentation #8673: Pull request #1246 synchronize by jerhard
November 21, 2023 19:31 3m 8s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 19:31 3m 8s
Fix BlobSize for calloc indentation #8672: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 17:01 3m 0s issue_1259
issue_1259
November 21, 2023 17:01 3m 0s
Add test indentation #8671: Commit d1d85b3 pushed by michael-schwarz
November 21, 2023 17:01 2m 54s issue_1259
issue_1259
November 21, 2023 17:01 2m 54s
Improve multi-threaded valid-memcleanup indentation #8670: Pull request #1246 synchronize by jerhard
November 21, 2023 16:57 3m 12s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:57 3m 12s
Improve multi-threaded valid-memcleanup indentation #8669: Pull request #1246 synchronize by jerhard
November 21, 2023 16:41 2m 59s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:41 2m 59s
Improve multi-threaded valid-memcleanup indentation #8668: Pull request #1246 synchronize by jerhard
November 21, 2023 16:19 3m 21s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:19 3m 21s
Fix BlobSize for calloc indentation #8667: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 15:30 3m 22s issue_1259
issue_1259
November 21, 2023 15:30 3m 22s
Merge branch 'master' into issue_1259 indentation #8666: Commit 8542481 pushed by michael-schwarz
November 21, 2023 15:30 2m 56s issue_1259
issue_1259
November 21, 2023 15:30 2m 56s
Adapt cram test from #1258 to #1252 indentation #8665: Commit 9c808c9 pushed by sim642
November 21, 2023 15:22 3m 10s master
master
November 21, 2023 15:22 3m 10s
Fix BlobSize for calloc indentation #8664: Pull request #1262 opened by michael-schwarz
November 21, 2023 15:12 4s issue_1259
issue_1259
November 21, 2023 15:12 4s
Fix BlobSize for calloc indentation #8663: Commit ed90e61 pushed by michael-schwarz
November 21, 2023 15:11 3s issue_1259
issue_1259
November 21, 2023 15:11 3s
Fix no-overflow cram test expected output indentation #8662: Pull request #1261 opened by jerhard
November 21, 2023 15:05 3s fix_no_ov_cram_test
fix_no_ov_cram_test
November 21, 2023 15:05 3s
Update no-overflow cram test. indentation #8661: Commit bc1a5f9 pushed by jerhard
November 21, 2023 15:01 3s fix_no_ov_cram_test
fix_no_ov_cram_test
November 21, 2023 15:01 3s
SV-COMP 2024 development indentation #8660: Pull request #1257 synchronize by sim642
November 21, 2023 14:17 3m 0s svcomp24-dev
svcomp24-dev
November 21, 2023 14:17 3m 0s