Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
125 workflow run results
125 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #8043: Scheduled
August 7, 2023 02:11 2h 3m 37s master
master
August 7, 2023 02:11 2h 3m 37s
Fix Queries.BlobSize locked #8042: Pull request #1125 synchronize by mrstanb
August 6, 2023 12:35 28m 16s mrstanb:fix-blobsize
mrstanb:fix-blobsize
August 6, 2023 12:35 28m 16s
locked locked #8041: Scheduled
August 6, 2023 02:02 2h 1m 47s master
master
August 6, 2023 02:02 2h 1m 47s
locked locked #8040: Scheduled
August 5, 2023 02:07 1h 52m 28s master
master
August 5, 2023 02:07 1h 52m 28s
Fix FloatDomain whitespace (PR #1041) locked #8038: Commit f2b7d1c pushed by sim642
August 4, 2023 14:24 35m 35s master
master
August 4, 2023 14:24 35m 35s
Merge pull request #1041 from FelixKrayer/tmpSpecial locked #8037: Commit 5614dd3 pushed by michael-schwarz
August 4, 2023 12:08 30m 41s master
master
August 4, 2023 12:08 30m 41s
Memory Leak Analysis locked #8036: Pull request #1127 opened by mrstanb
August 4, 2023 08:29 28m 12s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 4, 2023 08:29 28m 12s
locked locked #8035: Scheduled
August 4, 2023 02:10 1h 56m 52s master
master
August 4, 2023 02:10 1h 56m 52s
Analysis tracking equality between calls to math library functions to improve invariant locked #8034: Pull request #1041 synchronize by FelixKrayer
August 3, 2023 15:27 30m 9s FelixKrayer:tmpSpecial
FelixKrayer:tmpSpecial
August 3, 2023 15:27 30m 9s
Unassume benchmarking fixes locked #8033: Pull request #1124 synchronize by sim642
August 3, 2023 12:49 35m 11s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 12:49 35m 11s
Move options from unassume bench to yaml confs locked #8032: Commit ddecc85 pushed by sim642
August 3, 2023 12:49 35m 49s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 12:49 35m 49s
Merge pull request #1079 from goblint/libfuns-spec locked #8031: Commit babc881 pushed by sim642
August 3, 2023 12:14 36m 45s master
master
August 3, 2023 12:14 36m 45s
Unassume benchmarking fixes locked #8030: Pull request #1124 synchronize by sim642
August 3, 2023 11:59 29m 8s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 11:59 29m 8s
Fix fixpoint issue from #1126 locked #8029: Commit 409cbd1 pushed by sim642
August 3, 2023 11:59 33m 10s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 11:59 33m 10s
Fix Queries.BlobSize locked #8028: Pull request #1125 opened by mrstanb
August 3, 2023 09:03 31m 26s mrstanb:fix-blobsize
mrstanb:fix-blobsize
August 3, 2023 09:03 31m 26s
Convert library functions to new specifications locked #8027: Pull request #1079 synchronize by sim642
August 3, 2023 08:46 31m 41s libfuns-spec
libfuns-spec
August 3, 2023 08:46 31m 41s
Fix access analysis to not dereference non-pointer types locked #8026: Commit ed231fa pushed by sim642
August 3, 2023 08:46 33m 0s libfuns-spec
libfuns-spec
August 3, 2023 08:46 33m 0s
Convert library functions to new specifications locked #8025: Pull request #1079 synchronize by sim642
August 3, 2023 08:27 27m 35s libfuns-spec
libfuns-spec
August 3, 2023 08:27 27m 35s
Remove LibraryFunctions trailing whitespace, fix one VarArgs locked #8024: Commit 2267095 pushed by sim642
August 3, 2023 08:27 30m 0s libfuns-spec
libfuns-spec
August 3, 2023 08:27 30m 0s
Unassume benchmarking fixes locked #8023: Pull request #1124 synchronize by sim642
August 3, 2023 08:20 28m 13s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 08:20 28m 13s
Fix PartitionDomain.SetSet.pretty_diff crash locked #8022: Commit 870a9b8 pushed by sim642
August 3, 2023 08:20 28m 58s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 08:20 28m 58s
locked locked #8019: Scheduled
August 3, 2023 02:08 2h 0m 34s master
master
August 3, 2023 02:08 2h 0m 34s
Convert library functions to new specifications locked #8018: Pull request #1079 synchronize by karoliineh
August 2, 2023 19:32 28m 55s libfuns-spec
libfuns-spec
August 2, 2023 19:32 28m 55s
Update src/analyses/libraryFunctions.ml locked #8017: Commit f2fd9b5 pushed by karoliineh
August 2, 2023 19:32 25m 41s libfuns-spec
libfuns-spec
August 2, 2023 19:32 25m 41s
Convert library functions to new specifications locked #8016: Pull request #1079 synchronize by karoliineh
August 2, 2023 19:31 29m 32s libfuns-spec
libfuns-spec
August 2, 2023 19:31 29m 32s