Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
258 workflow run results
258 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add unknown thread ID options #6458: Pull request #1224 synchronize by karoliineh
November 1, 2023 18:31 25s issue-392
issue-392
November 1, 2023 18:31 25s
Fix indentation options #6457: Commit 0f13898 pushed by karoliineh
November 1, 2023 18:31 19s issue-392
issue-392
November 1, 2023 18:31 19s
TUM Practical Course Summer 2023: Termination Analyses options #6456: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:59 51s serenita:master
serenita:master
November 1, 2023 17:59 51s
TUM Practical Course Summer 2023: Termination Analyses options #6455: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:56 23s serenita:master
serenita:master
November 1, 2023 17:56 23s
TUM Practical Course Summer 2023: Termination Analyses options #6454: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:37 22s serenita:master
serenita:master
November 1, 2023 17:37 22s
TUM Practical Course Summer 2023: Termination Analyses options #6453: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:36 18s serenita:master
serenita:master
November 1, 2023 17:36 18s
TUM Practical Course Summer 2023: Termination Analyses options #6452: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:28 26s serenita:master
serenita:master
November 1, 2023 17:28 26s
TUM Practical Course Summer 2023: Termination Analyses options #6451: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:19 22s serenita:master
serenita:master
November 1, 2023 17:19 22s
Merge branch 'master' into issue_843 options #6450: Commit 809e5a0 pushed by michael-schwarz
November 1, 2023 16:48 23s issue_843
issue_843
November 1, 2023 16:48 23s
Spawn threads created from unknown functions as non-unique options #6449: Pull request #1187 synchronize by michael-schwarz
November 1, 2023 16:48 27s issue_843
issue_843
November 1, 2023 16:48 27s
threadAnalysis: Only add to set of must-joined threads if argument to pthread_join evaluates to a singleton options #6448: Pull request #1230 opened by michael-schwarz
November 1, 2023 16:03 22s issue_1223
issue_1223
November 1, 2023 16:03 22s
threadAnalysis: Only add definite tids to set of mustJoined thread options #6447: Commit 1d55756 pushed by michael-schwarz
November 1, 2023 15:59 18s issue_1223
issue_1223
November 1, 2023 15:59 18s
Fix Apron license for unpinned package for SV-COMP options #6446: Commit 6bad00c pushed by sim642
November 1, 2023 11:22 26s svcomp24-dev
svcomp24-dev
November 1, 2023 11:22 26s