Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
388 workflow runs
388 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Comprehensive backend-independent counterexamples Scala CI #1310: Pull request #883 synchronize by marcoeilers
7m 30s meilers_raoul_counterexamples
meilers_raoul_counterexamples
7m 30s
Comprehensive backend-independent counterexamples Run Backend CI #1071: Pull request #883 synchronize by marcoeilers
22m 28s
22m 28s
Comprehensive backend-independent counterexamples Scala CI #1309: Pull request #883 synchronize by marcoeilers
9m 30s meilers_raoul_counterexamples
meilers_raoul_counterexamples
9m 30s
Comprehensive backend-independent counterexamples Run Backend CI #1070: Pull request #883 synchronize by marcoeilers
20m 31s
20m 31s
Comprehensive backend-independent counterexamples Scala CI #1308: Pull request #883 synchronize by marcoeilers
7m 41s meilers_raoul_counterexamples
meilers_raoul_counterexamples
7m 41s
Comprehensive backend-independent counterexamples Run Backend CI #1069: Pull request #883 synchronize by marcoeilers
22m 15s
22m 15s
Comprehensive backend-independent counterexamples Scala CI #1307: Pull request #883 synchronize by marcoeilers
9m 41s meilers_raoul_counterexamples
meilers_raoul_counterexamples
9m 41s
Comprehensive backend-independent counterexamples Run Backend CI #1068: Pull request #883 synchronize by marcoeilers
20m 35s
20m 35s
Add dependency analysis features Run Backend CI #1067: Pull request #910 synchronize by AndreaKe
21m 26s
21m 26s
Add dependency analysis features Run Backend CI #1066: Pull request #910 synchronize by AndreaKe
21m 23s
21m 23s
Add dependency analysis features Run Backend CI #1065: Pull request #910 synchronize by AndreaKe
21m 5s
21m 5s
Adding more permission simplifier rules Scala CI #1306: Pull request #924 synchronize by jackstodart
8m 56s jackstodart:more_simplifier
jackstodart:more_simplifier
8m 56s
Adding more permission simplifier rules Run Backend CI #1064: Pull request #924 synchronize by jackstodart
21m 6s
21m 6s
Adding more permission simplifier rules Scala CI #1305: Pull request #924 opened by jackstodart
11m 4s jackstodart:more_simplifier
jackstodart:more_simplifier
11m 4s
Adding more permission simplifier rules Run Backend CI #1063: Pull request #924 opened by jackstodart
21m 47s
21m 47s
Properly handle InhaleExhale assertions inside QP desugaring code (#923) Scala CI #1304: Commit 81a5afe pushed by marcoeilers
8m 1s master
master
8m 1s
Properly handle InhaleExhale assertions inside QP desugaring code (#923) Run Backend CI #1062: Commit 81a5afe pushed by marcoeilers
20m 20s master
master
20m 20s
Properly handle InhaleExhale assertions inside QP desugaring code (#923) Update Silver Submodule #299: Commit 81a5afe pushed by marcoeilers
11s master
master
11s
Properly handle InhaleExhale assertions inside QP desugaring code Scala CI #1303: Pull request #923 opened by marcoeilers
9m 25s meilers_fix_silicon_994
meilers_fix_silicon_994
9m 25s
Properly handle InhaleExhale assertions inside QP desugaring code Run Backend CI #1061: Pull request #923 opened by marcoeilers
21m 32s
21m 32s
Comprehensive backend-independent counterexamples Scala CI #1302: Pull request #883 synchronize by marcoeilers
6m 37s meilers_raoul_counterexamples
meilers_raoul_counterexamples
6m 37s
Comprehensive backend-independent counterexamples Run Backend CI #1060: Pull request #883 synchronize by marcoeilers
18m 36s
18m 36s
Comprehensive backend-independent counterexamples Scala CI #1301: Pull request #883 synchronize by marcoeilers
11m 20s meilers_raoul_counterexamples
meilers_raoul_counterexamples
11m 20s
Comprehensive backend-independent counterexamples Run Backend CI #1059: Pull request #883 synchronize by marcoeilers
3m 42s
3m 42s
Comprehensive backend-independent counterexamples Scala CI #1300: Pull request #883 synchronize by marcoeilers
10m 54s meilers_raoul_counterexamples
meilers_raoul_counterexamples
10m 54s