Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
80 workflow run results
80 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove context from noloc and final messages indentation #8162: Commit 3c7555b pushed by sim642
September 28, 2023 13:41 6m 38s final-errors
final-errors
September 28, 2023 13:41 6m 38s
Spawn threads created from unknown functions as non-unique indentation #8161: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 12:04 5m 43s issue_843
issue_843
September 28, 2023 12:04 5m 43s
Add check that only one mainfun is specified to privatizations indentation #8160: Commit b718e46 pushed by michael-schwarz
September 28, 2023 12:04 5m 58s issue_843
issue_843
September 28, 2023 12:04 5m 58s
Spawn threads created from unknown functions as non-unique indentation #8159: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:54 5m 50s issue_843
issue_843
September 28, 2023 11:54 5m 50s
Add example for race despite uniqueness counter indentation #8158: Commit 44ef084 pushed by michael-schwarz
September 28, 2023 11:54 6m 25s issue_843
issue_843
September 28, 2023 11:54 6m 25s
Spawn threads created from unknown functions as non-unique indentation #8157: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:48 5m 50s issue_843
issue_843
September 28, 2023 11:48 5m 50s
Also pass to threadspawn for history TID + uniqueness indentation #8156: Commit 7ebddbc pushed by michael-schwarz
September 28, 2023 11:48 6m 3s issue_843
issue_843
September 28, 2023 11:48 6m 3s
Merge pull request #1196 from mrstanb/fix-blobsize-query indentation #8155: Commit cb500ed pushed by sim642
September 28, 2023 10:45 5m 53s master
master
September 28, 2023 10:45 5m 53s
Fix BlobSize query compare indentation #8154: Pull request #1196 opened by mrstanb
September 28, 2023 10:02 3s mrstanb:fix-blobsize-query
mrstanb:fix-blobsize-query
September 28, 2023 10:02 3s
Add reachability timing indentation #8153: Commit dd2a70b pushed by sim642
September 28, 2023 09:41 6m 33s master
master
September 28, 2023 09:41 6m 33s
Add MemOOB to goblint_lib.ml (PR #1094) indentation #8152: Commit eb674b7 pushed by michael-schwarz
September 28, 2023 08:42 5m 40s master
master
September 28, 2023 08:42 5m 40s
Merge pull request #1094 from mrstanb/mem-oob-analysis indentation #8151: Commit 6701f5d pushed by michael-schwarz
September 28, 2023 08:37 6m 9s master
master
September 28, 2023 08:37 6m 9s
Memory Out-Of-Bounds Access Analysis indentation #8150: Pull request #1094 synchronize by michael-schwarz
September 28, 2023 07:49 5m 58s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 28, 2023 07:49 5m 58s
Merge pull request #1144 from goblint/queries-ad-cont indentation #8149: Commit f982bc9 pushed by sim642
September 27, 2023 13:45 5m 52s master
master
September 27, 2023 13:45 5m 52s
Fix pthread-lock-return test on OSX indentation #8148: Commit 7f9ec9a pushed by sim642
September 27, 2023 13:03 5m 48s master
master
September 27, 2023 13:03 5m 48s
Memory Out-Of-Bounds Access Analysis indentation #8147: Pull request #1094 synchronize by mrstanb
September 27, 2023 12:45 6m 29s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 27, 2023 12:45 6m 29s
Merge pull request #1176 from goblint/race-null indentation #8146: Commit 138a482 pushed by sim642
September 27, 2023 10:37 5m 51s master
master
September 27, 2023 10:37 5m 51s
Merge pull request #1174 from goblint/libfuns-concrat indentation #8145: Commit 631888e pushed by sim642
September 27, 2023 10:35 5m 37s master
master
September 27, 2023 10:35 5m 37s
Remove TODO annotations from passing checks indentation #8144: Commit eb97eca pushed by sim642
September 27, 2023 08:26 5m 45s master
master
September 27, 2023 08:26 5m 45s
Make single_vf and single_bullet into functions indentation #8143: Commit f235122 pushed by karoliineh
September 27, 2023 07:56 4s region-mallocfresh-try2
region-mallocfresh-try2
September 27, 2023 07:56 4s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #8142: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 5m 57s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 5m 57s
Exclude free-free accesses from racing indentation #8141: Pull request #1193 opened by sim642
September 26, 2023 15:16 3s free-free-norace
free-free-norace
September 26, 2023 15:16 3s
Memory Out-Of-Bounds Access Analysis indentation #8140: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 6m 17s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 6m 17s
Refactor Access.may_race with match indentation #8139: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 2s free-free-norace
free-free-norace
September 26, 2023 15:09 2s
Use AddressDomain for queries indentation #8138: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 5m 6s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 5m 6s