Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
180 workflow run results
180 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

_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
Merge pull request #1236 from goblint/issue-1235 options #6483: Commit 3fd60ec pushed by sim642
November 6, 2023 15:10 37s master
master
November 6, 2023 15:10 37s
Experiment with path- and context-sensitivity for memLeak analysis options #6482: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 13:35 20s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 20s
Merge branch 'issue-1235' into path_sens_memleak options #6481: Commit 773f156 pushed by michael-schwarz
November 6, 2023 13:35 27s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 27s
Use inlined ARG edges for unambiguous stacked ARG function return options #6480: Pull request #1236 opened by sim642
November 6, 2023 12:48 22s issue-1235
issue-1235
November 6, 2023 12:48 22s
Fix 56-witness/53-witness-lifter-ps3 options #6479: Commit cb32b12 pushed by sim642
November 6, 2023 12:44 22s issue-1235
issue-1235
November 6, 2023 12:44 22s
Fix widened CPA join losing widened variables options #6478: Commit 820f1e5 pushed by sim642
November 6, 2023 11:46 20s witness-widen
witness-widen
November 6, 2023 11:46 20s
Experiment with path- and context-sensitivity for memLeak analysis options #6477: Pull request #1234 synchronize by michael-schwarz
November 3, 2023 13:05 27s path_sens_memleak
path_sens_memleak
November 3, 2023 13:05 27s
Set unique address count to 5 options #6476: Commit 27cf7f5 pushed by michael-schwarz
November 3, 2023 13:05 25s path_sens_memleak
path_sens_memleak
November 3, 2023 13:05 25s
Experiment with path- and context-sensitivity for memLeak analysis options #6475: Pull request #1234 opened by michael-schwarz
November 3, 2023 12:21 33s path_sens_memleak
path_sens_memleak
November 3, 2023 12:21 33s
Make memLeak path- & ctx-sensitive options #6474: Commit 04516ad pushed by michael-schwarz
November 3, 2023 11:59 20s path_sens_memleak
path_sens_memleak
November 3, 2023 11:59 20s
Fix var_eq not limiting to queried lval invariants options #6473: Commit 9e26114 pushed by sim642
November 3, 2023 10:34 24s witness-widen
witness-widen
November 3, 2023 10:34 24s
Fix smtprc-tid unsoundness options #6472: Commit ec49852 pushed by sim642
November 3, 2023 09:45 25s pldi-bench
pldi-bench
November 3, 2023 09:45 25s
copy gobview distribution files to gobview_dist options #6471: Commit 1e7c6fe pushed by stilscher
November 2, 2023 15:56 24s improve-gobview-build
improve-gobview-build
November 2, 2023 15:56 24s