Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,406 workflow run results
3,406 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Account for allocated heap memory which is unreachable from globals coverage #840: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 13m 38s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 13m 38s
Account for allocated heap memory which is unreachable from globals semgrep #8382: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 40s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 40s
Merge pull request #1262 from goblint/issue_1259 locked #9039: Commit 46e56bd pushed by michael-schwarz
November 22, 2023 10:30 28m 48s master
master
November 22, 2023 10:30 28m 48s
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
Merge pull request #1262 from goblint/issue_1259 options #6711: Commit 46e56bd pushed by michael-schwarz
November 22, 2023 10:30 19s master
master
November 22, 2023 10:30 19s
Merge pull request #1262 from goblint/issue_1259 semgrep #8381: Commit 46e56bd pushed by michael-schwarz
November 22, 2023 10:30 40s master
master
November 22, 2023 10:30 40s
Merge pull request #1262 from goblint/issue_1259 docs #181: Commit 46e56bd pushed by michael-schwarz
November 22, 2023 10:30 5m 26s master
master
November 22, 2023 10:30 5m 26s
Improve multi-threaded valid-memcleanup locked #9038: Pull request #1246 synchronize by jerhard
November 22, 2023 10:27 31m 35s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 31m 35s
Improve multi-threaded valid-memcleanup options #6710: Pull request #1246 synchronize by jerhard
November 22, 2023 10:27 16s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 16s
Improve multi-threaded valid-memcleanup coverage #839: Pull request #1246 synchronize by jerhard
November 22, 2023 10:27 20m 26s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 20m 26s
Improve multi-threaded valid-memcleanup semgrep #8380: Pull request #1246 synchronize by jerhard
November 22, 2023 10:27 51s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 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 options #6709: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:22 23s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 23s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned locked #9037: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:22 33m 0s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 33m 0s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #838: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:22 13m 42s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 13m 42s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned semgrep #8379: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:22 39s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 39s
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 locked #9036: Commit c5cda33 pushed by michael-schwarz
November 22, 2023 10:22 31m 49s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 31m 49s
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
Move AfterConfig.run to after the autotuner options #6708: Commit c5cda33 pushed by michael-schwarz
November 22, 2023 10:22 24s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 24s
Move AfterConfig.run to after the autotuner semgrep #8378: Commit c5cda33 pushed by michael-schwarz
November 22, 2023 10:22 47s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 47s
Improve multi-threaded valid-memcleanup options #6707: Pull request #1246 synchronize by jerhard
November 22, 2023 10:13 17s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 17s
Improve multi-threaded valid-memcleanup semgrep #8377: Pull request #1246 synchronize by jerhard
November 22, 2023 10:13 44s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 44s
Improve multi-threaded valid-memcleanup locked #9035: Pull request #1246 synchronize by jerhard
November 22, 2023 10:13 31m 33s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 31m 33s
Improve multi-threaded valid-memcleanup coverage #837: Pull request #1246 synchronize by jerhard
November 22, 2023 10:13 12m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 12m 58s