Skip to content

Actions: viperproject/silver

Actions

Run Backend CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
carbon_silicon_ci.yml
316 workflow runs
316 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New "asserting" expression Run Backend CI #711: Pull request #814 opened by marcoeilers
October 3, 2024 16:21 19m 55s
October 3, 2024 16:21 19m 55s
Merge pull request #813 from viperproject/meilers_update_upload_artifact Run Backend CI #710: Commit 10b1b26 pushed by marcoeilers
September 11, 2024 20:32 20m 30s master
master
September 11, 2024 20:32 20m 30s
Update upload artifact Run Backend CI #709: Pull request #813 opened by marcoeilers
September 11, 2024 19:14 20m 23s
September 11, 2024 19:14 20m 23s
Merge pull request #811 from viperproject/meilers_release_notes_24_8 Run Backend CI #708: Commit 9694904 pushed by viper-admin
September 6, 2024 14:47 21m 23s master
master
September 6, 2024 14:47 21m 23s
Add block level message types Run Backend CI #707: Pull request #812 synchronize by trktby
September 4, 2024 08:18 26s
September 4, 2024 08:18 26s
Add block level message types Run Backend CI #706: Pull request #812 opened by trktby
September 3, 2024 07:54 22m 3s
September 3, 2024 07:54 22m 3s
Update ReleaseNotes.md for 24/8 release Run Backend CI #705: Pull request #811 opened by marcoeilers
September 2, 2024 16:05 23s
September 2, 2024 16:05 23s
Merge pull request #810 from viperproject/keuscha/silicon-debugger Run Backend CI #704: Commit 0410211 pushed by marcoeilers
September 2, 2024 00:36 20m 14s master
master
September 2, 2024 00:36 20m 14s
Silicon Debugging Run Backend CI #703: Pull request #810 synchronize by marcoeilers
August 30, 2024 21:50 22s
August 30, 2024 21:50 22s
Silicon Debugging Run Backend CI #702: Pull request #810 synchronize by marcoeilers
August 28, 2024 23:31 3m 5s
August 28, 2024 23:31 3m 5s
Silicon Debugging Run Backend CI #701: Pull request #810 synchronize by marcoeilers
August 28, 2024 22:55 2m 12s
August 28, 2024 22:55 2m 12s
Silicon Debugging Run Backend CI #700: Pull request #810 opened by marcoeilers
August 28, 2024 00:47 23m 7s
August 28, 2024 00:47 23m 7s
Parser changes for documentation generator Run Backend CI #699: Pull request #780 synchronize by fnussbaum
August 13, 2024 21:34 4m 14s
August 13, 2024 21:34 4m 14s
Advanced logical proofs Run Backend CI #698: Pull request #785 synchronize by jogasser
July 15, 2024 13:29 22m 1s
July 15, 2024 13:29 22m 1s
Advanced logical proofs Run Backend CI #697: Pull request #785 synchronize by jogasser
July 8, 2024 11:25 21m 14s
July 8, 2024 11:25 21m 14s
Advanced logical proofs Run Backend CI #696: Pull request #785 synchronize by jogasser
July 8, 2024 10:06 21m 35s
July 8, 2024 10:06 21m 35s
Advanced logical proofs Run Backend CI #695: Pull request #785 synchronize by jogasser
July 1, 2024 13:34 21m 31s
July 1, 2024 13:34 21m 31s
Advanced logical proofs Run Backend CI #694: Pull request #785 synchronize by jogasser
July 1, 2024 10:12 21m 49s
July 1, 2024 10:12 21m 49s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #693: Pull request #805 synchronize by manud99
June 30, 2024 09:54 21m 8s
June 30, 2024 09:54 21m 8s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #692: Pull request #805 synchronize by manud99
June 30, 2024 09:00 21m 3s
June 30, 2024 09:00 21m 3s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #691: Pull request #805 synchronize by manud99
June 28, 2024 14:03 21m 22s
June 28, 2024 14:03 21m 22s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #690: Pull request #805 synchronize by manud99
June 27, 2024 13:31 49m 56s
June 27, 2024 13:31 49m 56s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #689: Pull request #805 synchronize by manud99
June 27, 2024 13:26 50m 29s
June 27, 2024 13:26 50m 29s
Merge pull request #802 from viperproject/meilers_dont_count_requires… Run Backend CI #688: Commit 93bc9b7 pushed by marcoeilers
June 25, 2024 19:23 21m 39s master
master
June 25, 2024 19:23 21m 39s
Allow domain axioms to use functions that have decreases clauses Run Backend CI #687: Pull request #802 synchronize by marcoeilers
June 25, 2024 19:01 21m 33s
June 25, 2024 19:01 21m 33s