Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,224 workflow runs
1,224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Submodules Update Submodules #384: Scheduled
October 25, 2024 06:02 15s master
master
October 25, 2024 06:02 15s
Update Submodules Update Submodules #383: Scheduled
October 24, 2024 06:02 13s master
master
October 24, 2024 06:02 13s
Fixed chunk with wrong receiver being returned ci #1763: Commit 8c2ddc8 pushed by marcoeilers
October 23, 2024 14:53 14s meilers_kinduction
meilers_kinduction
October 23, 2024 14:53 14s
Update Submodules Update Submodules #382: Scheduled
October 23, 2024 06:02 15s master
master
October 23, 2024 06:02 15s
Shortcuts for some common (in k-ind) special cases) ci #1762: Commit 4c032d1 pushed by marcoeilers
October 22, 2024 18:32 11s meilers_kinduction
meilers_kinduction
October 22, 2024 18:32 11s
QPs work for the tests I have! ci #1761: Commit dabefe5 pushed by marcoeilers
October 22, 2024 18:17 13s meilers_kinduction
meilers_kinduction
October 22, 2024 18:17 13s
Update silver ci #1760: Commit f7229cd pushed by marcoeilers
October 22, 2024 15:07 12m 51s meilers_assert_read_only
meilers_assert_read_only
October 22, 2024 15:07 12m 51s
Adapting to renamed config field ci #1759: Commit 9c6d624 pushed by marcoeilers
October 22, 2024 14:49 1m 0s meilers_assert_read_only
meilers_assert_read_only
October 22, 2024 14:49 1m 0s
Update Submodules Update Submodules #381: Scheduled
October 22, 2024 06:02 14s master
master
October 22, 2024 06:02 14s
Update Submodules Update Submodules #380: Scheduled
October 21, 2024 06:02 19s master
master
October 21, 2024 06:02 19s
Tests with complex perm expressions, fixing some problems ci #1758: Commit 97138be pushed by marcoeilers
October 21, 2024 01:19 10s meilers_kinduction
meilers_kinduction
October 21, 2024 01:19 10s
Update Submodules Update Submodules #379: Scheduled
October 20, 2024 06:02 15s master
master
October 20, 2024 06:02 15s
Update Submodules Update Submodules #378: Scheduled
October 19, 2024 06:02 13s master
master
October 19, 2024 06:02 13s
Preparing tests for actual QPs ci #1757: Commit cf9eb9a pushed by marcoeilers
October 19, 2024 00:38 13s meilers_kinduction
meilers_kinduction
October 19, 2024 00:38 13s
QP chunk merging (from master branch, thanks Alex), and immediately c… ci #1756: Commit a54023d pushed by marcoeilers
October 18, 2024 23:42 12s meilers_kinduction
meilers_kinduction
October 18, 2024 23:42 12s
Merging heaps early, fixing optional consumed heaps returned, fixing … ci #1755: Commit ff2f900 pushed by marcoeilers
October 18, 2024 23:36 12s meilers_kinduction
meilers_kinduction
October 18, 2024 23:36 12s
Line number and postconditions for loops. ci #1754: Commit ef5c200 pushed by rayman2000
October 18, 2024 14:40 11s nklose/biabduction-prototype
nklose/biabduction-prototype
October 18, 2024 14:40 11s
Update Submodules Update Submodules #377: Scheduled
October 18, 2024 06:02 12s master
master
October 18, 2024 06:02 12s
Revamped loops for new abstraction ci #1753: Commit 0d56642 pushed by rayman2000
October 17, 2024 15:24 13s nklose/biabduction-prototype
nklose/biabduction-prototype
October 17, 2024 15:24 13s
Update Submodules Update Submodules #376: Scheduled
October 17, 2024 06:02 17s master
master
October 17, 2024 06:02 17s
Merge pull request #878 from viperproject/auto-update-submodules ci #1752: Commit 4d756c7 pushed by Dspil
October 16, 2024 06:15 12m 46s master
master
October 16, 2024 06:15 12m 46s
Update Submodules ci #1751: Pull request #878 opened by Dspil
October 16, 2024 06:02 12m 29s auto-update-submodules
auto-update-submodules
October 16, 2024 06:02 12m 29s
Updates submodules ci #1750: Commit e71774c pushed by Dspil
October 16, 2024 06:02 12m 34s auto-update-submodules
auto-update-submodules
October 16, 2024 06:02 12m 34s
Update Submodules Update Submodules #375: Scheduled
October 16, 2024 06:02 20s master
master
October 16, 2024 06:02 20s
Merging added chunks properly ci #1749: Commit 8645c6c pushed by marcoeilers
October 15, 2024 22:36 10s meilers_kinduct_merge_chunks
meilers_kinduct_merge_chunks
October 15, 2024 22:36 10s