Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
336 workflow run results
336 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 indentation #8484: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:53 5m 52s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:53 5m 52s
Account for allocated heap memory which is unreachable from globals indentation #8483: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:52 5m 18s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:52 5m 18s
Account for allocated heap memory which is unreachable from globals indentation #8482: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:51 5m 2s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:51 5m 2s
Add some library functions from SV-COMP indentation #8481: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:15 5m 57s issue_1239
issue_1239
November 8, 2023 13:15 5m 57s
Move _exit to C, as C usually takes precedence over posix for us indentation #8480: Commit c4353f9 pushed by michael-schwarz
November 8, 2023 13:15 5m 16s issue_1239
issue_1239
November 8, 2023 13:15 5m 16s
Add some library functions from SV-COMP indentation #8479: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:12 6m 29s issue_1239
issue_1239
November 8, 2023 13:12 6m 29s
__assert indentation #8478: Commit 2fc6220 pushed by michael-schwarz
November 8, 2023 13:12 5m 41s issue_1239
issue_1239
November 8, 2023 13:12 5m 41s
Add some library functions from SV-COMP indentation #8477: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:01 5m 53s issue_1239
issue_1239
November 8, 2023 13:01 5m 53s
_Exit / _exit indentation #8476: Commit b3ef062 pushed by michael-schwarz
November 8, 2023 13:01 6m 52s issue_1239
issue_1239
November 8, 2023 13:01 6m 52s
Add some library functions from SV-COMP indentation #8475: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 11:41 6m 14s issue_1239
issue_1239
November 8, 2023 11:41 6m 14s
Fix typo indentation #8474: Commit 8972bd8 pushed by michael-schwarz
November 8, 2023 11:41 6m 35s issue_1239
issue_1239
November 8, 2023 11:41 6m 35s
Add some library functions from SV-COMP indentation #8473: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 10:42 5m 58s issue_1239
issue_1239
November 8, 2023 10:42 5m 58s
Add __fread_unlocked_* indentation #8472: Commit 24aca67 pushed by michael-schwarz
November 8, 2023 10:42 5m 10s issue_1239
issue_1239
November 8, 2023 10:42 5m 10s
Add some library functions from SV-COMP indentation #8471: Pull request #1242 opened by michael-schwarz
November 8, 2023 10:22 2s issue_1239
issue_1239
November 8, 2023 10:22 2s
Add __builtin_strlen indentation #8470: Commit 67c8d9b pushed by michael-schwarz
November 8, 2023 10:20 3s issue_1239
issue_1239
November 8, 2023 10:20 3s
Account for allocated heap memory which is unreachable from globals indentation #8469: Pull request #1241 opened by mrstanb
November 7, 2023 20:55 3s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 7, 2023 20:55 3s
Add support for YAML witness entry type invariant_set indentation #8468: Pull request #1240 opened by sim642
November 7, 2023 13:24 3s yaml-witness-2.0
yaml-witness-2.0
November 7, 2023 13:24 3s
Fix YAML invariant_set parsing indentation #8467: Commit ca84014 pushed by sim642
November 7, 2023 13:20 3s yaml-witness-2.0
yaml-witness-2.0
November 7, 2023 13:20 3s
Experiment with path- and context-sensitivity for memLeak analysis indentation #8466: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 15:44 5m 58s path_sens_memleak
path_sens_memleak
November 6, 2023 15:44 5m 58s
Merge branch 'master' into path_sens_memleak indentation #8465: Commit 90e8b31 pushed by michael-schwarz
November 6, 2023 15:44 5m 52s path_sens_memleak
path_sens_memleak
November 6, 2023 15:44 5m 52s
Merge pull request #1236 from goblint/issue-1235 indentation #8464: Commit 3fd60ec pushed by sim642
November 6, 2023 15:10 6m 26s master
master
November 6, 2023 15:10 6m 26s
Experiment with path- and context-sensitivity for memLeak analysis indentation #8463: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 13:35 5m 7s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 5m 7s
Merge branch 'issue-1235' into path_sens_memleak indentation #8462: Commit 773f156 pushed by michael-schwarz
November 6, 2023 13:35 5m 22s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 5m 22s
Use inlined ARG edges for unambiguous stacked ARG function return indentation #8461: Pull request #1236 opened by sim642
November 6, 2023 12:48 2s issue-1235
issue-1235
November 6, 2023 12:48 2s
Fix 56-witness/53-witness-lifter-ps3 indentation #8460: Commit cb32b12 pushed by sim642
November 6, 2023 12:44 2s issue-1235
issue-1235
November 6, 2023 12:44 2s
ProTip! You can narrow down the results and go further in time using created:<2023-11-06 or the other filters available.