Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
637 workflow run results
637 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some library functions from SV-COMP locked #8808: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 11:41 31m 51s issue_1239
issue_1239
November 8, 2023 11:41 31m 51s
Fix typo locked #8807: Commit 8972bd8 pushed by michael-schwarz
November 8, 2023 11:41 30m 24s issue_1239
issue_1239
November 8, 2023 11:41 30m 24s
Add some library functions from SV-COMP locked #8806: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 10:42 34m 30s issue_1239
issue_1239
November 8, 2023 10:42 34m 30s
Add __fread_unlocked_* locked #8805: Commit 24aca67 pushed by michael-schwarz
November 8, 2023 10:42 27m 23s issue_1239
issue_1239
November 8, 2023 10:42 27m 23s
Add some library functions from SV-COMP locked #8804: Pull request #1242 opened by michael-schwarz
November 8, 2023 10:22 35m 2s issue_1239
issue_1239
November 8, 2023 10:22 35m 2s
Add __builtin_strlen locked #8803: Commit 67c8d9b pushed by michael-schwarz
November 8, 2023 10:20 35m 54s issue_1239
issue_1239
November 8, 2023 10:20 35m 54s
locked locked #8802: Scheduled
November 8, 2023 02:02 2h 18m 19s master
master
November 8, 2023 02:02 2h 18m 19s
Account for allocated heap memory which is unreachable from globals locked #8801: Pull request #1241 opened by mrstanb
November 7, 2023 20:55 28m 39s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 7, 2023 20:55 28m 39s
Add support for YAML witness entry type invariant_set locked #8800: Pull request #1240 opened by sim642
November 7, 2023 13:24 26m 21s yaml-witness-2.0
yaml-witness-2.0
November 7, 2023 13:24 26m 21s
Fix YAML invariant_set parsing locked #8799: Commit ca84014 pushed by sim642
November 7, 2023 13:20 17m 41s yaml-witness-2.0
yaml-witness-2.0
November 7, 2023 13:20 17m 41s
locked locked #8798: Scheduled
November 7, 2023 02:03 2h 2m 41s master
master
November 7, 2023 02:03 2h 2m 41s
Experiment with path- and context-sensitivity for memLeak analysis locked #8797: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 15:44 37m 28s path_sens_memleak
path_sens_memleak
November 6, 2023 15:44 37m 28s
Merge branch 'master' into path_sens_memleak locked #8796: Commit 90e8b31 pushed by michael-schwarz
November 6, 2023 15:44 27m 0s path_sens_memleak
path_sens_memleak
November 6, 2023 15:44 27m 0s
Merge pull request #1236 from goblint/issue-1235 locked #8795: Commit 3fd60ec pushed by sim642
November 6, 2023 15:10 31m 34s master
master
November 6, 2023 15:10 31m 34s
Experiment with path- and context-sensitivity for memLeak analysis locked #8794: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 13:35 32m 0s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 32m 0s
Merge branch 'issue-1235' into path_sens_memleak locked #8793: Commit 773f156 pushed by michael-schwarz
November 6, 2023 13:35 29m 10s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 29m 10s
Use inlined ARG edges for unambiguous stacked ARG function return locked #8792: Pull request #1236 opened by sim642
November 6, 2023 12:48 34m 36s issue-1235
issue-1235
November 6, 2023 12:48 34m 36s
Fix 56-witness/53-witness-lifter-ps3 locked #8791: Commit cb32b12 pushed by sim642
November 6, 2023 12:44 34m 55s issue-1235
issue-1235
November 6, 2023 12:44 34m 55s
Fix widened CPA join losing widened variables locked #8790: Commit 820f1e5 pushed by sim642
November 6, 2023 11:46 26m 46s witness-widen
witness-widen
November 6, 2023 11:46 26m 46s
locked locked #8789: Scheduled
November 6, 2023 02:05 2h 4m 49s master
master
November 6, 2023 02:05 2h 4m 49s
locked locked #8788: Scheduled
November 5, 2023 02:05 1h 58m 27s master
master
November 5, 2023 02:05 1h 58m 27s
locked locked #8787: Scheduled
November 4, 2023 02:00 2h 0m 12s master
master
November 4, 2023 02:00 2h 0m 12s
Experiment with path- and context-sensitivity for memLeak analysis locked #8786: Pull request #1234 synchronize by michael-schwarz
November 3, 2023 13:05 27m 59s path_sens_memleak
path_sens_memleak
November 3, 2023 13:05 27m 59s
Set unique address count to 5 locked #8785: Commit 27cf7f5 pushed by michael-schwarz
November 3, 2023 13:05 31m 6s path_sens_memleak
path_sens_memleak
November 3, 2023 13:05 31m 6s
Experiment with path- and context-sensitivity for memLeak analysis locked #8784: Pull request #1234 opened by michael-schwarz
November 3, 2023 12:21 37m 5s path_sens_memleak
path_sens_memleak
November 3, 2023 12:21 37m 5s