Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
710 workflow runs
710 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Reduce Function Call Graph Computations for Termination Plugin Run Backend CI #418: Pull request #719 synchronize by ArquintL
July 12, 2023 16:53 36m 48s
July 12, 2023 16:53 36m 48s
Reduce Function Call Graph Computations for Termination Plugin Scala CI #665: Pull request #719 opened by ArquintL
July 12, 2023 16:14 8m 40s optimize-termination-plugin
optimize-termination-plugin
July 12, 2023 16:14 8m 40s
Reduce Function Call Graph Computations for Termination Plugin Run Backend CI #417: Pull request #719 opened by ArquintL
July 12, 2023 16:14 34m 37s
July 12, 2023 16:14 34m 37s
Support for chained comparisons Scala CI #664: Pull request #713 synchronize by marcoeilers
July 12, 2023 16:11 8m 22s meilers_chained_comp
meilers_chained_comp
July 12, 2023 16:11 8m 22s
Support for chained comparisons Run Backend CI #416: Pull request #713 synchronize by marcoeilers
July 12, 2023 16:11 30m 54s
July 12, 2023 16:11 30m 54s
Improve language flexibility (#685) Run Backend CI #415: Commit 3f39bbc pushed by JonasAlaif
July 12, 2023 15:38 31m 3s master
master
July 12, 2023 15:38 31m 3s
Improve language flexibility (#685) Update Silver Submodule #140: Commit 3f39bbc pushed by JonasAlaif
July 12, 2023 15:38 18s master
master
July 12, 2023 15:38 18s
Improve language flexibility (#685) Scala CI #663: Commit 3f39bbc pushed by JonasAlaif
July 12, 2023 15:38 9m 27s master
master
July 12, 2023 15:38 9m 27s
Improve language flexibility Run Backend CI #414: Pull request #685 synchronize by JonasAlaif
July 12, 2023 14:08 19m 20s
July 12, 2023 14:08 19m 20s
Improve language flexibility Scala CI #662: Pull request #685 synchronize by JonasAlaif
July 12, 2023 14:08 9m 9s improve-flexibility
improve-flexibility
July 12, 2023 14:08 9m 9s
ProTip! You can narrow down the results and go further in time using created:<2023-07-12 or the other filters available.