Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
205 workflow run results
205 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Make memLeak path- & ctx-sensitive locked #8783: Commit 04516ad pushed by michael-schwarz
November 3, 2023 11:59 27m 46s path_sens_memleak
path_sens_memleak
November 3, 2023 11:59 27m 46s
Fix var_eq not limiting to queried lval invariants locked #8782: Commit 9e26114 pushed by sim642
November 3, 2023 10:34 19m 16s witness-widen
witness-widen
November 3, 2023 10:34 19m 16s
Fix smtprc-tid unsoundness locked #8781: Commit ec49852 pushed by sim642
November 3, 2023 09:45 32m 11s pldi-bench
pldi-bench
November 3, 2023 09:45 32m 11s
locked locked #8780: Scheduled
November 3, 2023 02:02 1h 56m 35s master
master
November 3, 2023 02:02 1h 56m 35s
copy gobview distribution files to gobview_dist locked #8779: Commit 1e7c6fe pushed by stilscher
November 2, 2023 15:56 31m 0s improve-gobview-build
improve-gobview-build
November 2, 2023 15:56 31m 0s
copy gobview distribution files to gobview_dist locked #8778: Commit a883207 pushed by stilscher
November 2, 2023 15:54 35m 9s improve-gobview-build
improve-gobview-build
November 2, 2023 15:54 35m 9s
TUM Practical Course Summer 2023: Termination Analyses locked #8777: Pull request #1093 synchronize by michael-schwarz
November 2, 2023 15:20 33m 22s serenita:master
serenita:master
November 2, 2023 15:20 33m 22s
fix chromedriver version to avoid url not found error locked #8776: Commit 660a678 pushed by stilscher
November 2, 2023 13:57 25m 30s improve-gobview-build
improve-gobview-build
November 2, 2023 13:57 25m 30s
Fix both branches dead from bot address in array locked #8775: Pull request #1233 opened by sim642
November 2, 2023 10:46 31m 57s concrat-both-branches
concrat-both-branches
November 2, 2023 10:46 31m 57s
Fix both branches dead from bot address in array locked #8774: Commit 4ea0756 pushed by sim642
November 2, 2023 10:37 41m 54s concrat-both-branches
concrat-both-branches
November 2, 2023 10:37 41m 54s
Merge pull request #1187 from goblint/issue_843 locked #8773: Commit 5f4f94b pushed by michael-schwarz
November 2, 2023 09:08 39m 36s master
master
November 2, 2023 09:08 39m 36s
Merge pull request #1230 from goblint/issue_1223 locked #8772: Commit 808e91d pushed by michael-schwarz
November 2, 2023 09:05 25m 58s master
master
November 2, 2023 09:05 25m 58s
Refactor Access.may_race with match locked #8771: Commit c42ec6b pushed by sim642
November 2, 2023 09:03 26m 35s master
master
November 2, 2023 09:03 26m 35s
Merge pull request #1228 from goblint/sv-comp-multiproperty locked #8770: Commit 417d5d3 pushed by sim642
November 2, 2023 08:06 35m 7s master
master
November 2, 2023 08:06 35m 7s
Support multi-property SV-COMP specifications locked #8769: Pull request #1228 synchronize by sim642
November 2, 2023 08:05 31m 17s sv-comp-multiproperty
sv-comp-multiproperty
November 2, 2023 08:05 31m 17s