Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
650 workflow run results
650 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve multi-threaded valid-memcleanup locked #8958: Pull request #1246 synchronize by mrstanb
November 19, 2023 18:46 30m 16s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:46 30m 16s
Be more precise for << of Intervals locked #8957: Pull request #1252 synchronize by michael-schwarz
November 19, 2023 18:28 37m 42s issue_1250
issue_1250
November 19, 2023 18:28 37m 42s
<< Fix wrong order of minimal/maximal locked #8956: Commit f6cef72 pushed by michael-schwarz
November 19, 2023 18:28 33m 23s issue_1250
issue_1250
November 19, 2023 18:28 33m 23s
Improve multi-threaded valid-memcleanup locked #8955: Pull request #1246 synchronize by mrstanb
November 19, 2023 18:26 27m 36s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:26 27m 36s
Improve multi-threaded valid-memcleanup locked #8954: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 18:02 40m 39s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:02 40m 39s
Improve multi-threaded valid-memcleanup locked #8953: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:49 32m 10s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 32m 10s
Improve multi-threaded valid-memcleanup locked #8952: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 38m 54s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 38m 54s
Merge pull request #1255 from goblint/autotune_termination_spec locked #8951: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 37m 39s master
master
November 19, 2023 17:01 37m 39s
Improve multi-threaded valid-memcleanup locked #8950: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 24m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 24m 58s
Account for allocated heap memory which is unreachable from globals locked #8949: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 32m 11s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 32m 11s
Improve multi-threaded valid-memcleanup locked #8948: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:36 23m 51s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 23m 51s
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
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
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
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
Use autotune.activated termination as separate switch whether termina… locked #8943: Commit 9d8629d pushed by jerhard
November 19, 2023 15:58 25m 15s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 25m 15s
Autotune termination spec before preprocessing, but not others. locked #8942: Pull request #1255 opened by jerhard
November 19, 2023 15:49 29m 54s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:49 29m 54s
Autotune termination spec before preprocessing, but not others. locked #8941: Commit 0652213 pushed by jerhard
November 19, 2023 15:47 33m 51s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:47 33m 51s
unlocked: Only test termination in config with Apron (References #1093) locked #8940: Commit 116916a pushed by michael-schwarz
November 19, 2023 15:14 6h 0m 12s master
master
November 19, 2023 15:14 6h 0m 12s
locked locked #8939: Scheduled
November 19, 2023 02:09 1h 34m 26s master
master
November 19, 2023 02:09 1h 34m 26s
Avoid creating unneeded Task module which may not be set in `is_error… locked #8938: Commit 1f4d8be pushed by michael-schwarz
November 19, 2023 00:30 32m 36s master
master
November 19, 2023 00:30 32m 36s
Account for allocated heap memory which is unreachable from globals locked #8937: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:27 27m 0s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 27m 0s
Account for allocated heap memory which is unreachable from globals locked #8936: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:23 31m 17s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 31m 17s
Improve multi-threaded valid-memcleanup locked #8935: Pull request #1246 synchronize by mrstanb
November 18, 2023 13:38 37m 34s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 37m 34s
Handle sqrt & Some Bodged Solution for computing through abs locked #8934: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 53m 31s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 53m 31s