Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Submodules ci #1428: Pull request #812 opened by Dspil
February 28, 2024 06:02 13m 6s auto-update-submodules
auto-update-submodules
February 28, 2024 06:02 13m 6s
Updates submodules ci #1427: Commit 8996cfc pushed by Dspil
February 28, 2024 06:02 12m 57s auto-update-submodules
auto-update-submodules
February 28, 2024 06:02 12m 57s
Update Submodules Update Submodules #138: Scheduled
February 28, 2024 06:02 32s master
master
February 28, 2024 06:02 32s
Merge pull request #756 from viperproject/meilers_wildcard_mult ci #1426: Commit 7910222 pushed by marcoeilers
February 27, 2024 14:08 14m 2s master
master
February 27, 2024 14:08 14m 2s
Simplify wildcard multiplication ci #1425: Pull request #756 synchronize by marcoeilers
February 27, 2024 13:19 13m 16s meilers_wildcard_mult
meilers_wildcard_mult
February 27, 2024 13:19 13m 16s
Merge branch 'master' into meilers_wildcard_mult ci #1424: Commit 665a083 pushed by marcoeilers
February 27, 2024 13:19 13m 34s meilers_wildcard_mult
meilers_wildcard_mult
February 27, 2024 13:19 13m 34s
Merge pull request #811 from viperproject/meilers_fix_810 ci #1423: Commit 61f6fbb pushed by marcoeilers
February 27, 2024 11:11 14m 2s master
master
February 27, 2024 11:11 14m 2s
Fixing incorrect order of conjuncts which made function precondition assumption unsound ci #1422: Pull request #811 synchronize by marcoeilers
February 27, 2024 09:52 13m 44s meilers_fix_810
meilers_fix_810
February 27, 2024 09:52 13m 44s
Adapted tests ci #1421: Commit b27f21b pushed by marcoeilers
February 27, 2024 09:52 13m 55s meilers_fix_810
meilers_fix_810
February 27, 2024 09:52 13m 55s
fix quantified chunks ci #1420: Commit ce08629 pushed by AndreaKe
February 27, 2024 08:46 14m 11s keuscha/silicon-debugger
keuscha/silicon-debugger
February 27, 2024 08:46 14m 11s
Update Submodules Update Submodules #137: Scheduled
February 27, 2024 06:02 11s master
master
February 27, 2024 06:02 11s
Fixing incorrect order of conjuncts which made function precondition assumption unsound ci #1419: Pull request #811 synchronize by marcoeilers
February 27, 2024 00:56 12m 47s meilers_fix_810
meilers_fix_810
February 27, 2024 00:56 12m 47s
Fixed branch condition ci #1418: Commit 690e1ec pushed by marcoeilers
February 27, 2024 00:56 12m 55s meilers_fix_810
meilers_fix_810
February 27, 2024 00:56 12m 55s
Fixing incorrect order of conjuncts which made function precondition assumption unsound ci #1417: Pull request #811 synchronize by marcoeilers
February 27, 2024 00:42 12m 49s meilers_fix_810
meilers_fix_810
February 27, 2024 00:42 12m 49s
Re-adding assumption of function preconditions in two places ci #1416: Commit 2495a2c pushed by marcoeilers
February 27, 2024 00:42 12m 59s meilers_fix_810
meilers_fix_810
February 27, 2024 00:42 12m 59s
Fixing incorrect order of conjuncts which made function precondition assumption unsound ci #1415: Pull request #811 opened by marcoeilers
February 27, 2024 00:28 13m 2s meilers_fix_810
meilers_fix_810
February 27, 2024 00:28 13m 2s
Fixing incorrect order of conjuncts which made function precondition … ci #1414: Commit bdb624f pushed by marcoeilers
February 27, 2024 00:27 12m 41s meilers_fix_810
meilers_fix_810
February 27, 2024 00:27 12m 41s
Added lost info map to save stuff ci #1413: Commit 8a89bc9 pushed by rayman2000
February 26, 2024 17:40 3m 19s nklose/biabduction-prototype
nklose/biabduction-prototype
February 26, 2024 17:40 3m 19s
Simplify wildcard multiplication ci #1412: Pull request #756 synchronize by marcoeilers
February 26, 2024 16:49 13m 56s meilers_wildcard_mult
meilers_wildcard_mult
February 26, 2024 16:49 13m 56s
Merge branch 'master' into meilers_wildcard_mult ci #1411: Commit f77416d pushed by marcoeilers
February 26, 2024 16:49 14m 59s meilers_wildcard_mult
meilers_wildcard_mult
February 26, 2024 16:49 14m 59s
Simplify wildcard multiplication ci #1410: Pull request #756 synchronize by marcoeilers
February 26, 2024 16:11 13m 19s meilers_wildcard_mult
meilers_wildcard_mult
February 26, 2024 16:11 13m 19s
Merge branch 'meilers_wildcard_mult' of https://github.com/viperproje… ci #1409: Commit 32c76b3 pushed by marcoeilers
February 26, 2024 16:11 13m 44s meilers_wildcard_mult
meilers_wildcard_mult
February 26, 2024 16:11 13m 44s
Merge pull request #809 from viperproject/meilers_avoid_macro_redecla… ci #1408: Commit ee72c9a pushed by marcoeilers
February 26, 2024 14:51 13m 34s master
master
February 26, 2024 14:51 13m 34s
Simplify wildcard multiplication ci #1407: Pull request #756 synchronize by marcoeilers
February 26, 2024 14:51 13m 33s meilers_wildcard_mult
meilers_wildcard_mult
February 26, 2024 14:51 13m 33s
Merge branch 'master' into meilers_wildcard_mult ci #1406: Commit d6dd8ee pushed by marcoeilers
February 26, 2024 14:51 18m 23s meilers_wildcard_mult
meilers_wildcard_mult
February 26, 2024 14:51 18m 23s
ProTip! You can narrow down the results and go further in time using created:<2024-02-26 or the other filters available.