Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
427 workflow run results
427 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned indentation #8695: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 3m 22s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 3m 22s
Revert spurious changes to base.ml indentation #8694: Commit 8ae1172 pushed by michael-schwarz
November 22, 2023 10:53 3m 7s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 3m 7s
Account for allocated heap memory which is unreachable from globals indentation #8693: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 2m 52s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 2m 52s
Merge pull request #1262 from goblint/issue_1259 indentation #8692: Commit 46e56bd pushed by michael-schwarz
November 22, 2023 10:30 2m 51s master
master
November 22, 2023 10:30 2m 51s
Improve multi-threaded valid-memcleanup indentation #8691: Pull request #1246 synchronize by jerhard
November 22, 2023 10:27 3m 2s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 3m 2s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned indentation #8690: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:22 2m 52s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 2m 52s
Move AfterConfig.run to after the autotuner indentation #8689: Commit c5cda33 pushed by michael-schwarz
November 22, 2023 10:22 3m 32s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 3m 32s
Improve multi-threaded valid-memcleanup indentation #8688: Pull request #1246 synchronize by jerhard
November 22, 2023 10:13 2m 59s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 2m 59s
Improve multi-threaded valid-memcleanup indentation #8687: Pull request #1246 synchronize by jerhard
November 22, 2023 10:04 3m 3s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:04 3m 3s
Improve multi-threaded valid-memcleanup indentation #8686: Pull request #1246 synchronize by jerhard
November 22, 2023 10:02 3m 1s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:02 3m 1s
Improve multi-threaded valid-memcleanup indentation #8685: Pull request #1246 synchronize by jerhard
November 22, 2023 09:53 3m 16s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 09:53 3m 16s
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