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 #432: Scheduled
December 12, 2024 06:02 19s master
master
December 12, 2024 06:02 19s
Update Submodules Update Submodules #431: Scheduled
December 11, 2024 06:03 12s master
master
December 11, 2024 06:03 12s
Update Submodules Update Submodules #430: Scheduled
December 10, 2024 06:02 19s master
master
December 10, 2024 06:02 19s
Eval option in debugger and better eval of field accesses for basic c… ci #1815: Commit c233296 pushed by marcoeilers
December 9, 2024 16:18 12m 55s meilers_debugger_eval
meilers_debugger_eval
December 9, 2024 16:18 12m 55s
Making DebugExp ID creation thread safe (#887) ci #1814: Commit efaf769 pushed by marcoeilers
December 9, 2024 11:47 12m 37s master
master
December 9, 2024 11:47 12m 37s
Making DebugExp ID creation thread safe ci #1813: Pull request #887 opened by marcoeilers
December 9, 2024 11:34 12m 25s meilers_debug_ids_atomic
meilers_debug_ids_atomic
December 9, 2024 11:34 12m 25s
Making DebugExp ID creation thread safe ci #1812: Commit 44ae57a pushed by marcoeilers
December 9, 2024 11:34 12m 46s meilers_debug_ids_atomic
meilers_debug_ids_atomic
December 9, 2024 11:34 12m 46s
Update Submodules Update Submodules #429: Scheduled
December 9, 2024 06:03 14s master
master
December 9, 2024 06:03 14s
Update Submodules Update Submodules #428: Scheduled
December 8, 2024 06:02 12s master
master
December 8, 2024 06:02 12s
Update Submodules Update Submodules #427: Scheduled
December 7, 2024 06:02 18s master
master
December 7, 2024 06:02 18s
Update silver submodule ci #1811: Commit f68c180 pushed by viper-admin
December 6, 2024 12:32 12m 49s master
master
December 6, 2024 12:32 12m 49s
Update Submodules Update Submodules #426: Scheduled
December 6, 2024 06:02 19s master
master
December 6, 2024 06:02 19s
Avoiding potential matching loop in the sequence axiomatization ci #1810: Pull request #885 synchronize by marcoeilers
December 6, 2024 01:13 12m 24s meilers_fix_seq_matching_loop
meilers_fix_seq_matching_loop
December 6, 2024 01:13 12m 24s
Merge branch 'master' into meilers_fix_seq_matching_loop ci #1809: Commit 85793e0 pushed by marcoeilers
December 6, 2024 01:13 12m 34s meilers_fix_seq_matching_loop
meilers_fix_seq_matching_loop
December 6, 2024 01:13 12m 34s
Debugger improvements (#884) ci #1808: Commit 07bb7d3 pushed by marcoeilers
December 5, 2024 22:52 15m 7s master
master
December 5, 2024 22:52 15m 7s
Debugger improvements ci #1807: Pull request #884 synchronize by marcoeilers
December 5, 2024 22:40 12m 37s meilers_debugger_update
meilers_debugger_update
December 5, 2024 22:40 12m 37s
Fixed label for unknown positions, added javadoc ci #1806: Commit 297af44 pushed by marcoeilers
December 5, 2024 22:40 12m 20s meilers_debugger_update
meilers_debugger_update
December 5, 2024 22:40 12m 20s
Avoiding potential matching loop in the sequence axiomatization ci #1805: Pull request #885 opened by marcoeilers
December 5, 2024 22:30 12m 27s meilers_fix_seq_matching_loop
meilers_fix_seq_matching_loop
December 5, 2024 22:30 12m 27s
Added lhs conjunct to avoid matching loop ci #1804: Commit 895279b pushed by marcoeilers
December 5, 2024 22:20 12m 33s meilers_fix_seq_matching_loop
meilers_fix_seq_matching_loop
December 5, 2024 22:20 12m 33s
Update Submodules Update Submodules #425: Scheduled
December 5, 2024 06:02 15s master
master
December 5, 2024 06:02 15s
Trying out not translating FuncApp triggers to their limited version ci #1803: Commit bc20bee pushed by marcoeilers
December 4, 2024 22:06 12m 14s meilers_no_limited_triggers
meilers_no_limited_triggers
December 4, 2024 22:06 12m 14s
Debugger improvements ci #1802: Pull request #884 synchronize by marcoeilers
December 4, 2024 20:07 12m 41s meilers_debugger_update
meilers_debugger_update
December 4, 2024 20:07 12m 41s
Merge branch 'master' into meilers_debugger_update ci #1801: Commit b4ad14d pushed by marcoeilers
December 4, 2024 20:07 12m 46s meilers_debugger_update
meilers_debugger_update
December 4, 2024 20:07 12m 46s
Debugger improvements ci #1800: Pull request #884 synchronize by marcoeilers
December 4, 2024 20:06 12m 46s meilers_debugger_update
meilers_debugger_update
December 4, 2024 20:06 12m 46s
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