Skip to content

Actions: viperproject/silver

Actions

Run Backend CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
carbon_silicon_ci.yml
308 workflow runs
308 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing issue #849 by letting extension expressions declare whether th… Run Backend CI #888: Commit 94bd536 pushed by marcoeilers
April 4, 2025 14:02 20m 50s master
master
April 4, 2025 14:02 20m 50s
Fixing issue #849 Run Backend CI #887: Pull request #857 synchronize by marcoeilers
April 4, 2025 13:41 20m 44s
April 4, 2025 13:41 20m 44s
Fixing issue #849 Run Backend CI #886: Pull request #857 synchronize by marcoeilers
April 4, 2025 12:57 20m 31s
April 4, 2025 12:57 20m 31s
Fixing issue #849 Run Backend CI #885: Pull request #857 synchronize by marcoeilers
April 4, 2025 12:19 19m 38s
April 4, 2025 12:19 19m 38s
Fixing issue #849 Run Backend CI #884: Pull request #857 synchronize by marcoeilers
April 4, 2025 11:59 26m 0s
April 4, 2025 11:59 26m 0s
Small simplifier improvements Run Backend CI #883: Pull request #863 opened by marcoeilers
April 4, 2025 10:29 20m 28s
April 4, 2025 10:29 20m 28s
allows for custom AnnotatedTestInput (#862) Run Backend CI #882: Commit 7807892 pushed by ArquintL
April 3, 2025 11:48 20m 43s master
master
April 3, 2025 11:48 20m 43s
Generalizing AnnotationBasedTestSuite to allow custom AnnotatedTestInputs Run Backend CI #881: Pull request #862 opened by ArquintL
March 31, 2025 12:02 20m 12s
March 31, 2025 12:02 20m 12s
Display failing branches Run Backend CI #880: Pull request #861 synchronize by 7i6ht
March 25, 2025 08:01 2m 33s
March 25, 2025 08:01 2m 33s
Display failing branches Run Backend CI #879: Pull request #861 synchronize by 7i6ht
March 25, 2025 07:38 1m 27s
March 25, 2025 07:38 1m 27s
Display failing branches Run Backend CI #878: Pull request #861 synchronize by 7i6ht
March 25, 2025 06:11 3m 12s
March 25, 2025 06:11 3m 12s
Display failing branches Run Backend CI #877: Pull request #861 opened by 7i6ht
March 25, 2025 06:02 1m 32s
March 25, 2025 06:02 1m 32s
iterative simplifier Run Backend CI #876: Pull request #860 opened by friedusb
March 24, 2025 14:58 21m 17s
March 24, 2025 14:58 21m 17s
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 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 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 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 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) 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 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 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 Run Backend CI #865: Pull request #857 opened by marcoeilers
March 18, 2025 17:35 19m 40s
March 18, 2025 17:35 19m 40s
Making sure PluginAwareReporter preserves cached flag of messages (#856) Run Backend CI #864: Commit 8d76b10 pushed by marcoeilers
March 18, 2025 16:40 20m 33s master
master
March 18, 2025 16:40 20m 33s