Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
659 workflow run results
659 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP "Memory Safety" benchmark additions locked #8554: Pull request #1201 synchronize by mrstanb
October 3, 2023 09:57 39m 31s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 09:57 39m 31s
locked locked #8553: Scheduled
October 3, 2023 02:01 2h 40m 48s master
master
October 3, 2023 02:01 2h 40m 48s
Add final message for exp.single-threaded locked #8552: Commit 7e57562 pushed by sim642
October 2, 2023 14:05 36m 58s master
master
October 2, 2023 14:05 36m 58s
Revert "Disable pins for v2.2.0 release" locked #8551: Commit 6c8a05b pushed by sim642
October 2, 2023 13:40 42m 0s master
master
October 2, 2023 13:40 42m 0s
Merge pull request #1198 from goblint/race-ignorable locked #8550: Commit 2a84196 pushed by sim642
October 2, 2023 13:35 50m 27s master
master
October 2, 2023 13:35 50m 27s
Fix incorrect unlock in witness/tm-inv-transfer tests locked #8549: Commit 7857a68 pushed by sim642
October 2, 2023 13:34 30m 21s master
master
October 2, 2023 13:34 30m 21s
SV-COMP "Memory Safety" benchmark additions locked #8548: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 39m 40s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 39m 40s
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 locked #8546: Commit 15e6c3d pushed by sim642
October 2, 2023 07:37 32m 37s master
master
October 2, 2023 07:37 32m 37s
locked locked #8545: Scheduled
October 2, 2023 02:01 2h 26m 26s master
master
October 2, 2023 02:01 2h 26m 26s
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
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
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
Add out-of-bounds check for memset and memcpy locked #8541: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:34 1h 14m 49s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:34 1h 14m 49s
Add out-of-bounds check for memset and memcpy locked #8540: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:16 1h 15m 22s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:16 1h 15m 22s
Add out-of-bounds check for memset and memcpy locked #8539: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:46 1h 52m 36s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:46 1h 52m 36s
Add out-of-bounds check for memset and memcpy locked #8538: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:45 1h 51m 49s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:45 1h 51m 49s
Port ~50 library specifications to the new system locked #8537: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:21 2h 3m 36s even_even_more_library
even_even_more_library
October 1, 2023 15:21 2h 3m 36s
36/15 activate sv-comp libraries locked #8536: Commit c53f193 pushed by michael-schwarz
October 1, 2023 15:21 1h 54m 41s even_even_more_library
even_even_more_library
October 1, 2023 15:21 1h 54m 41s
Port ~50 library specifications to the new system locked #8535: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:04 1h 58m 30s even_even_more_library
even_even_more_library
October 1, 2023 15:04 1h 58m 30s
Enable svcomp library functions where racemacros.h is included locked #8534: Commit c8ed7e2 pushed by michael-schwarz
October 1, 2023 15:04 1h 55m 49s even_even_more_library
even_even_more_library
October 1, 2023 15:04 1h 55m 49s
Port ~50 library specifications to the new system locked #8533: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 14:21 2h 34m 23s even_even_more_library
even_even_more_library
October 1, 2023 14:21 2h 34m 23s
getopt_long locked #8532: Commit 9fb68d4 pushed by michael-schwarz
October 1, 2023 14:21 2h 39m 21s even_even_more_library
even_even_more_library
October 1, 2023 14:21 2h 39m 21s
Port ~50 library specifications to the new system locked #8531: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 14:16 2h 19m 15s even_even_more_library
even_even_more_library
October 1, 2023 14:16 2h 19m 15s
uname locked #8530: Commit a085287 pushed by michael-schwarz
October 1, 2023 14:15 2h 23m 30s even_even_more_library
even_even_more_library
October 1, 2023 14:15 2h 23m 30s
ProTip! You can narrow down the results and go further in time using created:<2023-10-01 or the other filters available.