Skip to content

Actions: goblint/analyzer

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
790 workflow run results
790 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1123 from mrstanb/improve-uaf-analysis
indentation #8172: Commit 67160fe pushed by michael-schwarz
September 29, 2023 10:41 6m 2s master
September 29, 2023 10:41 6m 2s
Merge pull request #1191 from goblint/final-errors
indentation #8167: Commit 91ea3b9 pushed by sim642
September 29, 2023 09:12 5m 59s master
September 29, 2023 09:12 5m 59s
Add final messages about unsound results
indentation #8166: Pull request #1191 synchronize by sim642
September 29, 2023 08:42 5m 49s final-errors
September 29, 2023 08:42 5m 49s
Merge branch 'master' into final-errors
indentation #8165: Commit b5ebff6 pushed by sim642
September 29, 2023 08:42 6m 31s final-errors
September 29, 2023 08:42 6m 31s
Fix race in race_reach test for sv-benchmarks
indentation #8164: Commit ee6dc36 pushed by sim642
September 29, 2023 08:40 6m 33s master
September 29, 2023 08:40 6m 33s
Remove context from noloc and final messages
indentation #8162: Commit 3c7555b pushed by sim642
September 28, 2023 13:41 6m 38s 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
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
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
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
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
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
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
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
September 28, 2023 10:02 3s
Add reachability timing
indentation #8153: Commit dd2a70b pushed by sim642
September 28, 2023 09:41 6m 33s 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
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
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
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
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
September 27, 2023 13:03 5m 48s
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.