Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
964 workflow run results
964 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #9491: Scheduled
January 10, 2024 02:08 1h 46m 33s master
master
January 10, 2024 02:08 1h 46m 33s
Linear Two-Variable Equalities Analysis locked #9490: Pull request #1297 synchronize by reb-ddm
January 9, 2024 19:45 25m 35s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 9, 2024 19:45 25m 35s
Some Refactoring of Affeq & Printing Bug locked #9489: Pull request #1309 synchronize by michael-schwarz
January 9, 2024 17:38 21m 40s refactor_affeq
refactor_affeq
January 9, 2024 17:38 21m 40s
Rm outdated comment locked #9488: Commit 3422110 pushed by michael-schwarz
January 9, 2024 17:38 24m 34s refactor_affeq
refactor_affeq
January 9, 2024 17:38 24m 34s
Linear Two-Variable Equalities Analysis locked #9487: Pull request #1297 synchronize by reb-ddm
January 9, 2024 12:59 23m 59s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 9, 2024 12:59 23m 59s
Remove duplicate ctx-derived arguments in base analysis locked #9486: Pull request #1308 synchronize by karoliineh
January 9, 2024 11:53 21m 42s issue-1266
issue-1266
January 9, 2024 11:53 21m 42s
Avoid doing Analyses.ask_of_ctx ctx for each exp in a list locked #9485: Commit 76e5d38 pushed by karoliineh
January 9, 2024 11:53 29m 26s issue-1266
issue-1266
January 9, 2024 11:53 29m 26s
Merge pull request #688 from goblint/klever locked #9484: Commit 4f09c28 pushed by sim642
January 9, 2024 11:09 20m 42s master
master
January 9, 2024 11:09 20m 42s
Klever concurrency safety support locked #9483: Pull request #688 synchronize by sim642
January 9, 2024 10:13 25m 4s klever
klever
January 9, 2024 10:13 25m 4s
Merge branch 'master' into klever locked #9482: Commit 27684fe pushed by sim642
January 9, 2024 10:13 29m 43s klever
klever
January 9, 2024 10:13 29m 43s
Eta-reduce ask_of_ctx to avoid function allocation locked #9481: Commit be69a34 pushed by sim642
January 9, 2024 10:12 20m 26s unboxed
unboxed
January 9, 2024 10:12 20m 26s
Merge branch 'master' into klever locked #9480: Commit f2a5d51 pushed by sim642
January 9, 2024 09:35 9m 44s klever
klever
January 9, 2024 09:35 9m 44s
Klever concurrency safety support locked #9479: Pull request #688 synchronize by sim642
January 9, 2024 09:35 9m 29s klever
klever
January 9, 2024 09:35 9m 29s
Linear Two-Variable Equalities Analysis locked #9478: Pull request #1297 synchronize by jennieliangga
January 9, 2024 09:04 22m 36s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 9, 2024 09:04 22m 36s
locked locked #9477: Scheduled
January 9, 2024 02:08 1h 42m 20s master
master
January 9, 2024 02:08 1h 42m 20s
Linear Two-Variable Equalities Analysis locked #9476: Pull request #1297 synchronize by reb-ddm
January 8, 2024 17:09 27m 3s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 17:09 27m 3s
Linear Two-Variable Equalities Analysis locked #9475: Pull request #1297 synchronize by reb-ddm
January 8, 2024 14:45 28m 25s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 14:45 28m 25s
Linear Two-Variable Equalities Analysis locked #9474: Pull request #1297 synchronize by reb-ddm
January 8, 2024 13:34 22m 2s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 13:34 22m 2s
Fix exception when computing offset of unkown size. locked #9473: Commit ebd90ba pushed by jerhard
January 8, 2024 12:12 25m 22s modular_function_summaries
modular_function_summaries
January 8, 2024 12:12 25m 22s
Linear Two-Variable Equalities Analysis locked #9472: Pull request #1297 synchronize by alina-weber
January 8, 2024 11:25 26m 28s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 11:25 26m 28s
Linear Two-Variable Equalities Analysis locked #9471: Pull request #1297 synchronize by alina-weber
January 8, 2024 10:41 19m 27s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 10:41 19m 27s
Linear Two-Variable Equalities Analysis locked #9470: Pull request #1297 synchronize by alina-weber
January 8, 2024 09:45 21m 59s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 8, 2024 09:45 21m 59s
locked locked #9469: Scheduled
January 8, 2024 02:07 2h 0m 38s master
master
January 8, 2024 02:07 2h 0m 38s
Linear Two-Variable Equalities Analysis locked #9468: Pull request #1297 synchronize by reb-ddm
January 7, 2024 16:53 29m 15s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 7, 2024 16:53 29m 15s
Linear Two-Variable Equalities Analysis locked #9467: Pull request #1297 synchronize by reb-ddm
January 7, 2024 16:49 29m 1s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 7, 2024 16:49 29m 1s