Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
749 workflow run results
749 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Separate base privatization with atomic support indentation #9133: Commit f754362 pushed by sim642
January 11, 2024 14:01 3m 15s priv-atomic
priv-atomic
January 11, 2024 14:01 3m 15s
Fix goblint-lib-modules.py output indentation #9132: Commit 69f28b2 pushed by sim642
January 11, 2024 13:46 2m 49s master
master
January 11, 2024 13:46 2m 49s
Document ReturnUtil indentation #9131: Commit e847c8f pushed by sim642
January 11, 2024 13:46 2m 48s master
master
January 11, 2024 13:46 2m 48s
Merge pull request #1323 from goblint/threadEscape-combine_assign indentation #9130: Commit bacedc7 pushed by sim642
January 11, 2024 13:42 2m 56s master
master
January 11, 2024 13:42 2m 56s
Implement combine_assign in threadEscape indentation #9129: Pull request #1323 synchronize by karoliineh
January 11, 2024 11:51 2m 50s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 2m 50s
Add comment about f_ask in combine_assign indentation #9128: Commit 34d30fe pushed by karoliineh
January 11, 2024 11:51 3m 31s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 3m 31s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled indentation #9127: Pull request #1324 opened by karoliineh
January 11, 2024 11:02 2s alloca
alloca
January 11, 2024 11:02 2s
Consider alloca for loopUnrolling indentation #9126: Commit c76a0a2 pushed by karoliineh
January 11, 2024 10:56 2s alloca
alloca
January 11, 2024 10:56 2s
Replace direct stdout printing with logging indentation #9125: Pull request #1117 synchronize by sim642
January 11, 2024 10:47 4m 15s logs
logs
January 11, 2024 10:47 4m 15s
Do not use stdout for logs if server.mode is stdio indentation #9124: Commit 05d9cce pushed by sim642
January 11, 2024 10:47 3m 10s logs
logs
January 11, 2024 10:47 3m 10s
Use ask variable instead of Analyses.ask_of_ctx ctx indentation #9122: Commit d719842 pushed by karoliineh
January 11, 2024 10:44 2m 50s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:44 2m 50s
Implement combine_assign in threadEscape indentation #9123: Pull request #1323 synchronize by karoliineh
January 11, 2024 10:44 4m 25s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:44 4m 25s
Replace direct stdout printing with logging indentation #9121: Pull request #1117 synchronize by sim642
January 11, 2024 10:39 3m 9s logs
logs
January 11, 2024 10:39 3m 9s
Remove print_endline for GobView indentation #9120: Commit 9135222 pushed by sim642
January 11, 2024 10:39 2m 58s logs
logs
January 11, 2024 10:39 2m 58s
Implement combine_assign in threadEscape indentation #9119: Pull request #1323 opened by karoliineh
January 11, 2024 10:38 3s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:38 3s
Implement combine_assign in threadEscape indentation #9118: Commit d39e600 pushed by karoliineh
January 11, 2024 10:36 2s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:36 2s
Replace direct stdout printing with logging indentation #9117: Pull request #1117 synchronize by sim642
January 11, 2024 10:13 2m 59s logs
logs
January 11, 2024 10:13 2m 59s
Add result log level to options indentation #9116: Commit 32db3a3 pushed by sim642
January 11, 2024 10:13 3m 6s logs
logs
January 11, 2024 10:13 3m 6s
Replace direct stdout printing with logging indentation #9115: Pull request #1117 synchronize by sim642
January 11, 2024 10:06 2m 53s logs
logs
January 11, 2024 10:06 2m 53s
Update log levels in debugging docs indentation #9114: Commit 355c521 pushed by sim642
January 11, 2024 10:06 3m 41s logs
logs
January 11, 2024 10:06 3m 41s
Add group location to messaging docs indentation #9113: Commit 0af26b4 pushed by sim642
January 11, 2024 10:05 3m 13s master
master
January 11, 2024 10:05 3m 13s
Replace direct stdout printing with logging indentation #9112: Pull request #1117 synchronize by sim642
January 11, 2024 09:14 3m 14s logs
logs
January 11, 2024 09:14 3m 14s
Update cram test with SV-COMP specification indentation #9111: Commit 6f89b91 pushed by sim642
January 11, 2024 09:14 2m 49s logs
logs
January 11, 2024 09:14 2m 49s
Merge pull request #1278 from goblint/mutex-meet-digest indentation #9110: Commit f53e4eb pushed by sim642
January 11, 2024 09:05 2m 54s master
master
January 11, 2024 09:05 2m 54s
Add Zulip badge and acknowledgement indentation #9109: Pull request #1320 opened by vesalvojdani
January 10, 2024 16:55 3s ack-zulip
ack-zulip
January 10, 2024 16:55 3s