Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
771 workflow run results
771 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP "Memory Safety" benchmark additions semgrep #7941: Pull request #1201 opened by mrstanb
October 2, 2023 08:05 49s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 08:05 49s
SV-COMP "Memory Safety" benchmark additions options #6270: Pull request #1201 opened by mrstanb
October 2, 2023 08:05 42s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 08:05 42s
SV-COMP "Memory Safety" benchmark additions indentation #8251: Pull request #1201 opened by mrstanb
October 2, 2023 08:05 3s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 08:05 3s
SV-COMP "Memory Safety" benchmark additions coverage #568: Pull request #1201 opened by mrstanb
October 2, 2023 08:05 20m 9s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 08:05 20m 9s
SV-COMP "Memory Safety" benchmark additions locked #8547: Pull request #1201 opened by mrstanb
October 2, 2023 08:05 37m 35s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 08:05 37m 35s
Simplify is_not_heap_alloc_var and add TODO options #6269: Commit 15e6c3d pushed by sim642
October 2, 2023 07:37 27s master
master
October 2, 2023 07:37 27s
Simplify is_not_heap_alloc_var and add TODO indentation #8250: Commit 15e6c3d pushed by sim642
October 2, 2023 07:37 6m 18s master
master
October 2, 2023 07:37 6m 18s
Simplify is_not_heap_alloc_var and add TODO locked #8546: Commit 15e6c3d pushed by sim642
October 2, 2023 07:37 32m 37s master
master
October 2, 2023 07:37 32m 37s
Simplify is_not_heap_alloc_var and add TODO docs #133: Commit 15e6c3d pushed by sim642
October 2, 2023 07:37 12m 14s master
master
October 2, 2023 07:37 12m 14s
Simplify is_not_heap_alloc_var and add TODO semgrep #7940: Commit 15e6c3d pushed by sim642
October 2, 2023 07:37 51s master
master
October 2, 2023 07:37 51s
coverage coverage #567: Scheduled
October 2, 2023 02:04 43m 9s master
master
October 2, 2023 02:04 43m 9s
docker docker #750: Scheduled
October 2, 2023 02:03 20m 37s master
master
October 2, 2023 02:03 20m 37s
locked locked #8545: Scheduled
October 2, 2023 02:01 2h 26m 26s master
master
October 2, 2023 02:01 2h 26m 26s
unlocked unlocked #1548: Scheduled
October 2, 2023 02:01 2h 22m 28s master
master
October 2, 2023 02:01 2h 22m 28s
Merge pull request #1197 from mrstanb/memset-memcpy-size-check locked #8544: Commit d3347e8 pushed by michael-schwarz
October 1, 2023 19:22 41m 1s master
master
October 1, 2023 19:22 41m 1s
Merge pull request #1197 from mrstanb/memset-memcpy-size-check semgrep #7939: Commit d3347e8 pushed by michael-schwarz
October 1, 2023 19:22 41s master
master
October 1, 2023 19:22 41s
Merge pull request #1197 from mrstanb/memset-memcpy-size-check options #6268: Commit d3347e8 pushed by michael-schwarz
October 1, 2023 19:22 19s master
master
October 1, 2023 19:22 19s
Merge pull request #1197 from mrstanb/memset-memcpy-size-check docs #132: Commit d3347e8 pushed by michael-schwarz
October 1, 2023 19:22 10m 10s master
master
October 1, 2023 19:22 10m 10s
Merge pull request #1197 from mrstanb/memset-memcpy-size-check indentation #8249: Commit d3347e8 pushed by michael-schwarz
October 1, 2023 19:22 5m 46s master
master
October 1, 2023 19:22 5m 46s
Add out-of-bounds check for memset and memcpy semgrep #7938: Pull request #1197 synchronize by mrstanb
October 1, 2023 18:56 45s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 18:56 45s
Add out-of-bounds check for memset and memcpy options #6267: Pull request #1197 synchronize by mrstanb
October 1, 2023 18:56 21s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 18:56 21s
Add out-of-bounds check for memset and memcpy locked #8543: Pull request #1197 synchronize by mrstanb
October 1, 2023 18:56 38m 6s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 18:56 38m 6s
Add out-of-bounds check for memset and memcpy coverage #566: Pull request #1197 synchronize by mrstanb
October 1, 2023 18:56 26m 18s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 18:56 26m 18s
Add out-of-bounds check for memset and memcpy indentation #8248: Pull request #1197 synchronize by mrstanb
October 1, 2023 18:56 5m 44s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 18:56 5m 44s
Merge pull request #1179 from mrstanb/stack-allocating-functions-prec… locked #8542: Commit 55594a7 pushed by michael-schwarz
October 1, 2023 16:49 1h 12m 26s master
master
October 1, 2023 16:49 1h 12m 26s