Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
60 workflow run results
60 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix trace calls outside of if tracing indentation #8062: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 6m 6s master
master
September 19, 2023 19:49 6m 6s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis indentation #8061: Pull request #1176 opened by sim642
September 19, 2023 14:50 3s race-null
race-null
September 19, 2023 14:50 3s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… indentation #8060: Commit 204594e pushed by sim642
September 19, 2023 14:45 6m 9s race-null
race-null
September 19, 2023 14:45 6m 9s
Add and fix library functions for Concrat benchmarks indentation #8059: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 6m 11s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 6m 11s
Add some missing library functions for shairport indentation #8058: Commit a4772d6 pushed by sim642
September 19, 2023 12:06 6m 37s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 6m 37s
Remove VFB and B domains indentation #8057: Commit 0d4d713 pushed by karoliineh
September 19, 2023 11:46 6m 59s region-mallocfresh-try2
region-mallocfresh-try2
September 19, 2023 11:46 6m 59s
Add tests for library function races via NULL indentation #8056: Commit c5136d1 pushed by sim642
September 19, 2023 11:28 3s race-null
race-null
September 19, 2023 11:28 3s
Fix Cilfacade.pretty_typsig_like_typ forgetting pointers from name on… indentation #8055: Commit 0f59ac9 pushed by sim642
September 19, 2023 10:50 6m 43s master
master
September 19, 2023 10:50 6m 43s
Move duplicated BS module definition to top indentation #8054: Commit d35519b pushed by karoliineh
September 19, 2023 10:12 6m 3s region-mallocfresh-try2
region-mallocfresh-try2
September 19, 2023 10:12 6m 3s
Merge pull request #1173 from goblint/thread-self-create indentation #8053: Commit 8ec8c31 pushed by sim642
September 19, 2023 08:13 6m 13s master
master
September 19, 2023 08:13 6m 13s
Use BoolDomain instead of SetDomain indentation #8052: Commit b64b65f pushed by karoliineh
September 18, 2023 18:47 6m 36s region-mallocfresh
region-mallocfresh
September 18, 2023 18:47 6m 36s
Simplify domains in regionDomain indentation #8051: Commit 04bbbc7 pushed by karoliineh
September 18, 2023 18:47 2s region-mallocfresh-try2
region-mallocfresh-try2
September 18, 2023 18:47 2s
Add and fix library functions for Concrat benchmarks indentation #8050: Pull request #1174 opened by sim642
September 18, 2023 15:03 3s libfuns-concrat
libfuns-concrat
September 18, 2023 15:03 3s
Remove old library function classify indentation #8049: Commit 4e83af9 pushed by sim642
September 18, 2023 14:51 3s libfuns-concrat
libfuns-concrat
September 18, 2023 14:51 3s
Merge pull request #1172 from goblint/races_sjlj indentation #8048: Commit 851c6b3 pushed by michael-schwarz
September 18, 2023 14:10 6m 44s master
master
September 18, 2023 14:10 6m 44s
Use AddressDomain for queries indentation #8047: Pull request #1144 synchronize by karoliineh
September 18, 2023 12:48 6m 7s queries-ad-cont
queries-ad-cont
September 18, 2023 12:48 6m 7s
Use VS domain instead of AD for MustProtectedVars indentation #8046: Commit 2917999 pushed by karoliineh
September 18, 2023 12:48 7m 0s queries-ad-cont
queries-ad-cont
September 18, 2023 12:48 7m 0s
Null Byte Array Domain indentation #8045: Pull request #1076 synchronize by nathanschmidt
September 18, 2023 10:14 6m 6s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 18, 2023 10:14 6m 6s
Merge pull request #1142 from goblint/queries-ad indentation #8044: Commit 3666c92 pushed by sim642
September 18, 2023 09:05 10m 14s master
master
September 18, 2023 09:05 10m 14s
Use AddressDomain for MayPointTo and ReachableFrom queries indentation #8043: Pull request #1142 synchronize by sim642
September 18, 2023 09:05 9m 0s queries-ad
queries-ad
September 18, 2023 09:05 9m 0s
Merge branch 'master' into queries-ad indentation #8042: Commit 64a0a6f pushed by sim642
September 18, 2023 09:05 5m 58s queries-ad
queries-ad
September 18, 2023 09:05 5m 58s
Merge pull request #1167 from goblint/libfuns-zlib-lzma indentation #8041: Commit 4c9904a pushed by sim642
September 18, 2023 09:02 6m 31s master
master
September 18, 2023 09:02 6m 31s
Fix thread analysis termination with a self-creating thread indentation #8040: Pull request #1173 opened by sim642
September 18, 2023 09:01 3s thread-self-create
thread-self-create
September 18, 2023 09:01 3s
Fix 10-synch/07-thread_self_create indentation #8039: Commit 2486404 pushed by sim642
September 18, 2023 08:56 2s thread-self-create
thread-self-create
September 18, 2023 08:56 2s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions indentation #8038: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:37 8m 31s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 8m 31s