Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,960 workflow run results
2,960 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve multi-threaded valid-memcleanup semgrep #8293: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:36 43s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 43s
Improve multi-threaded valid-memcleanup options #6623: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:36 21s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 21s
Improve multi-threaded valid-memcleanup coverage #790: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:36 14m 45s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 14m 45s
Improve multi-threaded valid-memcleanup indentation #8604: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:36 4m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 4m 58s
Account for allocated heap memory which is unreachable from globals indentation #8603: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:33 4m 58s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:33 4m 58s
Account for allocated heap memory which is unreachable from globals coverage #789: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:33 14m 31s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:33 14m 31s
Account for allocated heap memory which is unreachable from globals locked #8947: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:33 37m 15s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:33 37m 15s
Account for allocated heap memory which is unreachable from globals semgrep #8292: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:33 39s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:33 39s
Account for allocated heap memory which is unreachable from globals options #6622: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:33 19s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:33 19s
Improve multi-threaded valid-memcleanup options #6621: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:32 23s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:32 23s
Improve multi-threaded valid-memcleanup indentation #8602: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:32 5m 2s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:32 5m 2s
Improve multi-threaded valid-memcleanup coverage #788: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:32 21m 49s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:32 21m 49s
Improve multi-threaded valid-memcleanup locked #8946: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:32 33m 34s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:32 33m 34s
Improve multi-threaded valid-memcleanup semgrep #8291: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:32 35s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:32 35s
Add tmpSpecial to analyses, termination to aututoner. options #6620: Commit 67e311c pushed by jerhard
November 19, 2023 16:18 20s benchmark_sv_comp
benchmark_sv_comp
November 19, 2023 16:18 20s
Add tmpSpecial to analyses, termination to aututoner. indentation #8601: Commit 67e311c pushed by jerhard
November 19, 2023 16:18 2s benchmark_sv_comp
benchmark_sv_comp
November 19, 2023 16:18 2s
Add tmpSpecial to analyses, termination to aututoner. locked #8945: Commit 67e311c pushed by jerhard
November 19, 2023 16:18 11m 31s benchmark_sv_comp
benchmark_sv_comp
November 19, 2023 16:18 11m 31s
Add tmpSpecial to analyses, termination to aututoner. semgrep #8290: Commit 67e311c pushed by jerhard
November 19, 2023 16:18 50s benchmark_sv_comp
benchmark_sv_comp
November 19, 2023 16:18 50s
Autotune termination spec before preprocessing, but not others. options #6619: Pull request #1255 synchronize by jerhard
November 19, 2023 15:58 25s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 25s
Autotune termination spec before preprocessing, but not others. semgrep #8289: Pull request #1255 synchronize by jerhard
November 19, 2023 15:58 38s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 38s
Autotune termination spec before preprocessing, but not others. indentation #8600: Pull request #1255 synchronize by jerhard
November 19, 2023 15:58 5m 0s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 5m 0s
Autotune termination spec before preprocessing, but not others. locked #8944: Pull request #1255 synchronize by jerhard
November 19, 2023 15:58 31m 3s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 31m 3s
Autotune termination spec before preprocessing, but not others. coverage #787: Pull request #1255 synchronize by jerhard
November 19, 2023 15:58 20m 15s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 20m 15s
Use autotune.activated termination as separate switch whether termina… options #6618: Commit 9d8629d pushed by jerhard
November 19, 2023 15:58 18s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 18s
Use autotune.activated termination as separate switch whether termina… semgrep #8288: Commit 9d8629d pushed by jerhard
November 19, 2023 15:58 41s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 41s