Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
129 workflow run results
129 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add out-of-bounds check for memset and memcpy indentation #8187: Pull request #1197 synchronize by mrstanb
September 30, 2023 22:15 6m 7s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 22:15 6m 7s
Add out-of-bounds check for memset and memcpy indentation #8186: Pull request #1197 synchronize by mrstanb
September 30, 2023 21:43 5m 52s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 21:43 5m 52s
Add out-of-bounds check for memset and memcpy indentation #8185: Pull request #1197 synchronize by mrstanb
September 29, 2023 22:38 6m 27s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 22:38 6m 27s
Add out-of-bounds check for memset and memcpy indentation #8184: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:21 5m 41s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:21 5m 41s
Add out-of-bounds check for memset and memcpy indentation #8183: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:04 6m 1s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:04 6m 1s
Add out-of-bounds check for memset and memcpy indentation #8182: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:54 6m 34s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:54 6m 34s
Add out-of-bounds check for memset and memcpy indentation #8181: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:51 6m 36s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:51 6m 36s
Check all offsets, attributes and typedefs for ignored race memory locations indentation #8180: Pull request #1198 synchronize by sim642
September 29, 2023 14:26 6m 12s race-ignorable
race-ignorable
September 29, 2023 14:26 6m 12s
Merge branch 'race-ignorable' of github.com:goblint/analyzer into rac… indentation #8179: Commit 8166b40 pushed by sim642
September 29, 2023 14:26 6m 42s race-ignorable
race-ignorable
September 29, 2023 14:26 6m 42s
Check all offsets, attributes and typedefs for ignored race memory locations indentation #8178: Pull request #1198 synchronize by karoliineh
September 29, 2023 13:20 6m 48s race-ignorable
race-ignorable
September 29, 2023 13:20 6m 48s
Add atomic library functions from nidhugg benchmark set indentation #8177: Commit 18a1733 pushed by karoliineh
September 29, 2023 13:20 6m 4s race-ignorable
race-ignorable
September 29, 2023 13:20 6m 4s
Check all offsets, attributes and typedefs for ignored race memory locations indentation #8176: Pull request #1198 opened by sim642
September 29, 2023 13:12 2s race-ignorable
race-ignorable
September 29, 2023 13:12 2s
Document refactored race ignore check indentation #8175: Commit df9fda7 pushed by sim642
September 29, 2023 12:58 3s race-ignorable
race-ignorable
September 29, 2023 12:58 3s
Add out-of-bounds check for memset and memcpy indentation #8174: Pull request #1197 synchronize by mrstanb
September 29, 2023 11:22 5m 45s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 11:22 5m 45s
Support stack-allocating functions when allocating heap vars indentation #8173: Pull request #1179 synchronize by mrstanb
September 29, 2023 11:15 5m 50s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 11:15 5m 50s
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
master
September 29, 2023 10:41 6m 2s
Support stack-allocating functions when allocating heap vars indentation #8171: Pull request #1179 synchronize by mrstanb
September 29, 2023 10:31 5m 56s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 10:31 5m 56s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #8170: Pull request #1123 synchronize by mrstanb
September 29, 2023 10:17 7m 10s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 29, 2023 10:17 7m 10s
Add out-of-bounds check for memset and memcpy indentation #8169: Pull request #1197 opened by mrstanb
September 29, 2023 09:57 3s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 09:57 3s
Support stack-allocating functions when allocating heap vars indentation #8168: Pull request #1179 synchronize by mrstanb
September 29, 2023 09:28 5m 44s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 09:28 5m 44s
Merge pull request #1191 from goblint/final-errors indentation #8167: Commit 91ea3b9 pushed by sim642
September 29, 2023 09:12 5m 59s master
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
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
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
master
September 29, 2023 08:40 6m 33s
Support stack-allocating functions when allocating heap vars indentation #8163: Pull request #1179 synchronize by mrstanb
September 29, 2023 08:21 6m 11s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 08:21 6m 11s