Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
795 workflow run results
795 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Memory Out-Of-Bounds Access Analysis indentation #8147: Pull request #1094 synchronize by mrstanb
September 27, 2023 12:45 6m 29s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 27, 2023 12:45 6m 29s
Merge pull request #1176 from goblint/race-null indentation #8146: Commit 138a482 pushed by sim642
September 27, 2023 10:37 5m 51s master
master
September 27, 2023 10:37 5m 51s
Merge pull request #1174 from goblint/libfuns-concrat indentation #8145: Commit 631888e pushed by sim642
September 27, 2023 10:35 5m 37s master
master
September 27, 2023 10:35 5m 37s
Remove TODO annotations from passing checks indentation #8144: Commit eb97eca pushed by sim642
September 27, 2023 08:26 5m 45s master
master
September 27, 2023 08:26 5m 45s
Make single_vf and single_bullet into functions indentation #8143: Commit f235122 pushed by karoliineh
September 27, 2023 07:56 4s region-mallocfresh-try2
region-mallocfresh-try2
September 27, 2023 07:56 4s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #8142: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 5m 57s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 5m 57s
Exclude free-free accesses from racing indentation #8141: Pull request #1193 opened by sim642
September 26, 2023 15:16 3s free-free-norace
free-free-norace
September 26, 2023 15:16 3s
Memory Out-Of-Bounds Access Analysis indentation #8140: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 6m 17s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 6m 17s
Refactor Access.may_race with match indentation #8139: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 2s free-free-norace
free-free-norace
September 26, 2023 15:09 2s
Use AddressDomain for queries indentation #8138: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 5m 6s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 5m 6s
Merge branch 'master' into queries-ad-cont indentation #8137: Commit e718562 pushed by sim642
September 26, 2023 14:45 7m 0s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 7m 0s
Add final messages about unsound results indentation #8136: Pull request #1191 synchronize by sim642
September 26, 2023 12:20 6m 27s final-errors
final-errors
September 26, 2023 12:20 6m 27s
Update cram tests with final messages indentation #8135: Commit 684a74c pushed by sim642
September 26, 2023 12:20 5m 56s final-errors
final-errors
September 26, 2023 12:20 5m 56s
Add some library functions for zstd indentation #8134: Commit c4bf1cc pushed by sim642
September 26, 2023 12:16 3s libfuns-zstd
libfuns-zstd
September 26, 2023 12:16 3s
Add final messages about unsound results indentation #8133: Pull request #1191 opened by sim642
September 26, 2023 11:33 3s final-errors
final-errors
September 26, 2023 11:33 3s
Add no suitable function final message indentation #8132: Commit a28a8ff pushed by sim642
September 26, 2023 11:31 2s final-errors
final-errors
September 26, 2023 11:31 2s
Rename single_vf -> top and empty -> bot indentation #8131: Commit ea0b506 pushed by karoliineh
September 26, 2023 10:08 6m 2s region-mallocfresh-try2
region-mallocfresh-try2
September 26, 2023 10:08 6m 2s
Add eval_offset tracing indentation #8130: Commit 5347c08 pushed by sim642
September 26, 2023 08:22 6m 47s master
master
September 26, 2023 08:22 6m 47s
Add zstd unsound both branches dead test indentation #8129: Commit 810fab5 pushed by sim642
September 25, 2023 14:36 7m 7s master
master
September 25, 2023 14:36 7m 7s
Add eqd to TD3 tracing output indentation #8128: Commit 23a5d83 pushed by sim642
September 25, 2023 13:30 5m 44s master
master
September 25, 2023 13:30 5m 44s
Spawn threads created from unknown functions as non-unique indentation #8127: Pull request #1187 synchronize by michael-schwarz
September 25, 2023 11:07 6m 13s issue_843
issue_843
September 25, 2023 11:07 6m 13s
Turn optional argument into named argument indentation #8126: Commit ccaffc5 pushed by michael-schwarz
September 25, 2023 11:07 5m 57s issue_843
issue_843
September 25, 2023 11:07 5m 57s
Add region interprocedural fixpoint error test indentation #8125: Commit 16077e3 pushed by sim642
September 25, 2023 10:27 6m 43s master
master
September 25, 2023 10:27 6m 43s
Add conditional accesses to LibraryDsl indentation #8124: Commit 57c5c3f pushed by sim642
September 25, 2023 08:37 3s library-dsl-access-if
library-dsl-access-if
September 25, 2023 08:37 3s
Add and fix library functions for Concrat benchmarks indentation #8123: Pull request #1174 synchronize by sim642
September 25, 2023 08:27 6m 2s libfuns-concrat
libfuns-concrat
September 25, 2023 08:27 6m 2s
ProTip! You can narrow down the results and go further in time using created:<2023-09-25 or the other filters available.