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

Remove context from noloc and final messages options #6181: Commit 3c7555b pushed by sim642
September 28, 2023 13:41 24s final-errors
final-errors
September 28, 2023 13:41 24s
Spawn threads created from unknown functions as non-unique options #6180: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 12:04 26s issue_843
issue_843
September 28, 2023 12:04 26s
Add check that only one mainfun is specified to privatizations options #6179: Commit b718e46 pushed by michael-schwarz
September 28, 2023 12:04 23s issue_843
issue_843
September 28, 2023 12:04 23s
Spawn threads created from unknown functions as non-unique options #6178: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:54 22s issue_843
issue_843
September 28, 2023 11:54 22s
Add example for race despite uniqueness counter options #6177: Commit 44ef084 pushed by michael-schwarz
September 28, 2023 11:54 19s issue_843
issue_843
September 28, 2023 11:54 19s
Spawn threads created from unknown functions as non-unique options #6176: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:48 31s issue_843
issue_843
September 28, 2023 11:48 31s
Also pass to threadspawn for history TID + uniqueness options #6175: Commit 7ebddbc pushed by michael-schwarz
September 28, 2023 11:48 27s issue_843
issue_843
September 28, 2023 11:48 27s
Merge pull request #1196 from mrstanb/fix-blobsize-query options #6174: Commit cb500ed pushed by sim642
September 28, 2023 10:45 21s master
master
September 28, 2023 10:45 21s
Fix BlobSize query compare options #6173: Pull request #1196 opened by mrstanb
September 28, 2023 10:02 27s mrstanb:fix-blobsize-query
mrstanb:fix-blobsize-query
September 28, 2023 10:02 27s
Add reachability timing options #6172: Commit dd2a70b pushed by sim642
September 28, 2023 09:41 21s master
master
September 28, 2023 09:41 21s
Add MemOOB to goblint_lib.ml (PR #1094) options #6171: Commit eb674b7 pushed by michael-schwarz
September 28, 2023 08:42 18s master
master
September 28, 2023 08:42 18s
Merge pull request #1094 from mrstanb/mem-oob-analysis options #6170: Commit 6701f5d pushed by michael-schwarz
September 28, 2023 08:37 27s master
master
September 28, 2023 08:37 27s
Memory Out-Of-Bounds Access Analysis options #6169: Pull request #1094 synchronize by michael-schwarz
September 28, 2023 07:49 27s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 28, 2023 07:49 27s
Merge pull request #1144 from goblint/queries-ad-cont options #6168: Commit f982bc9 pushed by sim642
September 27, 2023 13:45 26s master
master
September 27, 2023 13:45 26s
Fix pthread-lock-return test on OSX options #6167: Commit 7f9ec9a pushed by sim642
September 27, 2023 13:03 20s master
master
September 27, 2023 13:03 20s
Memory Out-Of-Bounds Access Analysis options #6166: Pull request #1094 synchronize by mrstanb
September 27, 2023 12:45 24s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 27, 2023 12:45 24s
Merge pull request #1176 from goblint/race-null options #6165: Commit 138a482 pushed by sim642
September 27, 2023 10:37 31s master
master
September 27, 2023 10:37 31s
Merge pull request #1174 from goblint/libfuns-concrat options #6164: Commit 631888e pushed by sim642
September 27, 2023 10:35 25s master
master
September 27, 2023 10:35 25s
Remove TODO annotations from passing checks options #6163: Commit eb97eca pushed by sim642
September 27, 2023 08:26 17s master
master
September 27, 2023 08:26 17s
Make single_vf and single_bullet into functions options #6162: Commit f235122 pushed by karoliineh
September 27, 2023 07:56 29s region-mallocfresh-try2
region-mallocfresh-try2
September 27, 2023 07:56 29s
Improve multi-threaded UAF analysis and add SVComp result generation options #6161: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 34s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 34s
Exclude free-free accesses from racing options #6160: Pull request #1193 opened by sim642
September 26, 2023 15:16 26s free-free-norace
free-free-norace
September 26, 2023 15:16 26s
Memory Out-Of-Bounds Access Analysis options #6159: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 20s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 20s
Refactor Access.may_race with match options #6158: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 20s free-free-norace
free-free-norace
September 26, 2023 15:09 20s
Use AddressDomain for queries options #6157: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 30s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 30s
ProTip! You can narrow down the results and go further in time using created:<2023-09-26 or the other filters available.