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

Improve multi-threaded valid-memcleanup indentation #8609: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:49 3m 12s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 3m 12s
Improve multi-threaded valid-memcleanup indentation #8608: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 4m 59s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 4m 59s
Merge pull request #1255 from goblint/autotune_termination_spec indentation #8607: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 4m 56s master
master
November 19, 2023 17:01 4m 56s
Improve multi-threaded valid-memcleanup indentation #8606: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 6m 21s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 6m 21s
Account for allocated heap memory which is unreachable from globals indentation #8605: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 5m 17s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 5m 17s
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
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
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
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
Use autotune.activated termination as separate switch whether termina… indentation #8599: Commit 9d8629d pushed by jerhard
November 19, 2023 15:58 4m 58s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 4m 58s
Autotune termination spec before preprocessing, but not others. indentation #8598: Pull request #1255 opened by jerhard
November 19, 2023 15:49 2s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:49 2s
Autotune termination spec before preprocessing, but not others. indentation #8597: Commit 0652213 pushed by jerhard
November 19, 2023 15:47 2s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:47 2s
unlocked: Only test termination in config with Apron (References #1093) indentation #8596: Commit 116916a pushed by michael-schwarz
November 19, 2023 15:14 5m 1s master
master
November 19, 2023 15:14 5m 1s
Avoid creating unneeded Task module which may not be set in `is_error… indentation #8595: Commit 1f4d8be pushed by michael-schwarz
November 19, 2023 00:30 5m 16s master
master
November 19, 2023 00:30 5m 16s
Account for allocated heap memory which is unreachable from globals indentation #8594: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:27 5m 10s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 5m 10s
Account for allocated heap memory which is unreachable from globals indentation #8593: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:23 5m 12s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 5m 12s
Improve multi-threaded valid-memcleanup indentation #8592: Pull request #1246 synchronize by mrstanb
November 18, 2023 13:38 5m 2s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 5m 2s
Handle sqrt & Some Bodged Solution for computing through abs indentation #8591: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 6m 53s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 6m 53s
39/07: Add NOWARN annotation indentation #8590: Commit 8ea9ffa pushed by michael-schwarz
November 18, 2023 11:51 5m 46s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 5m 46s
Handle sqrt & Some Bodged Solution for computing through abs indentation #8589: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 5m 15s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 5m 15s
Handle <= as well indentation #8588: Commit ba6726a pushed by michael-schwarz
November 18, 2023 11:51 4m 59s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 4m 59s
Handle sqrt & Some Bodged Solution for computing through abs indentation #8587: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:41 4m 59s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:41 4m 59s
Make bodge a bit nicer indentation #8586: Commit 6895ac0 pushed by michael-schwarz
November 18, 2023 11:41 5m 17s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:41 5m 17s
Handle sqrt & Some Bodged Solution for computing through abs indentation #8585: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:28 5m 8s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:28 5m 8s