Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
660 workflow runs
660 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #722 from viperproject/parser-warnings Scala CI #676: Commit c2c1b11 pushed by marcoeilers
July 17, 2023 09:57 7m 55s master
master
July 17, 2023 09:57 7m 55s
Merge pull request #722 from viperproject/parser-warnings Update Silver Submodule #144: Commit c2c1b11 pushed by marcoeilers
July 17, 2023 09:57 17s master
master
July 17, 2023 09:57 17s
Merge pull request #722 from viperproject/parser-warnings Run Backend CI #428: Commit c2c1b11 pushed by marcoeilers
July 17, 2023 09:57 30m 38s master
master
July 17, 2023 09:57 30m 38s
Parser Warnings Scala CI #675: Pull request #722 synchronize by marcoeilers
July 17, 2023 09:32 9m 46s parser-warnings
parser-warnings
July 17, 2023 09:32 9m 46s
Parser Warnings Run Backend CI #427: Pull request #722 synchronize by marcoeilers
July 17, 2023 09:32 24m 55s
July 17, 2023 09:32 24m 55s
Parser Warnings Scala CI #674: Pull request #722 opened by ArquintL
July 17, 2023 07:30 7m 58s parser-warnings
parser-warnings
July 17, 2023 07:30 7m 58s
Parser Warnings Run Backend CI #426: Pull request #722 opened by ArquintL
July 17, 2023 07:30 30m 59s
July 17, 2023 07:30 30m 59s
Merge pull request #721 from mimo31/pred-acc-arg-purity-check Update Silver Submodule #143: Commit a28b06f pushed by marcoeilers
July 13, 2023 20:25 17s master
master
July 13, 2023 20:25 17s
Merge pull request #721 from mimo31/pred-acc-arg-purity-check Scala CI #673: Commit a28b06f pushed by marcoeilers
July 13, 2023 20:25 8m 1s master
master
July 13, 2023 20:25 8m 1s
Merge pull request #721 from mimo31/pred-acc-arg-purity-check Run Backend CI #425: Commit a28b06f pushed by marcoeilers
July 13, 2023 20:25 26m 25s master
master
July 13, 2023 20:25 26m 25s
Add purity checks for predicate access arguments Scala CI #672: Pull request #721 opened by vfukala
July 13, 2023 19:54 11m 28s vfukala:pred-acc-arg-purity-check
vfukala:pred-acc-arg-purity-check
July 13, 2023 19:54 11m 28s
Add purity checks for predicate access arguments Run Backend CI #424: Pull request #721 opened by vfukala
July 13, 2023 19:54 30m 45s
July 13, 2023 19:54 30m 45s
Merge pull request #713 from viperproject/meilers_chained_comp Update Silver Submodule #142: Commit d769c1e pushed by marcoeilers
July 13, 2023 13:33 17s master
master
July 13, 2023 13:33 17s
Merge pull request #713 from viperproject/meilers_chained_comp Scala CI #671: Commit d769c1e pushed by marcoeilers
July 13, 2023 13:33 7m 41s master
master
July 13, 2023 13:33 7m 41s
Merge pull request #713 from viperproject/meilers_chained_comp Run Backend CI #423: Commit d769c1e pushed by marcoeilers
July 13, 2023 13:33 24m 57s master
master
July 13, 2023 13:33 24m 57s
Support for chained comparisons Run Backend CI #422: Pull request #713 synchronize by marcoeilers
July 13, 2023 13:07 25m 22s
July 13, 2023 13:07 25m 22s
Support for chained comparisons Scala CI #670: Pull request #713 synchronize by marcoeilers
July 13, 2023 13:07 9m 55s meilers_chained_comp
meilers_chained_comp
July 13, 2023 13:07 9m 55s
Support for chained comparisons Scala CI #669: Pull request #713 synchronize by JonasAlaif
July 13, 2023 12:42 9m 9s meilers_chained_comp
meilers_chained_comp
July 13, 2023 12:42 9m 9s
Support for chained comparisons Run Backend CI #421: Pull request #713 synchronize by JonasAlaif
July 13, 2023 12:42 26m 23s
July 13, 2023 12:42 26m 23s
Merge pull request #719 from viperproject/optimize-termination-plugin Update Silver Submodule #141: Commit 5babb18 pushed by ArquintL
July 12, 2023 17:19 17s master
master
July 12, 2023 17:19 17s
Merge pull request #719 from viperproject/optimize-termination-plugin Run Backend CI #420: Commit 5babb18 pushed by ArquintL
July 12, 2023 17:19 37m 28s master
master
July 12, 2023 17:19 37m 28s
Merge pull request #719 from viperproject/optimize-termination-plugin Scala CI #668: Commit 5babb18 pushed by ArquintL
July 12, 2023 17:19 12m 33s master
master
July 12, 2023 17:19 12m 33s
Reduce Function Call Graph Computations for Termination Plugin Scala CI #667: Pull request #719 synchronize by ArquintL
July 12, 2023 16:54 7m 58s optimize-termination-plugin
optimize-termination-plugin
July 12, 2023 16:54 7m 58s
Reduce Function Call Graph Computations for Termination Plugin Run Backend CI #419: Pull request #719 synchronize by ArquintL
July 12, 2023 16:54 25m 12s
July 12, 2023 16:54 25m 12s
Reduce Function Call Graph Computations for Termination Plugin Scala CI #666: Pull request #719 synchronize by ArquintL
July 12, 2023 16:53 7m 43s optimize-termination-plugin
optimize-termination-plugin
July 12, 2023 16:53 7m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-07-12 or the other filters available.