Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
835 workflow run results
835 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump jinja2 from 3.0.3 to 3.1.3 in /docs locked #9541: Commit 28d5ea2 pushed by dependabot bot
January 11, 2024 19:19 29m 52s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 11, 2024 19:19 29m 52s
Linear Two-Variable Equalities Analysis locked #9540: Pull request #1297 synchronize by jennieliangga
January 11, 2024 19:00 29m 29s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 19:00 29m 29s
Unbox some types locked #9539: Pull request #1310 synchronize by sim642
January 11, 2024 15:33 21m 38s unboxed
unboxed
January 11, 2024 15:33 21m 38s
Merge branch 'master' into unboxed locked #9538: Commit e4ab634 pushed by sim642
January 11, 2024 15:33 19m 41s unboxed
unboxed
January 11, 2024 15:33 19m 41s
Linear Two-Variable Equalities Analysis locked #9537: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 28m 10s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 28m 10s
Merge branch 'master' into priv-atomic locked #9536: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 29m 34s priv-atomic
priv-atomic
January 11, 2024 15:04 29m 34s
Add some hacky atomic privatizations locked #9535: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 20m 55s priv-atomic
priv-atomic
January 11, 2024 15:04 20m 55s
Comment out atomic mutex protecting everything again locked #9534: Commit 696a35f pushed by sim642
January 11, 2024 14:58 41m 1s priv-atomic
priv-atomic
January 11, 2024 14:58 41m 1s
Add __goblint_globalize special function locked #9533: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 37m 28s priv-atomic
priv-atomic
January 11, 2024 14:53 37m 28s
Delete duplicate priv-atomic tests locked #9532: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 32m 55s priv-atomic
priv-atomic
January 11, 2024 14:44 32m 55s
Separate relation mutex-meet-tid with atomic support locked #9531: Commit d4a1fe4 pushed by sim642
January 11, 2024 14:34 36m 31s priv-atomic
priv-atomic
January 11, 2024 14:34 36m 31s
Separate base privatization with atomic support locked #9530: Commit f754362 pushed by sim642
January 11, 2024 14:01 19m 24s priv-atomic
priv-atomic
January 11, 2024 14:01 19m 24s
Fix goblint-lib-modules.py output locked #9529: Commit 69f28b2 pushed by sim642
January 11, 2024 13:46 30m 10s master
master
January 11, 2024 13:46 30m 10s
Document ReturnUtil locked #9528: Commit e847c8f pushed by sim642
January 11, 2024 13:46 24m 14s master
master
January 11, 2024 13:46 24m 14s
Merge pull request #1323 from goblint/threadEscape-combine_assign locked #9527: Commit bacedc7 pushed by sim642
January 11, 2024 13:42 21m 9s master
master
January 11, 2024 13:42 21m 9s
Implement combine_assign in threadEscape locked #9526: Pull request #1323 synchronize by karoliineh
January 11, 2024 11:51 24m 42s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 24m 42s
Add comment about f_ask in combine_assign locked #9525: Commit 34d30fe pushed by karoliineh
January 11, 2024 11:51 22m 5s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 22m 5s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled locked #9524: Pull request #1324 opened by karoliineh
January 11, 2024 11:02 42m 33s alloca
alloca
January 11, 2024 11:02 42m 33s
Consider alloca for loopUnrolling locked #9523: Commit c76a0a2 pushed by karoliineh
January 11, 2024 10:56 27m 56s alloca
alloca
January 11, 2024 10:56 27m 56s
Replace direct stdout printing with logging locked #9522: Pull request #1117 synchronize by sim642
January 11, 2024 10:47 39m 34s logs
logs
January 11, 2024 10:47 39m 34s
Do not use stdout for logs if server.mode is stdio locked #9521: Commit 05d9cce pushed by sim642
January 11, 2024 10:47 36m 50s logs
logs
January 11, 2024 10:47 36m 50s
Implement combine_assign in threadEscape locked #9520: Pull request #1323 synchronize by karoliineh
January 11, 2024 10:44 38m 23s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:44 38m 23s
Use ask variable instead of Analyses.ask_of_ctx ctx locked #9519: Commit d719842 pushed by karoliineh
January 11, 2024 10:44 30m 1s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:44 30m 1s
Replace direct stdout printing with logging locked #9518: Pull request #1117 synchronize by sim642
January 11, 2024 10:39 24m 25s logs
logs
January 11, 2024 10:39 24m 25s
Remove print_endline for GobView locked #9517: Commit 9135222 pushed by sim642
January 11, 2024 10:39 20m 28s logs
logs
January 11, 2024 10:39 20m 28s