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 necessary framework to enable selective verification of methods in viper Scala CI #1120: Pull request #843 synchronize by LaurenzV
March 20, 2025 20:07 6m 0s LaurenzV:separate
LaurenzV:separate
March 20, 2025 20:07 6m 0s
Add necessary framework to enable selective verification of methods in viper Run Backend CI #875: Pull request #843 synchronize by LaurenzV
March 20, 2025 20:07 20m 23s
March 20, 2025 20:07 20m 23s
No longer marking blocks with labels with invariants as loop head blo… Run Backend CI #874: Commit fd69751 pushed by marcoeilers
March 19, 2025 19:18 20m 18s master
master
March 19, 2025 19:18 20m 18s
No longer marking blocks with labels with invariants as loop head blo… Update Silver Submodule #242: Commit fd69751 pushed by marcoeilers
March 19, 2025 19:18 22s master
master
March 19, 2025 19:18 22s
No longer marking blocks with labels with invariants as loop head blo… Scala CI #1119: Commit fd69751 pushed by marcoeilers
March 19, 2025 19:18 6m 5s master
master
March 19, 2025 19:18 6m 5s
No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads Scala CI #1118: Pull request #859 synchronize by marcoeilers
March 19, 2025 18:58 5m 54s meilers_fix_non_loop_head_inv_labels
meilers_fix_non_loop_head_inv_labels
March 19, 2025 18:58 5m 54s
No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads Run Backend CI #873: Pull request #859 synchronize by marcoeilers
March 19, 2025 18:58 20m 11s
March 19, 2025 18:58 20m 11s
No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads Scala CI #1117: Pull request #859 synchronize by marcoeilers
March 19, 2025 18:34 6m 20s meilers_fix_non_loop_head_inv_labels
meilers_fix_non_loop_head_inv_labels
March 19, 2025 18:34 6m 20s
No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads Run Backend CI #872: Pull request #859 synchronize by marcoeilers
March 19, 2025 18:34 20m 12s
March 19, 2025 18:34 20m 12s
No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads Scala CI #1116: Pull request #859 opened by marcoeilers
March 19, 2025 18:34 7m 29s meilers_fix_non_loop_head_inv_labels
meilers_fix_non_loop_head_inv_labels
March 19, 2025 18:34 7m 29s
No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads Run Backend CI #871: Pull request #859 opened by marcoeilers
March 19, 2025 18:34 20m 43s
March 19, 2025 18:34 20m 43s
Disallow asserting expressions in axioms (#858) Run Backend CI #870: Commit 0fc6017 pushed by marcoeilers
March 19, 2025 17:05 20m 13s master
master
March 19, 2025 17:05 20m 13s
Disallow asserting expressions in axioms (#858) Update Silver Submodule #241: Commit 0fc6017 pushed by marcoeilers
March 19, 2025 17:05 21s master
master
March 19, 2025 17:05 21s
Disallow asserting expressions in axioms (#858) Scala CI #1115: Commit 0fc6017 pushed by marcoeilers
March 19, 2025 17:05 8m 20s master
master
March 19, 2025 17:05 8m 20s
Disallow asserting expressions in axioms Scala CI #1114: Pull request #858 opened by marcoeilers
March 19, 2025 16:44 6m 16s meilers_disallow_asserting_in_axioms
meilers_disallow_asserting_in_axioms
March 19, 2025 16:44 6m 16s
Disallow asserting expressions in axioms Run Backend CI #869: Pull request #858 opened by marcoeilers
March 19, 2025 16:44 21m 15s
March 19, 2025 16:44 21m 15s
Add formatter for the parse AST (#820) Update Silver Submodule #240: Commit be1716f pushed by rayman2000
March 19, 2025 15:36 19s master
master
March 19, 2025 15:36 19s
Add formatter for the parse AST (#820) Scala CI #1113: Commit be1716f pushed by rayman2000
March 19, 2025 15:36 6m 45s master
master
March 19, 2025 15:36 6m 45s
Add formatter for the parse AST (#820) Run Backend CI #868: Commit be1716f pushed by rayman2000
March 19, 2025 15:36 20m 31s master
master
March 19, 2025 15:36 20m 31s
Add formatter for the parse AST Scala CI #1112: Pull request #820 synchronize by rayman2000
March 19, 2025 15:14 8m 11s LaurenzV:format-rnode
LaurenzV:format-rnode
March 19, 2025 15:14 8m 11s
Add formatter for the parse AST Run Backend CI #867: Pull request #820 synchronize by rayman2000
March 19, 2025 15:14 20m 47s
March 19, 2025 15:14 20m 47s
Fixing issue #849 Scala CI #1111: Pull request #857 synchronize by marcoeilers
March 18, 2025 18:07 9m 45s meilers_fix_849
meilers_fix_849
March 18, 2025 18:07 9m 45s
Fixing issue #849 Run Backend CI #866: Pull request #857 synchronize by marcoeilers
March 18, 2025 18:07 20m 11s
March 18, 2025 18:07 20m 11s
Fixing issue #849 Scala CI #1110: Pull request #857 opened by marcoeilers
March 18, 2025 17:35 5m 55s meilers_fix_849
meilers_fix_849
March 18, 2025 17:35 5m 55s
Fixing issue #849 Run Backend CI #865: Pull request #857 opened by marcoeilers
March 18, 2025 17:35 19m 40s
March 18, 2025 17:35 19m 40s