Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
561 workflow run results
561 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
copy gobview distribution files to gobview_dist options #6470: Commit a883207 pushed by stilscher
November 2, 2023 15:54 18s improve-gobview-build
improve-gobview-build
November 2, 2023 15:54 18s
TUM Practical Course Summer 2023: Termination Analyses options #6469: Pull request #1093 synchronize by michael-schwarz
November 2, 2023 15:20 21s serenita:master
serenita:master
November 2, 2023 15:20 21s
fix chromedriver version to avoid url not found error options #6468: Commit 660a678 pushed by stilscher
November 2, 2023 13:57 31s improve-gobview-build
improve-gobview-build
November 2, 2023 13:57 31s
Fix both branches dead from bot address in array options #6467: Pull request #1233 opened by sim642
November 2, 2023 10:46 40s concrat-both-branches
concrat-both-branches
November 2, 2023 10:46 40s
Fix both branches dead from bot address in array options #6466: Commit 4ea0756 pushed by sim642
November 2, 2023 10:37 27s concrat-both-branches
concrat-both-branches
November 2, 2023 10:37 27s
Merge pull request #1187 from goblint/issue_843 options #6465: Commit 5f4f94b pushed by michael-schwarz
November 2, 2023 09:08 23s master
master
November 2, 2023 09:08 23s
Merge pull request #1230 from goblint/issue_1223 options #6464: Commit 808e91d pushed by michael-schwarz
November 2, 2023 09:05 21s master
master
November 2, 2023 09:05 21s
Refactor Access.may_race with match options #6463: Commit c42ec6b pushed by sim642
November 2, 2023 09:03 25s master
master
November 2, 2023 09:03 25s
Merge pull request #1228 from goblint/sv-comp-multiproperty options #6462: Commit 417d5d3 pushed by sim642
November 2, 2023 08:06 30s master
master
November 2, 2023 08:06 30s
Support multi-property SV-COMP specifications options #6461: Pull request #1228 synchronize by sim642
November 2, 2023 08:05 29s sv-comp-multiproperty
sv-comp-multiproperty
November 2, 2023 08:05 29s
Remove unused [@@deriving ord] on SV-COMP spec options #6460: Commit f147d9b pushed by sim642
November 2, 2023 08:05 24s sv-comp-multiproperty
sv-comp-multiproperty
November 2, 2023 08:05 24s
Merge pull request #1226 from goblint/sv-comp-yaml options #6459: Commit 8aaa9d0 pushed by sim642
November 2, 2023 08:02 29s master
master
November 2, 2023 08:02 29s