Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
514 workflow run results
514 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
36/15 activate sv-comp libraries options #6260: Commit c53f193 pushed by michael-schwarz
October 1, 2023 15:21 3m 9s even_even_more_library
even_even_more_library
October 1, 2023 15:21 3m 9s
Port ~50 library specifications to the new system options #6259: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:04 4m 13s even_even_more_library
even_even_more_library
October 1, 2023 15:04 4m 13s
Enable svcomp library functions where racemacros.h is included options #6258: Commit c8ed7e2 pushed by michael-schwarz
October 1, 2023 15:04 3m 2s even_even_more_library
even_even_more_library
October 1, 2023 15:04 3m 2s
Port ~50 library specifications to the new system options #6257: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 14:21 40m 24s even_even_more_library
even_even_more_library
October 1, 2023 14:21 40m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-10-01 or the other filters available.