Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding an option to print the term representation of store, heap, ass… ci #1799: Commit 0a24eac pushed by marcoeilers
December 4, 2024 20:06 12m 25s meilers_debugger_update
meilers_debugger_update
December 4, 2024 20:06 12m 25s
Debugger improvements ci #1798: Pull request #884 opened by marcoeilers
December 4, 2024 19:16 12m 15s meilers_debugger_update
meilers_debugger_update
December 4, 2024 19:16 12m 15s
Better names for old labels, value info for basic chunks, removed dup… ci #1797: Commit b20c9a5 pushed by marcoeilers
December 4, 2024 18:51 12m 34s meilers_debugger_update
meilers_debugger_update
December 4, 2024 18:51 12m 34s
Update silver submodule ci #1796: Commit 61eeb81 pushed by viper-admin
December 4, 2024 18:16 13m 14s master
master
December 4, 2024 18:16 13m 14s
Worked on branching ci #1795: Commit fad3824 pushed by rayman2000
December 4, 2024 17:46 19s nklose/biabduction-prototype
nklose/biabduction-prototype
December 4, 2024 17:46 19s
merge qp-single-recvr chunks only if entire condition is equal (#882) ci #1794: Commit 4e8d60d pushed by marcoeilers
December 4, 2024 15:03 13m 1s master
master
December 4, 2024 15:03 13m 1s
QP single-recvr merge Issue ci #1793: Pull request #882 synchronize by marcoeilers
December 4, 2024 13:55 12m 45s mlimbeck:qp-singler-recvr-merge-fix
mlimbeck:qp-singler-recvr-merge-fix
December 4, 2024 13:55 12m 45s
QP single-recvr merge Issue ci #1792: Pull request #882 opened by mlimbeck
December 4, 2024 11:53 12m 39s mlimbeck:qp-singler-recvr-merge-fix
mlimbeck:qp-singler-recvr-merge-fix
December 4, 2024 11:53 12m 39s
Update Submodules Update Submodules #424: Scheduled
December 4, 2024 06:03 20s master
master
December 4, 2024 06:03 20s
Avoiding replace where not needed, simplifying Implies, fixed Ite rep… ci #1791: Commit 5d74c01 pushed by marcoeilers
December 3, 2024 18:58 3h 25m 20s meilers_more_simplification
meilers_more_simplification
December 3, 2024 18:58 3h 25m 20s
Update Submodules Update Submodules #423: Scheduled
December 3, 2024 06:02 18s master
master
December 3, 2024 06:02 18s
Checking only read permissions when asserting function preconditions ci #1790: Pull request #877 synchronize by marcoeilers
December 2, 2024 14:21 12m 20s meilers_assert_read_only
meilers_assert_read_only
December 2, 2024 14:21 12m 20s
Merge branch 'master' into meilers_assert_read_only ci #1789: Commit b81afe6 pushed by marcoeilers
December 2, 2024 14:21 12m 22s meilers_assert_read_only
meilers_assert_read_only
December 2, 2024 14:21 12m 22s
Fixed incorrect merge where wrong state is forwarded (#881) ci #1788: Commit 448775e pushed by jcp19
December 2, 2024 14:18 12m 55s master
master
December 2, 2024 14:18 12m 55s
Checking only read permissions when asserting function preconditions ci #1787: Pull request #877 synchronize by marcoeilers
December 2, 2024 13:20 12m 26s meilers_assert_read_only
meilers_assert_read_only
December 2, 2024 13:20 12m 26s
Incorporated review comments ci #1786: Commit e6f4a2f pushed by marcoeilers
December 2, 2024 13:20 12m 10s meilers_assert_read_only
meilers_assert_read_only
December 2, 2024 13:20 12m 10s
Fixed incorrect merge where wrong state is forwarded ci #1785: Pull request #881 opened by marcoeilers
December 2, 2024 13:10 12m 32s meilers_fix_mce_fr_issue
meilers_fix_mce_fr_issue
December 2, 2024 13:10 12m 32s
Fixed incorrect merge where wrong state is forwarded ci #1784: Commit 6cd6ef1 pushed by marcoeilers
December 2, 2024 13:08 12m 49s meilers_fix_mce_fr_issue
meilers_fix_mce_fr_issue
December 2, 2024 13:08 12m 49s
Update Submodules Update Submodules #422: Scheduled
December 2, 2024 06:03 13s master
master
December 2, 2024 06:03 13s
Attempting to fix multiple issues with limited functions in triggers ci #1783: Commit 0ee0bf0 pushed by marcoeilers
December 1, 2024 19:57 12m 22s meilers_limited_triggers
meilers_limited_triggers
December 1, 2024 19:57 12m 22s
Checking only read permissions when asserting function preconditions ci #1782: Pull request #877 synchronize by marcoeilers
December 1, 2024 17:29 12m 18s meilers_assert_read_only
meilers_assert_read_only
December 1, 2024 17:29 12m 18s
Merge ci #1781: Commit b0dcf54 pushed by marcoeilers
December 1, 2024 17:29 12m 28s meilers_assert_read_only
meilers_assert_read_only
December 1, 2024 17:29 12m 28s
Update Submodules Update Submodules #421: Scheduled
December 1, 2024 06:02 12s master
master
December 1, 2024 06:02 12s
Update Submodules Update Submodules #420: Scheduled
November 30, 2024 06:02 13s master
master
November 30, 2024 06:02 13s
Optional Snapshot Generation in Consume (#879) ci #1780: Commit 761d4dd pushed by marcoeilers
November 29, 2024 15:35 15m 54s master
master
November 29, 2024 15:35 15m 54s
ProTip! You can narrow down the results and go further in time using created:<2024-11-29 or the other filters available.