Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
568 workflow run results
568 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some library functions from SV-COMP options #6508: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:18 28s issue_1239
issue_1239
November 9, 2023 09:18 28s
Move fread_unlocked to glibc options #6507: Commit 39a9427 pushed by michael-schwarz
November 9, 2023 09:18 24s issue_1239
issue_1239
November 9, 2023 09:18 24s
Add some library functions from SV-COMP options #6506: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:16 20s issue_1239
issue_1239
November 9, 2023 09:16 20s
Move _exit back options #6505: Commit dd3de9e pushed by michael-schwarz
November 9, 2023 09:16 28s issue_1239
issue_1239
November 9, 2023 09:16 28s
Account for allocated heap memory which is unreachable from globals options #6504: Pull request #1241 synchronize by mrstanb
November 8, 2023 21:52 24s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 21:52 24s
Account for allocated heap memory which is unreachable from globals options #6503: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:53 24s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:53 24s
Account for allocated heap memory which is unreachable from globals options #6502: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:52 16s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:52 16s
Account for allocated heap memory which is unreachable from globals options #6501: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:51 23s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:51 23s
Add some library functions from SV-COMP options #6500: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:15 14s issue_1239
issue_1239
November 8, 2023 13:15 14s
Move _exit to C, as C usually takes precedence over posix for us options #6499: Commit c4353f9 pushed by michael-schwarz
November 8, 2023 13:15 21s issue_1239
issue_1239
November 8, 2023 13:15 21s
Add some library functions from SV-COMP options #6498: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:12 29s issue_1239
issue_1239
November 8, 2023 13:12 29s
__assert options #6497: Commit 2fc6220 pushed by michael-schwarz
November 8, 2023 13:12 20s issue_1239
issue_1239
November 8, 2023 13:12 20s
Add some library functions from SV-COMP options #6496: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:01 23s issue_1239
issue_1239
November 8, 2023 13:01 23s
_Exit / _exit options #6495: Commit b3ef062 pushed by michael-schwarz
November 8, 2023 13:01 22s issue_1239
issue_1239
November 8, 2023 13:01 22s
Add some library functions from SV-COMP options #6494: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 11:41 22s issue_1239
issue_1239
November 8, 2023 11:41 22s
Fix typo options #6493: Commit 8972bd8 pushed by michael-schwarz
November 8, 2023 11:41 21s issue_1239
issue_1239
November 8, 2023 11:41 21s
Add some library functions from SV-COMP options #6492: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 10:42 24s issue_1239
issue_1239
November 8, 2023 10:42 24s
Add __fread_unlocked_* options #6491: Commit 24aca67 pushed by michael-schwarz
November 8, 2023 10:42 23s issue_1239
issue_1239
November 8, 2023 10:42 23s
Add some library functions from SV-COMP options #6490: Pull request #1242 opened by michael-schwarz
November 8, 2023 10:22 28s issue_1239
issue_1239
November 8, 2023 10:22 28s
Add __builtin_strlen options #6489: Commit 67c8d9b pushed by michael-schwarz
November 8, 2023 10:20 26s issue_1239
issue_1239
November 8, 2023 10:20 26s
Account for allocated heap memory which is unreachable from globals options #6488: Pull request #1241 opened by mrstanb
November 7, 2023 20:55 19s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 7, 2023 20:55 19s
Add support for YAML witness entry type invariant_set options #6487: Pull request #1240 opened by sim642
November 7, 2023 13:24 22s yaml-witness-2.0
yaml-witness-2.0
November 7, 2023 13:24 22s
Fix YAML invariant_set parsing options #6486: Commit ca84014 pushed by sim642
November 7, 2023 13:20 23s yaml-witness-2.0
yaml-witness-2.0
November 7, 2023 13:20 23s
Experiment with path- and context-sensitivity for memLeak analysis options #6485: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 15:44 27s path_sens_memleak
path_sens_memleak
November 6, 2023 15:44 27s
Merge branch 'master' into path_sens_memleak options #6484: Commit 90e8b31 pushed by michael-schwarz
November 6, 2023 15:44 16s path_sens_memleak
path_sens_memleak
November 6, 2023 15:44 16s