Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
366 workflow run results
366 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move getdtablesize to glibc options #6285: Commit 8cdd6da pushed by michael-schwarz
October 3, 2023 10:47 5m 25s even_even_more_library
even_even_more_library
October 3, 2023 10:47 5m 25s
Do not record accesses to sem options #6284: Commit 79d71b8 pushed by michael-schwarz
October 3, 2023 10:45 5m 4s even_even_more_library
even_even_more_library
October 3, 2023 10:45 5m 4s
Apply suggestions from code review options #6283: Commit d855613 pushed by michael-schwarz
October 3, 2023 10:42 3m 19s even_even_more_library
even_even_more_library
October 3, 2023 10:42 3m 19s
Punctuation options #6282: Commit 960b023 pushed by michael-schwarz
October 3, 2023 10:40 3m 44s even_even_more_library
even_even_more_library
October 3, 2023 10:40 3m 44s
Move str[n]casecmp to Posix group options #6281: Commit 0e77bc2 pushed by michael-schwarz
October 3, 2023 10:39 20s even_even_more_library
even_even_more_library
October 3, 2023 10:39 20s
Comment on Sem* specials that they are unused options #6280: Commit 8f1bd75 pushed by michael-schwarz
October 3, 2023 10:38 22s even_even_more_library
even_even_more_library
October 3, 2023 10:38 22s
SV-COMP "Memory Safety" benchmark additions options #6279: Pull request #1201 synchronize by mrstanb
October 3, 2023 10:35 19s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 10:35 19s
SV-COMP "Memory Safety" benchmark additions options #6278: Pull request #1201 synchronize by mrstanb
October 3, 2023 10:32 21s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 10:32 21s
SV-COMP "Memory Safety" benchmark additions options #6277: Pull request #1201 synchronize by mrstanb
October 3, 2023 10:25 28s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 10:25 28s
SV-COMP "Memory Safety" benchmark additions options #6276: Pull request #1201 synchronize by mrstanb
October 3, 2023 09:57 25s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 09:57 25s
Add final message for exp.single-threaded options #6275: Commit 7e57562 pushed by sim642
October 2, 2023 14:05 29s master
master
October 2, 2023 14:05 29s
Revert "Disable pins for v2.2.0 release" options #6274: Commit 6c8a05b pushed by sim642
October 2, 2023 13:40 20s master
master
October 2, 2023 13:40 20s
Merge pull request #1198 from goblint/race-ignorable options #6273: Commit 2a84196 pushed by sim642
October 2, 2023 13:35 21s master
master
October 2, 2023 13:35 21s
Fix incorrect unlock in witness/tm-inv-transfer tests options #6272: Commit 7857a68 pushed by sim642
October 2, 2023 13:34 19s master
master
October 2, 2023 13:34 19s
SV-COMP "Memory Safety" benchmark additions options #6271: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 25s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 25s
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
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
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
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
Merge pull request #1179 from mrstanb/stack-allocating-functions-prec… options #6266: Commit 55594a7 pushed by michael-schwarz
October 1, 2023 16:49 18s master
master
October 1, 2023 16:49 18s
Add out-of-bounds check for memset and memcpy options #6265: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:34 25s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:34 25s
Add out-of-bounds check for memset and memcpy options #6264: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:16 18s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:16 18s
Add out-of-bounds check for memset and memcpy options #6263: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:46 19s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:46 19s
Add out-of-bounds check for memset and memcpy options #6262: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:45 18s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:45 18s
Port ~50 library specifications to the new system options #6261: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:21 5m 52s even_even_more_library
even_even_more_library
October 1, 2023 15:21 5m 52s