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

Extract value-barrier-norace example from silver searcher indentation #8072: Commit 2121eb0 pushed by sim642
September 20, 2023 10:01 6m 58s race-challenges
race-challenges
September 20, 2023 10:01 6m 58s
Data-race challenges extracted from benchmarks indentation #8071: Pull request #1178 synchronize by sim642
September 20, 2023 09:44 5m 58s race-challenges
race-challenges
September 20, 2023 09:44 5m 58s
Extract thread-local-value examples from silver searcher indentation #8070: Commit 16aa15f pushed by sim642
September 20, 2023 09:44 6m 54s race-challenges
race-challenges
September 20, 2023 09:44 6m 54s
Data-race challenges extracted from benchmarks indentation #8069: Pull request #1178 opened by sim642
September 20, 2023 09:22 3s race-challenges
race-challenges
September 20, 2023 09:22 3s
Extract thread-binomial-join example from fzy indentation #8068: Commit dbb4e9e pushed by sim642
September 20, 2023 09:19 6m 9s race-challenges
race-challenges
September 20, 2023 09:19 6m 9s
Extract thread-alive-counter-outer example from nnn indentation #8067: Commit b0bc3ad pushed by sim642
September 20, 2023 08:38 5m 49s race-challenges
race-challenges
September 20, 2023 08:38 5m 49s
Extract thread-const-array-join example from level-ip indentation #8066: Commit 4800dc2 pushed by sim642
September 20, 2023 08:20 6m 0s race-challenges
race-challenges
September 20, 2023 08:20 6m 0s
Extract thread-alive-counter example from C-Thread-Pool indentation #8065: Commit beaa91f pushed by sim642
September 20, 2023 08:05 2s race-challenges
race-challenges
September 20, 2023 08:05 2s
Add and fix library functions for Concrat benchmarks indentation #8064: Pull request #1174 synchronize by sim642
September 20, 2023 07:26 6m 3s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 6m 3s
Add test for atexit soundness indentation #8063: Commit 71035d2 pushed by sim642
September 20, 2023 07:26 7m 16s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 7m 16s
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.